Mercurial > urweb

diff src/source.sml @ 174:7ee424760d2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating module constructor patterns; parsing record patterns
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 11:28:55 -0400
parents 8221b95cc24c
children aa54250f58ac
line wrap: on
line diff
--- a/src/source.sml	Thu Jul 31 10:44:52 2008 -0400
+++ b/src/source.sml	Thu Jul 31 11:28:55 2008 -0400
@@ -94,6 +94,7 @@
        | PVar of string
        | PPrim of Prim.t
        | PCon of string list * string * pat option
+       | PRecord of (string * pat) list * bool
 
 withtype pat = pat' located