Mercurial > urweb

comparison src/mono_print.sml @ 251:326fb4686f60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 10:36:54 -0400
parents 71bafe66dbe1
children 7e9bd70ad3ce
comparison
equal deleted inserted replaced
250:98f551ddd54b 251:326fb4686f60
183 183
184 | ESeq (e1, e2) => box [p_exp env e1, 184 | ESeq (e1, e2) => box [p_exp env e1,
185 string ";", 185 string ";",
186 space, 186 space,
187 p_exp env e2] 187 p_exp env e2]
188 | ELet (x, t, e1, e2) => box [string "let",
189 space,
190 string x,
191 space,
192 string ":",
193 space,
194 p_typ env t,
195 space,
196 string "=",
197 space,
198 p_exp env e1,
199 space,
200 string "in",
201 space,
202 p_exp (E.pushERel env x t NONE) e2]
188 203
189 | EClosure (n, es) => box [string "CLOSURE(", 204 | EClosure (n, es) => box [string "CLOSURE(",
190 p_enamed env n, 205 p_enamed env n,
191 p_list_sep (string "") (fn e => box [string ", ", 206 p_list_sep (string "") (fn e => box [string ", ",
192 p_exp env e]) es, 207 p_exp env e]) es,