summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index e1d6d88b..b40d4248 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -1396,6 +1396,12 @@ fun p_exp' par env (e, loc) =
| EApp ((EReturnBlob {blob, mimeType, t = (TFun (_, ran), _)}, loc), _) =>
p_exp env (EReturnBlob {blob = blob, mimeType = mimeType, t = ran}, loc)
+ | EFfiApp (m, x, []) => box [string "uw_",
+ p_ident m,
+ string "_",
+ p_ident x,
+ string "(ctx)"]
+
| EFfiApp (m, x, es) => box [string "uw_",
p_ident m,
string "_",