Mercurial > urweb

comparison src/source.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 a158f8c5aa55
children 7ee424760d2f
comparison
equal deleted inserted replaced
172:021f5beb6f8d 173:8221b95cc24c
90 and sgn = sgn' located 90 and sgn = sgn' located
91 91
92 datatype pat' = 92 datatype pat' =
93 PWild 93 PWild
94 | PVar of string 94 | PVar of string
95 | PPrim of Prim.t
95 | PCon of string list * string * pat option 96 | PCon of string list * string * pat option
96 97
97 withtype pat = pat' located 98 withtype pat = pat' located
98 99
99 datatype exp' = 100 datatype exp' =