From 5579b84a97cb942fdfd4c4898793f9de95bc03d1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 7 Feb 2016 19:59:10 -0500
Subject: Merge PVar and PWild, to get more reasonable type-class resolution

---
 src/unnest.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/unnest.sml')

diff --git a/src/unnest.sml b/src/unnest.sml
index 3034eb6e..7469ffd4 100644
--- a/src/unnest.sml
+++ b/src/unnest.sml
@@ -256,8 +256,7 @@ fun exp ((ns, ks, ts), e as old, st : state) =
 
                             fun doVars ((p, _), ts) =
                                 case p of
-                                    PWild => ts
-                                  | PVar xt => xt :: ts
+                                    PVar xt => xt :: ts
                                   | PPrim _ => ts
                                   | PCon (_, _, _, NONE) => ts
                                   | PCon (_, _, _, SOME p) => doVars (p, ts)
-- 
cgit v1.2.3