Mercurial > urweb

comparison src/elab_print.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
213 213
214 fun p_pat' par env (p, _) = 214 fun p_pat' par env (p, _) =
215 case p of 215 case p of
216 PWild => string "_" 216 PWild => string "_"
217 | PVar s => string s 217 | PVar s => string s
218 | PPrim p => Prim.p_t p
218 | PCon (pc, NONE) => p_patCon env pc 219 | PCon (pc, NONE) => p_patCon env pc
219 | PCon (pc, SOME p) => parenIf par (box [p_patCon env pc, 220 | PCon (pc, SOME p) => parenIf par (box [p_patCon env pc,
220 space, 221 space,
221 p_pat' true env p]) 222 p_pat' true env p])
222 223