diff options
Diffstat (limited to 'src/core_print.sml')
-rw-r--r-- | src/core_print.sml | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/src/core_print.sml b/src/core_print.sml index f2a42a7b..971aa4b4 100644 --- a/src/core_print.sml +++ b/src/core_print.sml @@ -198,11 +198,23 @@ fun p_con_named env n = fun p_patCon env pc = case pc of PConVar n => p_con_named env n - | PConFfi {mod = m, con, ...} => box [string "FFIC(", - string m, - string ".", - string con, - string ")"] + | PConFfi {mod = m, con, arg, ...} => + if !debug then + box [string "FFIC[", + case arg of + NONE => box [] + | SOME t => p_con env t, + string "](", + string m, + string ".", + string con, + string ")"] + else + box [string "FFIC(", + string m, + string ".", + string con, + string ")"] fun p_pat' par env (p, _) = case p of |