From: Anders Mörtberg <mortberg@chalmers.se>
Date: Tue, 21 Apr 2015 08:11:02 +0000 (+0200)
Subject: Change ? to !
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=4a7f71d61e869ecd32ed0d8e623be0c215724c8b;p=cubicaltt.git

Change ? to !
---

diff --git a/Connections.hs b/Connections.hs
index e43076f..3e3c34b 100644
--- a/Connections.hs
+++ b/Connections.hs
@@ -159,7 +159,7 @@ arbFormula names s =
 instance Arbitrary Formula where
   arbitrary = do
       n <- arbitrary :: Gen Integer
-      sized $ arbFormula (map (\x -> Name ('?' : show x))  [0..(abs n)])
+      sized $ arbFormula (map (\x -> Name ('!' : show x))  [0..(abs n)])
 
 class ToFormula a where
   toFormula :: a -> Formula
@@ -248,8 +248,8 @@ propInvFormulaIncomp phi b = incomparables (invFormula phi b)
 --   where ys = i:map (\n -> Name (s ++ show n)) [0..]
 
 gensym :: [Name] -> Name
-gensym xs = Name ('?' : show max)
-  where max = maximum' [ read x | Name ('?':x) <- xs ]
+gensym xs = Name ('!' : show max)
+  where max = maximum' [ read x | Name ('!':x) <- xs ]
         maximum' [] = 0
         maximum' xs = maximum xs + 1