diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-08 12:12:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 12:12:50 -0500 |
| commit | 501301566f737a6f3334503262736b535e22b023 (patch) | |
| tree | 3e0286912dbc8c2cd57c2f90fa095b82429434bc /src/cjr_print.sml | |
| parent | d6466419c1318a404d1375b7e36dfa926d22a5bd (diff) | |
Handle EError returning a function; handle multiple cookies in one input header
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 3941fdd9..7c13fcb5 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -70,14 +70,8 @@ fun isUnboxable (t : typ) = fun p_typ' par env (t, loc) = case t of - TFun (t1, t2) => parenIf par (box [string "(", - p_typ' true env t2, - space, - string "(*)", - space, - string "(", - p_typ env t1, - string "))"]) + TFun (t1, t2) => (EM.errorAt loc "Function type remains"; + string "<FUNCTION>") | TRecord i => box [string "struct", space, string "__uws_", @@ -967,6 +961,9 @@ fun p_exp' par env (e, loc) = string "tmp;", newline, string "})"] + | EApp ((EError (e, (TFun (_, ran), _)), loc), _) => + p_exp env (EError (e, ran), loc) + | EFfiApp (m, x, es) => box [string "uw_", p_ident m, string "_", |