Mercurial > urweb

comparison src/mono_print.sml @ 757:fa2019a63ea4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.list
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:07:29 -0400
parents 8688e01ae469
children d8f58d488cfb
comparison
equal deleted inserted replaced
756:8ce31c052dce 757:fa2019a63ea4
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 => box [string "option(", 65 | TOption t => box [string "option(",
66 p_typ env t, 66 p_typ env t,
67 string ")"] 67 string ")"]
68 | TList t => box [string "list(",
69 p_typ env t,
70 string ")"]
68 | TSource => string "source" 71 | TSource => string "source"
69 | TSignal t => box [string "signal(", 72 | TSignal t => box [string "signal(",
70 p_typ env t, 73 p_typ env t,
71 string ")"] 74 string ")"]
72 75
112 string "=", 115 string "=",
113 space, 116 space,
114 p_pat env p]) xps, 117 p_pat env p]) xps,
115 string "}"] 118 string "}"]
116 | PNone _ => string "None" 119 | PNone _ => string "None"
117 | PSome (_, p) => box [string "Some", 120 | PSome (t, p) =>
118 space, 121 if !debug then
119 p_pat' true env p] 122 box [string "Some[",
123 p_typ env t,
124 string "]",
125 space,
126 p_pat' true env p]
127 else
128 box [string "Some",
129 space,
130 p_pat' true env p]
120 131
121 and p_pat x = p_pat' false x 132 and p_pat x = p_pat' false x
122 133
123 fun p_mode env m = 134 fun p_mode env m =
124 case m of 135 case m of