Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
173:8221b95cc24c 174:7ee424760d2f
92 datatype pat' = 92 datatype pat' =
93 PWild 93 PWild
94 | PVar of string 94 | PVar of string
95 | PPrim of Prim.t 95 | PPrim of Prim.t
96 | PCon of string list * string * pat option 96 | PCon of string list * string * pat option
97 | PRecord of (string * pat) list * bool
97 98
98 withtype pat = pat' located 99 withtype pat = pat' located
99 100
100 datatype exp' = 101 datatype exp' =
101 EAnnot of exp * con 102 EAnnot of exp * con