tweag/distributed-closure
1
1
Fork 0
mirror of https://github.com/tweag/distributed-closure.git synced 2024-11-22 03:06:47 +03:00
Code Issues Projects Releases Wiki Activity

fix: compatibility with template-haskell 2.16

Browse Source 
In template-haskell 2.16, the signature of PlainTV change, requiring an
additional argument of type Specificity. This accounts for the change,
while maintaining backward compatibility.
This commit is contained in:
Nicolas BACQUEY 2020-06-19 16:54:59 +02:00
parent 9fc0095eb8
commit b92e75ec81
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Control/Distributed/Closure/TH.hs
View File

@ -117,7 +117,14 @@ withStatic = (>>= go)
f <- mangleName <$> TH.newName "static_helper"
fbody <- foldr (\_ body -> [| \Dict -> $body |]) [| Dict |] cxt
let tyf = foldr (\a b -> TH.ArrowT `TH.AppT` a `TH.AppT` b) retsig dictsigs
sigf = TH.SigD f (TH.ForallT (map TH.PlainTV (fvT tyf)) [] tyf)
#if MIN_VERSION_template_haskell(2,16,0)
specifiedPlainTV :: TH.Name -> TH.TyVarBndr TH.Specificity
specifiedPlainTV n = TH.PlainTV n TH.SpecifiedSpec
#else
specifiedPlainTV :: TH.Name -> TH.TyVarBndr
specifiedPlainTV = TH.PlainTV
#endif
sigf = TH.SigD f (TH.ForallT (map specifiedPlainTV (fvT tyf)) [] tyf)
declf = TH.ValD (TH.VarP f) (TH.NormalB fbody) []
methods <- (:[]) <$>
TH.valD