Mercurial > urweb

diff src/cjr_print.sml @ 389:acaf9d19fbb7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
num working for int
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 10:34:07 -0400
parents 7abb28e9d51f
children 519366a76603
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Oct 21 09:52:52 2008 -0400
+++ b/src/cjr_print.sml	Tue Oct 21 10:34:07 2008 -0400
@@ -614,19 +614,20 @@
                           space,
                           p_exp' true env e1])
 
-      | EBinop ("!strcmp", e1, e2) =>
-        box [string "!strcmp(",
-             p_exp env e1,
-             string ",",
-             space,
-             p_exp env e2,
-             string ")"]
       | EBinop (s, e1, e2) =>
-        parenIf par (box [p_exp' true env e1,
-                          space,
-                          string s,
-                          space,
-                          p_exp' true env e2])
+        if Char.isAlpha (String.sub (s, size s - 1)) then
+            box [string s,
+                 p_exp env e1,
+                 string ",",
+                 space,
+                 p_exp env e2,
+                 string ")"]
+        else
+            parenIf par (box [p_exp' true env e1,
+                              space,
+                              string s,
+                              space,
+                              p_exp' true env e2])
 
       | ERecord (i, xes) => box [string "({",
                                  space,