Do not assign "f"
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 14 Oct 2008 12:49:50 +0000 (12:49 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 14 Oct 2008 12:49:50 +0000 (12:49 +0000)
SimpleFT.hs

index 7dda161..2f21c72 100644 (file)
@@ -5,6 +5,7 @@ module SimpleFT where
 import ParseType
 import Expr
 import Control.Monad.Reader
+import Data.List
 
 test = putStrLn . show . freeTheorem . parseType
 
@@ -12,7 +13,7 @@ freeTheorem t = flip runReader freeVars $
                        freeTheorem' (typedLeft  (Var "f") (unquantify t))
                                     (typedRight (Var "f") (unquantify t))
                                      t
-freeVars = (map (:"") ['a'..])
+freeVars = map (:"") (delete 'f' ['a'..])
 
 
 freeTheorem' :: TypedExpr -> TypedExpr -> Typ -> Reader [String] BoolExpr