Change type of equalityT to be more parallel with others.
authorRichard Eisenberg <eir@cis.upenn.edu>
Sun, 9 Feb 2014 18:00:48 +0000 (13:00 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Sun, 9 Feb 2014 18:00:48 +0000 (13:00 -0500)
Language/Haskell/TH/Lib.hs

index 17e794b..49baa96 100644 (file)
@@ -523,13 +523,8 @@ sigT t k
       t' <- t
       return $ SigT t' k
 
-equalityT :: TypeQ -> TypeQ -> TypeQ
-equalityT tleft tright
-  = do
-      tleft1  <- tleft
-      tright1 <- tright
-      let typ = AppT (AppT EqualityT tleft1) tright1
-      return typ
+equalityT :: TypeQ
+equalityT = return EqualityT
 
 promotedT :: Name -> TypeQ
 promotedT = return . PromotedT