diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 13:00:48 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 13:00:48 -0500 |
| commit | 0390a0244dba186ea34027fda311a0593b9f9a91 (patch) | |
| tree | 3d0211c9f9d4c6499a579718204e53306df82711 | |
| parent | 70b7a19b761228f8eca8e13c05e81588fbc601b2 (diff) | |
| download | haskell-0390a0244dba186ea34027fda311a0593b9f9a91.tar.gz | |
Change type of equalityT to be more parallel with others.
| -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 |