diff options
Diffstat (limited to 'testsuite/tests/th/T13782.hs')
| -rw-r--r-- | testsuite/tests/th/T13782.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/th/T13782.hs b/testsuite/tests/th/T13782.hs index 0346749ce4..b7af84e0e6 100644 --- a/testsuite/tests/th/T13782.hs +++ b/testsuite/tests/th/T13782.hs @@ -6,10 +6,10 @@ module T13782 where import Language.Haskell.TH -$(do TyConI (DataD _ _ [KindedTV a1 _] _ _ _) <- reify ''Maybe +$(do TyConI (DataD _ _ [KindedTV a1 _ _] _ _ _) <- reify ''Maybe [f,a2] <- mapM newName ["f","a"] - return [ SigD f (ForallT [PlainTV a1, - KindedTV a2 (AppT (ConT ''Maybe) (VarT a1))] + return [ SigD f (ForallT [PlainTV a1 SpecifiedSpec, + KindedTV a2 SpecifiedSpec (AppT (ConT ''Maybe) (VarT a1))] [] (ConT ''Int)) , ValD (VarP f) (NormalB (LitE (IntegerL 42))) [] ]) |