comparison src/mono_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 02fc16faecf3
children d2b3fada532e
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
165 | EFfiApp (m, x, es) => box [string "FFI(", 165 | EFfiApp (m, x, es) => box [string "FFI(",
166 string m, 166 string m,
167 string ".", 167 string ".",
168 string x, 168 string x,
169 string "(", 169 string "(",
170 p_list (p_exp env) es, 170 p_list (p_exp env o #1) es,
171 string "))"] 171 string "))"]
172 | EApp (e1, e2) => parenIf par (box [p_exp env e1, 172 | EApp (e1, e2) => parenIf par (box [p_exp env e1,
173 space, 173 space,
174 p_exp' true env e2]) 174 p_exp' true env e2])
175 | EAbs (x, t, _, e) => parenIf true (box [string "fn", 175 | EAbs (x, t, _, e) => parenIf true (box [string "fn",