Mercurial > urweb
diff src/source_print.sml @ 67:9f89f0b00b84
Elaborating cfold
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 26 Jun 2008 09:48:54 -0400 |
| parents | 48b6d2c3df46 |
| children | 6431b315a1e3 |
line wrap: on
line diff
--- a/src/source_print.sml Thu Jun 26 09:09:30 2008 -0400 +++ b/src/source_print.sml Thu Jun 26 09:48:54 2008 -0400 @@ -92,17 +92,24 @@ | 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 @@ string "++", space, p_con c2]) + | CFold => string "fold" | CWild k => box [string "(_", space, string "::",