Mercurial > urweb
diff src/core_print.sml @ 48:0a5c312de09a
Start of FFI
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 22 Jun 2008 09:27:29 -0400 |
| parents | 02f42e9a1825 |
| children | 8e9920db39f2 |
line wrap: on
line diff
--- a/src/core_print.sml Thu Jun 19 18:13:33 2008 -0400 +++ b/src/core_print.sml Sun Jun 22 09:27:29 2008 -0400 @@ -90,6 +90,7 @@ else string (#1 (E.lookupCNamed env n))) handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n)) + | CFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] | CApp (c1, c2) => parenIf par (box [p_con env c1, space, @@ -156,6 +157,14 @@ else string (#1 (E.lookupENamed env n))) handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n)) + | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] + | EFfiApp (m, x, es) => box [string "FFI(", + string m, + string ".", + string x, + string "(", + p_list (p_exp env) es, + string "))"] | EApp (e1, e2) => parenIf par (box [p_exp env e1, space, p_exp' true env e2])