diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-04 15:24:33 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-12 12:36:36 -0500 |
| commit | 4ac9e902327683ba032df5fb0e92a80c7b7fccd4 (patch) | |
| tree | 7184176779273fd8fcc93171329f1dbafc45a882 /libraries/template-haskell/Language/Haskell/TH/Lib.hs | |
| parent | 767feb370d0a05a78a34a9498fe11b90d395d158 (diff) | |
| download | haskell-4ac9e902327683ba032df5fb0e92a80c7b7fccd4.tar.gz | |
Fix #8100, by adding StandaloneDerivD to TH's Dec type.
Diffstat (limited to 'libraries/template-haskell/Language/Haskell/TH/Lib.hs')
| -rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Lib.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Lib.hs b/libraries/template-haskell/Language/Haskell/TH/Lib.hs index 2cfa4b3853..04f8fba610 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Lib.hs +++ b/libraries/template-haskell/Language/Haskell/TH/Lib.hs @@ -459,6 +459,13 @@ closedTypeFamilyKindD tc tvs kind eqns = roleAnnotD :: Name -> [Role] -> DecQ roleAnnotD name roles = return $ RoleAnnotD name roles +standaloneDerivD :: CxtQ -> TypeQ -> DecQ +standaloneDerivD ctxtq tyq = + do + ctxt <- ctxtq + ty <- tyq + return $ StandaloneDerivD ctxt ty + tySynEqn :: [TypeQ] -> TypeQ -> TySynEqnQ tySynEqn lhs rhs = do |