diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 09:48:54 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 09:48:54 -0400 |
commit | bef69954307005832dca731aff9a7b008c88c8d8 (patch) | |
tree | 801e896f527636ab21211f11839f3c1d20f5ac10 /src/source_print.sml | |
parent | b03ac1efc8ac5197688a97d1b8b27106654d504d (diff) |
Elaborating cfold
Diffstat (limited to 'src/source_print.sml')
-rw-r--r-- | src/source_print.sml | 30 |
1 files changed, 19 insertions, 11 deletions
diff --git a/src/source_print.sml b/src/source_print.sml index ca72c014..b4496a7a 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -92,17 +92,24 @@ fun p_con' par (c, _) = | CApp (c1, c2) => parenIf par (box [p_con c1, space, p_con' true c2]) - | CAbs (x, k, c) => parenIf par (box [string "fn", - space, - string x, - space, - string "::", - space, - p_kind k, - space, - string "=>", - space, - p_con c]) + | CAbs (x, NONE, c) => parenIf par (box [string "fn", + space, + string x, + space, + string "=>", + space, + p_con c]) + | CAbs (x, SOME k, c) => parenIf par (box [string "fn", + space, + string x, + space, + string "::", + space, + p_kind k, + space, + string "=>", + space, + p_con c]) | CName s => box [string "#", string s] @@ -119,6 +126,7 @@ fun p_con' par (c, _) = string "++", space, p_con c2]) + | CFold => string "fold" | CWild k => box [string "(_", space, string "::", |