Mercurial > urweb

comparison src/elab.sml @ 173:8221b95cc24c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Patterns for int and string constants
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 10:44:52 -0400
parents c7a6e6dbc318
children b2d752455182
comparison
equal deleted inserted replaced
172:021f5beb6f8d 173:8221b95cc24c
76 | PConProj of int * string list * string 76 | PConProj of int * string list * string
77 77
78 datatype pat' = 78 datatype pat' =
79 PWild 79 PWild
80 | PVar of string 80 | PVar of string
81 | PPrim of Prim.t
81 | PCon of patCon * pat option 82 | PCon of patCon * pat option
82 83
83 withtype pat = pat' located 84 withtype pat = pat' located
84 85
85 datatype exp' = 86 datatype exp' =