diff options
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/parser/should_fail/T18251c.hs | 3 | ||||
-rw-r--r-- | testsuite/tests/parser/should_fail/T18251c.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/parser/should_fail/T18251d.hs | 6 | ||||
-rw-r--r-- | testsuite/tests/parser/should_fail/T18251d.stderr | 3 | ||||
-rw-r--r-- | testsuite/tests/parser/should_fail/all.T | 2 | ||||
-rw-r--r-- | testsuite/tests/th/T12411.stderr | 10 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T15527.stderr | 10 |
7 files changed, 25 insertions, 13 deletions
diff --git a/testsuite/tests/parser/should_fail/T18251c.hs b/testsuite/tests/parser/should_fail/T18251c.hs new file mode 100644 index 0000000000..da455fea64 --- /dev/null +++ b/testsuite/tests/parser/should_fail/T18251c.hs @@ -0,0 +1,3 @@ +module T18251c where + +f = id @Int diff --git a/testsuite/tests/parser/should_fail/T18251c.stderr b/testsuite/tests/parser/should_fail/T18251c.stderr new file mode 100644 index 0000000000..9a7c66f8f3 --- /dev/null +++ b/testsuite/tests/parser/should_fail/T18251c.stderr @@ -0,0 +1,4 @@ + +T18251c.hs:3:5: error: + Illegal visible type application ‘@Int’ + Perhaps you intended to use TypeApplications diff --git a/testsuite/tests/parser/should_fail/T18251d.hs b/testsuite/tests/parser/should_fail/T18251d.hs new file mode 100644 index 0000000000..76864b6e72 --- /dev/null +++ b/testsuite/tests/parser/should_fail/T18251d.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE ExplicitForAll #-} + +module T18251d where + +f :: forall a. a -> () +f @a _ = () diff --git a/testsuite/tests/parser/should_fail/T18251d.stderr b/testsuite/tests/parser/should_fail/T18251d.stderr new file mode 100644 index 0000000000..4e64922070 --- /dev/null +++ b/testsuite/tests/parser/should_fail/T18251d.stderr @@ -0,0 +1,3 @@ + +T18251d.hs:6:1: error: + Type applications in patterns are not yet supported diff --git a/testsuite/tests/parser/should_fail/all.T b/testsuite/tests/parser/should_fail/all.T index 8256906296..3b31682cb2 100644 --- a/testsuite/tests/parser/should_fail/all.T +++ b/testsuite/tests/parser/should_fail/all.T @@ -169,4 +169,6 @@ test('T15730b', normal, compile_fail, ['']) test('T18130Fail', normal, compile_fail, ['']) test('T18251a', normal, compile_fail, ['']) test('T18251b', normal, compile_fail, ['']) +test('T18251c', normal, compile_fail, ['']) +test('T18251d', normal, compile_fail, ['']) test('T18251f', normal, compile_fail, ['']) diff --git a/testsuite/tests/th/T12411.stderr b/testsuite/tests/th/T12411.stderr index 13b778f8a1..22f7de0190 100644 --- a/testsuite/tests/th/T12411.stderr +++ b/testsuite/tests/th/T12411.stderr @@ -1,8 +1,6 @@ -T12411.hs:4:6: error: - Variable not in scope: - (@) - :: (a1 -> f0 a1) -> t0 -> Language.Haskell.TH.Lib.Internal.DecsQ +T12411.hs:4:1: error: + Illegal visible type application ‘@Q’ + Perhaps you intended to use TypeApplications -T12411.hs:4:7: error: - Data constructor not in scope: Q :: [a0] -> t0 +T12411.hs:4:7: error: Not in scope: type constructor or class ‘Q’ diff --git a/testsuite/tests/typecheck/should_fail/T15527.stderr b/testsuite/tests/typecheck/should_fail/T15527.stderr index 2b764caef9..8908b17218 100644 --- a/testsuite/tests/typecheck/should_fail/T15527.stderr +++ b/testsuite/tests/typecheck/should_fail/T15527.stderr @@ -1,8 +1,4 @@ -T15527.hs:4:10: error: - Variable not in scope: - (@) - :: ((b0 -> c0) -> (a0 -> b0) -> a0 -> c0) - -> t0 -> (Int -> Int) -> (Int -> Int) -> Int -> Int - -T15527.hs:4:11: error: Data constructor not in scope: Int +T15527.hs:4:6: error: + Illegal visible type application ‘@Int’ + Perhaps you intended to use TypeApplications |