comparison src/core_print.sml @ 1663:0577be31a435

First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
author Adam Chlipala <adam@chlipala.net>
date Sat, 07 Jan 2012 15:56:22 -0500
parents a99b743a3087
children e15234fbb163
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
274 | EFfiApp (m, x, es) => box [string "FFI(", 274 | EFfiApp (m, x, es) => box [string "FFI(",
275 string m, 275 string m,
276 string ".", 276 string ".",
277 string x, 277 string x,
278 string "(", 278 string "(",
279 p_list (p_exp env) es, 279 p_list (p_exp env o #1) es,
280 string "))"] 280 string "))"]
281 | EApp (e1, e2) => parenIf par (box [p_exp' true env e1, 281 | EApp (e1, e2) => parenIf par (box [p_exp' true env e1,
282 space, 282 space,
283 p_exp' true env e2]) 283 p_exp' true env e2])
284 | EAbs (x, t, _, e) => parenIf par (box [string "(fn", 284 | EAbs (x, t, _, e) => parenIf par (box [string "(fn",