Mercurial > urweb

comparison src/source_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 9a578171de9e
children 067029c748e9
comparison
equal deleted inserted replaced
19:e634ae817a8e 20:1ab48e37d0ef
77 string "->", 77 string "->",
78 space, 78 space,
79 p_con c]) 79 p_con c])
80 | TRecord (CRecord xcs, _) => box [string "{", 80 | TRecord (CRecord xcs, _) => box [string "{",
81 p_list (fn (x, c) => 81 p_list (fn (x, c) =>
82 box [p_con x, 82 box [p_name x,
83 space, 83 space,
84 string ":", 84 string ":",
85 space, 85 space,
86 p_con c]) xcs, 86 p_con c]) xcs,
87 string "}"] 87 string "}"]
125 space, 125 space,
126 p_kind k] 126 p_kind k]
127 127
128 and p_con c = p_con' false c 128 and p_con c = p_con' false c
129 129
130 and p_name (all as (c, _)) =
131 case c of
132 CName s => string s
133 | _ => p_con all
134
130 fun p_exp' par (e, _) = 135 fun p_exp' par (e, _) =
131 case e of 136 case e of
132 EAnnot (e, t) => box [string "(", 137 EAnnot (e, t) => box [string "(",
133 p_exp e, 138 p_exp e,
134 space, 139 space,