[commit: packages/template-haskell] master: Change type of equalityT to be more parallel with others. (a02ef9d)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/template-haskell

On branch  : master
Link       : http://git.haskell.org/packages/template-haskell.git/commitdiff/a02ef9d827c4473e5e4efc84d7a8a987f51522aa

>---------------------------------------------------------------

commit a02ef9d827c4473e5e4efc84d7a8a987f51522aa
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Sun Feb 9 13:00:48 2014 -0500

    Change type of equalityT to be more parallel with others.


>---------------------------------------------------------------

a02ef9d827c4473e5e4efc84d7a8a987f51522aa
 Language/Haskell/TH/Lib.hs |    9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/Language/Haskell/TH/Lib.hs b/Language/Haskell/TH/Lib.hs
index 17e794b..49baa96 100644
--- a/Language/Haskell/TH/Lib.hs
+++ b/Language/Haskell/TH/Lib.hs
@@ -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