diff options
| -rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Lib.hs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Lib.hs b/libraries/template-haskell/Language/Haskell/TH/Lib.hs index 17e794b5d3..49baa96cde 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Lib.hs +++ b/libraries/template-haskell/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 |