Mercurial > urweb

comparison src/elab_print.sml @ 1716:05ae68e019b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweak printing of constructor record literals to allow re-parsing by compiler
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Apr 2012 10:12:04 -0400
parents 6c00d8af6239
children 30c0ca20bf59
comparison
equal deleted inserted replaced
1715:1584fd8d16dd 1716:05ae68e019b6
167 167
168 | CRecord (k, xcs) => 168 | CRecord (k, xcs) =>
169 if !debug then 169 if !debug then
170 parenIf par (box [string "[", 170 parenIf par (box [string "[",
171 p_list (fn (x, c) => 171 p_list (fn (x, c) =>
172 box [p_con env x, 172 box [p_name env x,
173 space, 173 space,
174 string "=", 174 string "=",
175 space, 175 space,
176 p_con env c]) xcs, 176 p_con env c]) xcs,
177 string "]::", 177 string "]::",
178 p_kind env k]) 178 p_kind env k])
179 else 179 else
180 parenIf par (box [string "[", 180 parenIf par (box [string "[",
181 p_list (fn (x, c) => 181 p_list (fn (x, c) =>
182 box [p_con env x, 182 box [p_name env x,
183 space, 183 space,
184 string "=", 184 string "=",
185 space, 185 space,
186 p_con env c]) xcs, 186 p_con env c]) xcs,
187 string "]"]) 187 string "]"])