simplify

Author: Thomas Mahler

src/CCC/Interpreter.hs

@@ -1,7 +1,4 @@
-{-# LANGUAGE FlexibleContexts      #-}
-{-# LANGUAGE GADTs                 #-}
-{-# LANGUAGE PartialTypeSignatures #-}
-{-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE GADTs #-}
 
 {-- | Semantic interpretation of categorical expressions (CatExpr) to functions.
     Interprets a CatExpr morphism as a function in the (->) category.
@@ -13,11 +10,10 @@
 
 module CCC.Interpreter (interp) where
 
-import           CCC.Cat     (BoolCat (andC, ifTE, notC, orC),
+import           CCC.Cat     (BoolCat (andC, notC, orC),
                           BoolLike (false, true), Cartesian (dupC),
                           EqCat (eqlC), Monoidal (parC),
-                          NumCat (addC, geqC, greC, leqC, lesC, mulC, subC),
-                          applyC)
+                          NumCat (addC, geqC, greC, leqC, lesC, mulC, subC))
 import           CCC.CatExpr (CatExpr (..))
 import           CCC.Hask    ()
 

src/CCC/Rewrite.hs

@@ -52,14 +52,10 @@ ruleParDupEq (Comp (Par f g) Dup) | f == g = Just (Dup . f)
 ruleParDupEq _                             = Nothing
 --}
 
--- build the curry rules.
 ruleCurry :: Rule
 ruleCurry (Curry (Uncurry f)) = Just f
 ruleCurry _                   = Nothing
 
-ruleCurry' :: Rule
-ruleCurry' _ = Nothing
-
 ruleCurryApply :: Rule
 ruleCurryApply (Curry Apply) = Just Id
 ruleCurryApply _             = Nothing
@@ -83,7 +79,6 @@ allRules =
     ruleParDup',
     ruleParDup'',
     ruleCurry,
-    ruleCurry',
     ruleCurryApply,
     ruleParen
   ]