Mercurial > urweb

comparison src/core_print.sml @ 194:df5fd8f6913a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A multi-parameter datatype all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 08:47:36 -0400
parents 8a70e2919e86
children 766b5475477f
comparison
equal deleted inserted replaced
193:8a70e2919e86 194:df5fd8f6913a
197 string (#1 (E.lookupERel env n) ^ "_" ^ Int.toString n) 197 string (#1 (E.lookupERel env n) ^ "_" ^ Int.toString n)
198 else 198 else
199 string (#1 (E.lookupERel env n))) 199 string (#1 (E.lookupERel env n)))
200 handle E.UnboundRel _ => string ("UNBOUND_" ^ Int.toString n)) 200 handle E.UnboundRel _ => string ("UNBOUND_" ^ Int.toString n))
201 | ENamed n => p_enamed env n 201 | ENamed n => p_enamed env n
202 | ECon (_, pc, _, NONE) => box [string "[", 202 | ECon (_, pc, ts, NONE) => box [string "[",
203 p_patCon env pc, 203 p_patCon env pc,
204 string "]"] 204 p_list_sep (box []) (fn t => box [space, string "[", p_con env t, string "]"]) ts,
205 | ECon (_, pc, _, SOME e) => box [string "[", 205 string "]"]
206 | ECon (_, pc, ts, SOME e) => box [string "[",
206 p_patCon env pc, 207 p_patCon env pc,
207 space, 208 space,
208 p_exp' true env e, 209 p_exp' true env e,
210 p_list_sep (box []) (fn t => box [space, string "[", p_con env t, string "]"]) ts,
209 string "]"] 211 string "]"]
210 | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] 212 | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
211 | EFfiApp (m, x, es) => box [string "FFI(", 213 | EFfiApp (m, x, es) => box [string "FFI(",
212 string m, 214 string m,
213 string ".", 215 string ".",