Mercurial > urweb

comparison src/mono_print.sml @ 297:59dc042629b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pquery working with all four types of columns
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:29:01 -0400
parents 6e665c7c96f6
children 52d4c60518d4
comparison
equal deleted inserted replaced
296:5dc11235129d 297:59dc042629b9
128 | ENamed n => p_enamed env n 128 | ENamed n => p_enamed env n
129 | ECon (_, pc, NONE) => p_patCon env pc 129 | ECon (_, pc, NONE) => p_patCon env pc
130 | ECon (_, pc, SOME e) => parenIf par (box [p_patCon env pc, 130 | ECon (_, pc, SOME e) => parenIf par (box [p_patCon env pc,
131 space, 131 space,
132 p_exp' true env e]) 132 p_exp' true env e])
133 | ENone _ => string "None"
133 | ESome (_, e) => parenIf par (box [string "Some", 134 | ESome (_, e) => parenIf par (box [string "Some",
134 space, 135 space,
135 p_exp' true env e]) 136 p_exp' true env e])
136 137
137 | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] 138 | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]