Mercurial > urweb

comparison src/elab.sml @ 176:33d4a8eea484

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Case through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 16:28:55 -0400
parents b2d752455182
children d11754ffe252
comparison
equal deleted inserted replaced
175:b2d752455182 176:33d4a8eea484
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 | PRecord of (string * pat) list
84 84
85 withtype pat = pat' located 85 withtype pat = pat' located
86 86
87 datatype exp' = 87 datatype exp' =
88 EPrim of Prim.t 88 EPrim of Prim.t