Mercurial > urweb

comparison src/mono_print.sml @ 292:6e665c7c96f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Error-parsing ints
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 12:15:46 -0400
parents df00701f2323
children 59dc042629b9
comparison
equal deleted inserted replaced
291:550100a44cca 292:6e665c7c96f6
60 string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n) 60 string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n)
61 else 61 else
62 string (#1 (E.lookupDatatype env n))) 62 string (#1 (E.lookupDatatype env n)))
63 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n)) 63 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n))
64 | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] 64 | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
65 | TOption t => 65 | TOption t => box [string "option(",
66 (case #1 t of 66 p_typ env t,
67 TDatatype _ => p_typ env t 67 string ")"]
68 | TFfi ("Basis", "string") => p_typ env t
69 | _ => box [p_typ env t, string "*"])
70 68
71 and p_typ env = p_typ' false env 69 and p_typ env = p_typ' false env
72 70
73 fun p_enamed env n = 71 fun p_enamed env n =
74 (if !debug then 72 (if !debug then