[sv-bc] Revised proposal on Tagged Unions and Pattern Matching

Subject: [sv-bc] Revised proposal on Tagged Unions and Pattern Matching
From: Rishiyur S. Nikhil (nikhil@bluespec.com)
Date: Fri Oct 03 2003 - 15:04:49 PDT

• Next message: Arturo Salz: "Re: [sv-bc] ended / matched methods"
• Previous message: Guillermo Maturana: "[sv-bc] ended / matched methods"
• In reply to: Rishiyur S. Nikhil: "[sv-bc] Small point about hierarchical names"
• Reply: Rishiyur S. Nikhil: "[sv-bc] Revised proposal on Tagged Unions and Pattern Matching"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a revised version of my proposal on Tagged Unions
and Pattern Matching.

I have streamlined it considerably, so that tagged unions now
are just a qualification on ordinary unions, simplifying
the syntax and reducing the changes to the BNF.
The basic organization of the document remains the same.

I believe we will be discussing this in our next sv-bc meeting.

Regards,

Nikhil

• application/octet-stream attachment: TaggedUnionsProposal2.pdf

• Next message: Arturo Salz: "Re: [sv-bc] ended / matched methods"
• Previous message: Guillermo Maturana: "[sv-bc] ended / matched methods"
• In reply to: Rishiyur S. Nikhil: "[sv-bc] Small point about hierarchical names"
• Reply: Rishiyur S. Nikhil: "[sv-bc] Revised proposal on Tagged Unions and Pattern Matching"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Oct 03 2003 - 15:10:29 PDT