Mercurial > urweb

comparison src/mono_print.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 71bafe66dbe1
comparison
equal deleted inserted replaced
195:85b5f663bb86 196:890a61991263
51 space, 51 space,
52 string ":", 52 string ":",
53 space, 53 space,
54 p_typ env t]) xcs, 54 p_typ env t]) xcs,
55 string "}"] 55 string "}"]
56 | TDatatype (_, n, _) => 56 | TDatatype (n, _) =>
57 ((if !debug then 57 ((if !debug then
58 string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n) 58 string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n)
59 else 59 else
60 string (#1 (E.lookupDatatype env n))) 60 string (#1 (E.lookupDatatype env n)))
61 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n)) 61 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n))