Mercurial > urweb

comparison src/mono_print.sml @ 841:44c2c089ca15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents 493f44759879
children 7a4b026e45dd
comparison
equal deleted inserted replaced
840:e4a02e4fa35c 841:44c2c089ca15
53 space, 53 space,
54 string ":", 54 string ":",
55 space, 55 space,
56 p_typ env t]) xcs, 56 p_typ env t]) xcs,
57 string "}"] 57 string "}"]
58 | TDatatype (n, _) => 58 | TDatatype (n, ref (dk, _)) =>
59 ((if !debug then 59 ((if !debug then
60 string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n) 60 string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n ^ "["
61 ^ (case dk of
62 Option => "Option"
63 | Enum => "Enum"
64 | Default => "Default")
65 ^ "]")
61 else 66 else
62 string (#1 (E.lookupDatatype env n))) 67 string (#1 (E.lookupDatatype env n)))
63 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n)) 68 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n))
64 | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] 69 | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
65 | TOption t => box [string "option(", 70 | TOption t => box [string "option(",