diff options
Diffstat (limited to 'testsuite')
6 files changed, 7 insertions, 25 deletions
diff --git a/testsuite/tests/codeGen/should_compile/T13233.hs b/testsuite/tests/codeGen/should_compile/T13233.hs deleted file mode 100644 index bb79856d3b..0000000000 --- a/testsuite/tests/codeGen/should_compile/T13233.hs +++ /dev/null @@ -1,12 +0,0 @@ -{-# LANGUAGE ScopedTypeVariables #-} -{-# LANGUAGE TypeInType #-} -{-# LANGUAGE UnboxedTuples #-} -module Bug where - -import GHC.Exts (TYPE) - -class Foo (a :: TYPE rep) where - bar :: forall (b :: TYPE rep2). (a -> a -> b) -> a -> a -> b - -baz :: forall (a :: TYPE rep). Foo a => a -> a -> (# a, a #) -baz = bar (#,#) diff --git a/testsuite/tests/linear/should_fail/LinearPolyType.stderr b/testsuite/tests/linear/should_fail/LinearPolyType.stderr index 884b8991fb..c2d8b7d452 100644 --- a/testsuite/tests/linear/should_fail/LinearPolyType.stderr +++ b/testsuite/tests/linear/should_fail/LinearPolyType.stderr @@ -1,6 +1,6 @@ LinearPolyType.hs:15:1: error: - Multiplicity coercions are currently not supported + Multiplicity coercions are currently not supported (see GHC #19517) LinearPolyType.hs:15:1: error: - Multiplicity coercions are currently not supported + Multiplicity coercions are currently not supported (see GHC #19517) diff --git a/testsuite/tests/printer/RdrNames.hs b/testsuite/tests/printer/RdrNames.hs index 5124bcccde..1bdf4f2fb3 100644 --- a/testsuite/tests/printer/RdrNames.hs +++ b/testsuite/tests/printer/RdrNames.hs @@ -97,12 +97,6 @@ lt = undefined -- --------------------------------------------------------------------- --- | '[:' ':]' {% ams (sLL $1 $> $ parrTyCon_RDR) [mo $1,mc $2] } - --- GHC source indicates this constuctor is only available in PrelPArr --- ltp :: [::] a --- ltp = undefined - -- --------------------------------------------------------------------- -- | '(' '~#' ')' {% ams (sLL $1 $> $ getRdrName eqPrimTyCon) diff --git a/testsuite/tests/typecheck/should_compile/T12427a.hs b/testsuite/tests/typecheck/should_compile/T12427a.hs index 56c7513012..933939164c 100644 --- a/testsuite/tests/typecheck/should_compile/T12427a.hs +++ b/testsuite/tests/typecheck/should_compile/T12427a.hs @@ -36,6 +36,6 @@ h2 y = case y of T1 _ v -> v -- Fails in 7.10 (head exploded) -- Fails in 8.0.1 (ditto) -- Succeeds in 8.2 --- Fails in 8.12 (simple subsumption) +-- Fails in 9.0 (simple subsumption) x3 :: (forall a. a->a) -> Int T1 _ x3 = undefined diff --git a/testsuite/tests/typecheck/should_compile/holes.stderr b/testsuite/tests/typecheck/should_compile/holes.stderr index ddaae57d07..1e19fa85ba 100644 --- a/testsuite/tests/typecheck/should_compile/holes.stderr +++ b/testsuite/tests/typecheck/should_compile/holes.stderr @@ -166,13 +166,13 @@ holes.hs:11:15: warning: [-Wtyped-holes (in -Wdefault)] quotRem :: forall a. Integral a => a -> a -> (a, a) rem :: forall a. Integral a => a -> a -> a zip :: forall a b. [a] -> [b] -> [(a, b)] - fst :: forall a b. (a, b) -> a - snd :: forall a b. (a, b) -> b map :: forall a b. (a -> b) -> [a] -> [b] realToFrac :: forall a b. (Real a, Fractional b) => a -> b Left :: forall a b. a -> Either a b Right :: forall a b. b -> Either a b maybe :: forall b a. b -> (a -> b) -> Maybe a -> b + fst :: forall a b. (a, b) -> a + snd :: forall a b. (a, b) -> b const :: forall a b. a -> b -> a scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b] scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b] diff --git a/testsuite/tests/typecheck/should_compile/holes3.stderr b/testsuite/tests/typecheck/should_compile/holes3.stderr index 52cf8db18f..448f89009e 100644 --- a/testsuite/tests/typecheck/should_compile/holes3.stderr +++ b/testsuite/tests/typecheck/should_compile/holes3.stderr @@ -169,13 +169,13 @@ holes3.hs:11:15: error: quotRem :: forall a. Integral a => a -> a -> (a, a) rem :: forall a. Integral a => a -> a -> a zip :: forall a b. [a] -> [b] -> [(a, b)] - fst :: forall a b. (a, b) -> a - snd :: forall a b. (a, b) -> b map :: forall a b. (a -> b) -> [a] -> [b] realToFrac :: forall a b. (Real a, Fractional b) => a -> b Left :: forall a b. a -> Either a b Right :: forall a b. b -> Either a b maybe :: forall b a. b -> (a -> b) -> Maybe a -> b + fst :: forall a b. (a, b) -> a + snd :: forall a b. (a, b) -> b const :: forall a b. a -> b -> a scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b] scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b] |