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

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index db56a0db..7b657422 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -187,8 +187,7 @@ and p_name (all as (c, _)) =
 
 fun p_pat' par (p, _) =
     case p of
-        PWild => string "_"
-      | PVar s => string s
+        PVar s => string s
       | PPrim p => Prim.p_t p
       | PCon (ms, x, NONE) => p_list_sep (string ".") string (ms @ [x])
       | PCon (ms, x, SOME p) => parenIf par (box [p_list_sep (string ".") string (ms @ [x]),
-- 
cgit v1.2.3