Mercurial > urweb

diff src/core_print.sml @ 1544:a99b743a3087

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.mkMonad
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Aug 2011 15:23:01 -0400
parents b4480a56cab7
children 0577be31a435
line wrap: on
line diff
--- a/src/core_print.sml	Fri Aug 19 14:20:24 2011 -0400
+++ b/src/core_print.sml	Fri Aug 19 15:23:01 2011 -0400
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2011, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -281,7 +281,7 @@
       | EApp (e1, e2) => parenIf par (box [p_exp' true env e1,
                                            space,
                                            p_exp' true env e2])
-      | EAbs (x, t, _, e) => parenIf par (box [string "fn",
+      | EAbs (x, t, _, e) => parenIf par (box [string "(fn",
                                                space,
                                                string x,
                                                space,
@@ -291,7 +291,8 @@
                                                space,
                                                string "=>",
                                                space,
-                                               p_exp (E.pushERel env x t) e])
+                                               p_exp (E.pushERel env x t) e,
+                                               string ")"])
       | ECApp (e, c) => parenIf par (box [p_exp env e,
                                           space,
                                           string "[",