Mercurial > urweb

diff src/cjr_print.sml @ 765:a28982de5645

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Successfully influenced effectful-ness status of FFI func
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 11:27:26 -0400
parents 7f653298dd66
children df09c95085f8
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Apr 30 17:15:14 2009 -0400
+++ b/src/cjr_print.sml	Sat May 02 11:27:26 2009 -0400
@@ -1396,6 +1396,12 @@
       | 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 "_",