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

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index 3e498d2c..a3b55ec0 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -105,8 +105,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 (_, n, NONE) => p_patCon env n
       | PCon (_, n, SOME p) => parenIf par (box [p_patCon env n,
-- 
cgit v1.2.3