Mercurial > urweb
diff src/source_print.sml @ 18:9a578171de9e
Unification wildcards
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 08 Jun 2008 14:25:27 -0400 |
parents | f1c36df29ed7 |
children | 1ab48e37d0ef |
line wrap: on
line diff
--- a/src/source_print.sml Sun Jun 08 14:10:51 2008 -0400 +++ b/src/source_print.sml Sun Jun 08 14:25:27 2008 -0400 @@ -44,6 +44,7 @@ p_kind k2]) | KName => string "Name" | KRecord k => box [string "{", p_kind k, string "}"] + | KWild => string "_" and p_kind k = p_kind' false k @@ -118,6 +119,11 @@ string "++", space, p_con c2]) + | CWild k => box [string "(_", + space, + string "::", + space, + p_kind k] and p_con c = p_con' false c