Mercurial > urweb
diff src/mono_print.sml @ 51:92361a008a10
FFI through monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 10:12:23 -0400 |
parents | 1c91c5e6840f |
children | 40d146f467c5 |
line wrap: on
line diff
--- a/src/mono_print.sml Sun Jun 22 10:06:50 2008 -0400 +++ b/src/mono_print.sml Sun Jun 22 10:12:23 2008 -0400 @@ -58,6 +58,7 @@ string (#1 (E.lookupTNamed env n) ^ "__" ^ Int.toString n) else string (#1 (E.lookupTNamed env n)) + | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] and p_typ env = p_typ' false env @@ -74,6 +75,14 @@ string (#1 (E.lookupENamed env n) ^ "__" ^ Int.toString n) else string (#1 (E.lookupENamed env 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])