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/expl_print.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/expl_print.sml')

diff --git a/src/expl_print.sml b/src/expl_print.sml
index 22d246e2..10ea6056 100644
--- a/src/expl_print.sml
+++ b/src/expl_print.sml
@@ -215,8 +215,7 @@ fun p_patCon env pc =
 
 fun p_pat' par env (p, _) =
     case p of
-        PWild => string "_"
-      | PVar (s, _) => string s
+        PVar (s, _) => string s
       | PPrim p => Prim.p_t p
       | PCon (_, pc, _, NONE) => p_patCon env pc
       | PCon (_, pc, cs, SOME p) =>
-- 
cgit v1.2.3