diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-30 11:07:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-30 11:07:29 -0400 |
| commit | 7a3ba5558cb363006aae188e02dd57dda833d356 (patch) | |
| tree | be8dc60f901b2cab9ec630d505bf152d1d19340e /src/core_print.sml | |
| parent | 0264695e9a76f87e6164c489c34af63fa893889d (diff) | |
Basis.list
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 |