Mercurial > urweb

comparison src/core_print.sml @ 20:1ab48e37d0ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some con reducing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 15:47:44 -0400
parents bc7b76ca57e0
children 067029c748e9
comparison
equal deleted inserted replaced
19:e634ae817a8e 20:1ab48e37d0ef
67 string "->", 67 string "->",
68 space, 68 space,
69 p_con (E.pushCRel env x k) c]) 69 p_con (E.pushCRel env x k) c])
70 | TRecord (CRecord (_, xcs), _) => box [string "{", 70 | TRecord (CRecord (_, xcs), _) => box [string "{",
71 p_list (fn (x, c) => 71 p_list (fn (x, c) =>
72 box [p_con env x, 72 box [p_name env x,
73 space, 73 space,
74 string ":", 74 string ":",
75 space, 75 space,
76 p_con env c]) xcs, 76 p_con env c]) xcs,
77 string "}"] 77 string "}"]
131 string "++", 131 string "++",
132 space, 132 space,
133 p_con env c2]) 133 p_con env c2])
134 134
135 and p_con env = p_con' false env 135 and p_con env = p_con' false env
136
137 and p_name env (all as (c, _)) =
138 case c of
139 CName s => string s
140 | _ => p_con env all
136 141
137 fun p_exp' par env (e, _) = 142 fun p_exp' par env (e, _) =
138 case e of 143 case e of
139 EPrim p => Prim.p_t p 144 EPrim p => Prim.p_t p
140 | ERel n => 145 | ERel n =>