Mercurial > urweb

comparison src/elab.sml @ 175:b2d752455182

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating record patterns
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 13:08:57 -0400
parents 8221b95cc24c
children 33d4a8eea484
comparison
equal deleted inserted replaced
174:7ee424760d2f 175:b2d752455182
78 datatype pat' = 78 datatype pat' =
79 PWild 79 PWild
80 | PVar of string 80 | PVar of string
81 | PPrim of Prim.t 81 | PPrim of Prim.t
82 | PCon of patCon * pat option 82 | PCon of patCon * pat option
83 | PRecord of (string * pat) list * con option
83 84
84 withtype pat = pat' located 85 withtype pat = pat' located
85 86
86 datatype exp' = 87 datatype exp' =
87 EPrim of Prim.t 88 EPrim of Prim.t