Mercurial > urweb

comparison src/core_print.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children fd98dd10dce7
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
230 230
231 | EWrite e => box [string "write(", 231 | EWrite e => box [string "write(",
232 p_exp env e, 232 p_exp env e,
233 string ")"] 233 string ")"]
234 234
235 | EClosure (n, es) => box [string "CLOSURE(",
236 p_enamed env n,
237 p_list_sep (string "") (fn e => box [string ", ",
238 p_exp env e]) es,
239 string ")"]
240
235 and p_exp env = p_exp' false env 241 and p_exp env = p_exp' false env
236 242
237 fun p_decl env ((d, _) : decl) = 243 fun p_decl env ((d, _) : decl) =
238 case d of 244 case d of
239 DCon (x, n, k, c) => 245 DCon (x, n, k, c) =>