# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1335526559 14400
# Node ID 318ba997a149a5d136787b975c29000cd8706711
# Parent  4df4521fbd3b4374eeb4baa03227387948606389
Omit unnecessary parens around arrows in pretty-printing

diff -r 4df4521fbd3b -r 318ba997a149 src/elab_print.sml
--- a/src/elab_print.sml	Wed Apr 25 03:07:07 2012 +0400
+++ b/src/elab_print.sml	Fri Apr 27 07:35:59 2012 -0400
@@ -87,7 +87,7 @@
 
 fun p_con' par env (c, _) =
     case c of
-        TFun (t1, t2) => parenIf true (box [p_con' true env t1,
+        TFun (t1, t2) => parenIf par (box [p_con' true env t1,
                                            space,
                                            string "->",
                                            space,
diff -r 4df4521fbd3b -r 318ba997a149 tests/pprint.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/pprint.ur	Fri Apr 27 07:35:59 2012 -0400
@@ -0,0 +1,4 @@
+fun isNone [a] (x : option a) =
+    case x of
+        None => True
+      | Some _ => False