[sv-bc] Tagged Unions Proposal incorporating 12/8 amendments

Subject: [sv-bc] Tagged Unions Proposal incorporating 12/8 amendments
From: Rishiyur S. Nikhil (nikhil@bluespec.com)
Date: Tue Dec 09 2003 - 09:52:31 PST

• Next message: Paul Graham: "[sv-bc] enum ranges"
• Previous message: Warmke, Doug: "RE: [sv-bc] Enhancement Request: 2-state wildcard for case-items (in case, casez, and casex)"
• In reply to: Rishiyur S. Nikhil: "Re: [sv-bc] UPDATE: Reworked Tagged Unions Proposal"
• Reply: Dave Rich: "Re: [sv-bc] Tagged Unions Proposal incorporating 12/8 amendments"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a revised PDF of the Tagged Unions and Pattern Matching
proposal, incorporating the 4 small amendments suggested during
yesterday's con-call, which are listed below.

Nikhil
----------------
Amendments incorporated:

  1. Move the "tagged" keyword from before to after the "union" keyword
     in definitions of a tagged union type

  2. Use ".*" instead of "$" for wildcard patterns

  3. Use syntax: case/casex/casez (e) matches ... endcase
     instead of: casep/casepx/casepz (e) ... endcase

  4. Show an example of pattern matching that does not involve tagged
     unions (see bottom of page 10).

• Next message: Paul Graham: "[sv-bc] enum ranges"
• Previous message: Warmke, Doug: "RE: [sv-bc] Enhancement Request: 2-state wildcard for case-items (in case, casez, and casex)"
• In reply to: Rishiyur S. Nikhil: "Re: [sv-bc] UPDATE: Reworked Tagged Unions Proposal"
• Reply: Dave Rich: "Re: [sv-bc] Tagged Unions Proposal incorporating 12/8 amendments"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Dec 09 2003 - 09:54:00 PST