diff options
author | 2009-04-30 11:07:29 -0400 | |
---|---|---|
committer | 2009-04-30 11:07:29 -0400 | |
commit | 43b09eea446f8d02ee82360d229b1ce2ba65f6f8 (patch) | |
tree | be8dc60f901b2cab9ec630d505bf152d1d19340e /src/core_print.sml | |
parent | 0f298a5396cf95f4e58988583f862a4b97444bec (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 |