obsidiansystems/dependent-sum
1
1
Fork 0
mirror of https://github.com/obsidiansystems/dependent-sum.git synced 2024-09-17 10:47:13 +03:00
Code Issues Projects Releases Wiki Activity

Merge remote-tracking branch 'WebGHC/ghc-881-th-fixes' into eac@8.8-ci-with-fixes

Browse Source
This commit is contained in:
Elliot Cameron 2020-03-18 11:21:01 -04:00
commit 4b376c4e86
No known key found for this signature in database
GPG Key ID: 6ABB57E3D52B0628
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
dependent-sum-template/src/Data/Dependent/Sum/TH/Internal.hs
View File

@ -40,9 +40,20 @@ deriveForDec className makeClassHead f (DataD dataCxt name bndrs _ cons _) = ret
where
inst = instanceD (cxt (map return dataCxt)) (makeClassHead $ conT name) [dec]
dec = f bndrs cons
#if __GLASGOW_HASKELL__ >= 808
deriveForDec className makeClassHead f (DataInstD dataCxt tvBndrs ty _ cons _) = return <$> inst
#else
deriveForDec className makeClassHead f (DataInstD dataCxt name tyArgs _ cons _) = return <$> inst
#endif
where
inst = instanceD (cxt (map return dataCxt)) (makeClassHead $ foldl1 appT (map return $ (ConT name : init tyArgs))) [dec]
inst = instanceD (cxt (map return dataCxt)) clhead [dec]
#if __GLASGOW_HASKELL__ >= 808
clhead = makeClassHead $ return $ initTy ty
bndrs = [PlainTV v | PlainTV v <- maybe [] id tvBndrs]
initTy (AppT ty _) = ty
#else
clhead = makeClassHead $ foldl1 appT (map return $ (ConT name : init tyArgs))
-- TODO: figure out proper number of family parameters vs instance parameters
bndrs = [PlainTV v | VarT v <- tail tyArgs ]
#endif
dec = f bndrs cons