diff options
Diffstat (limited to 'testsuite/tests/th')
| -rw-r--r-- | testsuite/tests/th/T3177a.stderr | 22 | ||||
| -rw-r--r-- | testsuite/tests/th/T3920.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/T7021a.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/T8953.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_RichKinds.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_RichKinds.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_Roles2.stderr | 1 |
7 files changed, 20 insertions, 17 deletions
diff --git a/testsuite/tests/th/T3177a.stderr b/testsuite/tests/th/T3177a.stderr index 33093fa2b1..fa80d0e864 100644 --- a/testsuite/tests/th/T3177a.stderr +++ b/testsuite/tests/th/T3177a.stderr @@ -1,10 +1,12 @@ -
-T3177a.hs:8:8: error:
- ‘Int’ is applied to too many type arguments
- In the type signature:
- f :: Int Int
-
-T3177a.hs:11:6: error:
- ‘Int’ is applied to too many type arguments
- In the type signature:
- g :: Int Int
+ +T3177a.hs:8:8: error: + • Expecting one fewer argument to ‘Int’ + Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’ + • In the type signature: + f :: Int Int + +T3177a.hs:11:6: error: + • Expecting one fewer argument to ‘Int’ + Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’ + • In the type signature: + g :: Int Int diff --git a/testsuite/tests/th/T3920.hs b/testsuite/tests/th/T3920.hs index 4d7ccef509..309ca8eeb2 100644 --- a/testsuite/tests/th/T3920.hs +++ b/testsuite/tests/th/T3920.hs @@ -9,7 +9,7 @@ $(return []) test :: String test = $(do - test <- [d| + test <- [d| type family T :: (* -> (* -> * -> *)) -> (* -> *) -> * |] blah <- reify ''S return (LitE (StringL (pprint test ++ "\n" ++ pprint blah)))) diff --git a/testsuite/tests/th/T7021a.hs b/testsuite/tests/th/T7021a.hs index b07ef55196..f2bc8f1891 100644 --- a/testsuite/tests/th/T7021a.hs +++ b/testsuite/tests/th/T7021a.hs @@ -3,7 +3,7 @@ module T7021a where -import GHC.Prim +import GHC.Exts import Language.Haskell.TH type IOable a = (Show a, Read a) diff --git a/testsuite/tests/th/T8953.stderr b/testsuite/tests/th/T8953.stderr index 94312eff6a..c18589d69c 100644 --- a/testsuite/tests/th/T8953.stderr +++ b/testsuite/tests/th/T8953.stderr @@ -15,5 +15,5 @@ type instance T8953.F GHC.Types.Char = (T8953.G (T8953.T1 :: * -> (* -> *) -> *) GHC.Types.Bool :: (* -> *) -> *) type family T8953.G (a_0 :: k_1) :: k_1 -type instance T8953.G (T8953.T1 :: k_2 -> - k1_3 -> *) = (T8953.T2 :: k_2 -> k1_3 -> *) +type instance T8953.G (T8953.T1 :: k1_2 -> + k2_3 -> *) = (T8953.T2 :: k1_2 -> k2_3 -> *) diff --git a/testsuite/tests/th/TH_RichKinds.hs b/testsuite/tests/th/TH_RichKinds.hs index 69e4239f43..3ec2dd8e8e 100644 --- a/testsuite/tests/th/TH_RichKinds.hs +++ b/testsuite/tests/th/TH_RichKinds.hs @@ -6,7 +6,7 @@ module TH_RichKinds where -import GHC.Prim +import GHC.Exts import Language.Haskell.TH $(do tys <- sequence [ [t| forall a. (a :: Bool) |] diff --git a/testsuite/tests/th/TH_RichKinds.stderr b/testsuite/tests/th/TH_RichKinds.stderr index 09a8e40bf8..eb402902ac 100644 --- a/testsuite/tests/th/TH_RichKinds.stderr +++ b/testsuite/tests/th/TH_RichKinds.stderr @@ -1,9 +1,9 @@ -TH_RichKinds.hs:12:3: Warning: +TH_RichKinds.hs:12:3: warning: forall a_0 . (a_0 :: GHC.Types.Bool) forall a_1 . (a_1 :: Constraint) forall a_2 . (a_2 :: [*]) forall a_3 . (a_3 :: (*, GHC.Types.Bool)) -forall a_4 . (a_4 :: GHC.Tuple.()) +forall a_4 . (a_4 :: ()) forall a_5 . (a_5 :: (* -> GHC.Types.Bool) -> (*, * -> *) -> GHC.Types.Bool) diff --git a/testsuite/tests/th/TH_Roles2.stderr b/testsuite/tests/th/TH_Roles2.stderr index 7b68958fcc..fc264b12dd 100644 --- a/testsuite/tests/th/TH_Roles2.stderr +++ b/testsuite/tests/th/TH_Roles2.stderr @@ -2,6 +2,7 @@ TYPE SIGNATURES TYPE CONSTRUCTORS type role T representational data T (a :: k) + Kind: forall k1. k1 -> * COERCION AXIOMS Dependent modules: [] Dependent packages: [array-0.5.1.0, base-4.9.0.0, deepseq-1.4.1.1, |