Mercurial > urweb
comparison src/elab_print.sml @ 20:1ab48e37d0ef
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 => |