... | ... | @@ -243,10 +243,10 @@ TySynEqnNothing(ConT''Foo`AppKindT`ConT''Bool`AppT`VarT a)(VarT a) |
|
|
go acc (ForallT__ ty)= go acc ty
|
|
|
go acc (AppT ty1 ty2)= go (TANormal ty2:acc) ty1
|
|
|
go acc (SigT ty _)= go acc ty
|
|
|
#if __GLASGOW_HASKELL__ >=800
|
|
|
#ifMIN_VERSION_template_haskell(2,11,0)
|
|
|
go acc (ParensT ty)= go acc ty
|
|
|
#endif
|
|
|
#if __GLASGOW_HASKELL__ >=807
|
|
|
#ifMIN_VERSION_template_haskell(2,15,0)
|
|
|
go acc (AppKindT ty ki)= go (TyArg ki:acc) ty
|
|
|
#endif
|
|
|
go acc ty =(ty, acc)famInstLHSName::Type->MaybeNamefamInstLHSName t =case unfoldType t of(ConT n,_)->Just n
|
... | ... | |