Explicit syntax for records: expression, type, pattern

[GoogleCodeExporter]

Currently we create records using the site Record. It's not pretty, but it 
works. However, this gives 
us no capability to pattern match on records, and causes problems when a 
record's type is needed 
in a type annotation.

See http://orc.csres.utexas.edu/wiki/Wiki.jsp?page=ExplicitRecordSyntax for the 
proposed syntax.

We will definitely need this for 1.2, if for no other reason than to handle XML 
attributes gracefully. 
However, it might come in as early as 1.1, giving us the capability to 
typecheck some uses of 
capsule which were previously untypable.

Original issue reported on code.google.com by dkitc...@gmail.com on 2 Mar 2010 at 10:00

[GoogleCodeExporter]

Original comment by dkitc...@gmail.com on 2 Mar 2010 at 10:01

• Changed state: Accepted

[GoogleCodeExporter]

Fixed in r1896

Original comment by jthywissen on 9 Aug 2010 at 10:59

• Changed state: Fixed