Changeset 14 for sizechecking/Constraints.hs

Timestamp:

Nov 16, 2012, 10:38:01 AM (13 years ago)

Author:

gobi

Message:

removing some debug

File:

• sizechecking/Constraints.hs (modified) (2 diffs)

sizechecking/Constraints.hs

@@ -158 +158 @@
         l1 <- checkCond1 v1 (Condition ((h `LTC` f):d) e' x)
         l2 <- checkCond1 v2 (Condition ((h `GEC` f):d) g' x)
-        putStrLn $ " -> " ++ show l1
-        putStrLn $ " -> " ++ show l2
+--        putStrLn $ " -> " ++ show l1
+--        putStrLn $ " -> " ++ show l2
         return $ l1 ++ l2
     checkCond1 v z@(Condition d (App (Var a) x) (App (Var b) y)) | a==b =
@@ -321 +321 @@
     '-' -> al - bl
     '*' -> al * bl
+    '/' -> al `SBV.sDiv` bl
     where
     al = compilel v a