Changeset 24 for sizechecking/branches/macs/Exp.hs

Timestamp:

May 3, 2014, 6:38:40 PM (11 years ago)

Author:

gobi

Message:

expressions

File:

• sizechecking/branches/macs/Exp.hs (modified) (1 diff)

sizechecking/branches/macs/Exp.hs

@@ -38 +38 @@
             showString "; (" .  showVar v1 . showChar ':' . showVar v2 . showString ") => " .
             unS (cbranch showV1 showV2) s3 0
+    cond c tbranch fbranch = S $ \s p ->
+        let (s1, s2, s3) = S.split3 s
+        in showParen (p>0) $ 
+            showString "if ".
+            unS c s1 0 .
+            showString " then " .
+            unS tbranch s2 0 .
+            showString " else " .
+            unS fbranch s3 0