Mercurial > urweb

comparison src/elab_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 f1c36df29ed7
children 067029c748e9
comparison
equal deleted inserted replaced
19:e634ae817a8e 20:1ab48e37d0ef
76 string "->", 76 string "->",
77 space, 77 space,
78 p_con (E.pushCRel env x k) c]) 78 p_con (E.pushCRel env x k) c])
79 | TRecord (CRecord (_, xcs), _) => box [string "{", 79 | TRecord (CRecord (_, xcs), _) => box [string "{",
80 p_list (fn (x, c) => 80 p_list (fn (x, c) =>
81 box [p_con env x, 81 box [p_name env x,
82 space, 82 space,
83 string ":", 83 string ":",
84 space, 84 space,
85 p_con env c]) xcs, 85 p_con env c]) xcs,
86 string "}"] 86 string "}"]
146 | CUnif (k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), 146 | CUnif (k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
147 p_kind k, 147 p_kind k,
148 string ">"] 148 string ">"]
149 149
150 and p_con env = p_con' false env 150 and p_con env = p_con' false env
151
152 and p_name env (all as (c, _)) =
153 case c of
154 CName s => string s
155 | _ => p_con env all
151 156
152 fun p_exp' par env (e, _) = 157 fun p_exp' par env (e, _) =
153 case e of 158 case e of
154 EPrim p => Prim.p_t p 159 EPrim p => Prim.p_t p
155 | ERel n => 160 | ERel n =>