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/jscomp.sml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/jscomp.sml')

diff --git a/src/jscomp.sml b/src/jscomp.sml
index e5a0cb27..d8c83b94 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -458,8 +458,7 @@ fun process (file : file) =
 
                         fun jsPat (p, _) =
                             case p of
-                                PWild => str "{c:\"w\"}"
-                              | PVar _ => str "{c:\"v\"}"
+                                PVar _ => str "{c:\"v\"}"
                               | PPrim p => strcat [str "{c:\"c\",v:",
                                                    jsPrim p,
                                                    str "}"]
@@ -1009,8 +1008,7 @@ fun process (file : file) =
 
         fun patBinds ((p, _), env) =
             case p of
-                PWild => env
-              | PVar (_, t) => t :: env
+                PVar (_, t) => t :: env
               | PPrim _ => env
               | PCon (_, _, NONE) => env
               | PCon (_, _, SOME p) => patBinds (p, env)
-- 
cgit v1.2.3