diff options
Diffstat (limited to 'testsuite/tests/indexed-types')
67 files changed, 123 insertions, 76 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs b/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs index fb7d67b2f5..acd4720aab 100644 --- a/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs +++ b/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module ClosedFam2 where diff --git a/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs-boot b/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs-boot index f13bf46d6e..976c97b4ff 100644 --- a/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs-boot +++ b/testsuite/tests/indexed-types/should_compile/ClosedFam2.hs-boot @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module ClosedFam2 where diff --git a/testsuite/tests/indexed-types/should_compile/ClosedFam2a.hs b/testsuite/tests/indexed-types/should_compile/ClosedFam2a.hs index b259f6e8f8..0a9e21b117 100644 --- a/testsuite/tests/indexed-types/should_compile/ClosedFam2a.hs +++ b/testsuite/tests/indexed-types/should_compile/ClosedFam2a.hs @@ -1,2 +1,3 @@ +{-# LANGUAGE Haskell2010 #-} module ClosedFam2a where import {-# SOURCE #-} ClosedFam2 diff --git a/testsuite/tests/indexed-types/should_compile/IndTypesPerf.hs b/testsuite/tests/indexed-types/should_compile/IndTypesPerf.hs index 30c92c3a88..ed06a79189 100644 --- a/testsuite/tests/indexed-types/should_compile/IndTypesPerf.hs +++ b/testsuite/tests/indexed-types/should_compile/IndTypesPerf.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} -- This used lots of memory, and took a long time to compile, with GHC 6.12: -- http://www.haskell.org/pipermail/glasgow-haskell-users/2010-May/018835.html diff --git a/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs b/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs index a022c36a85..a7c16b7254 100644 --- a/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs +++ b/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE EmptyDataDecls, TypeFamilies, UndecidableInstances, ScopedTypeVariables, TypeOperators, FlexibleInstances, NoMonomorphismRestriction, diff --git a/testsuite/tests/indexed-types/should_compile/InstEqContext2.hs b/testsuite/tests/indexed-types/should_compile/InstEqContext2.hs index 0140d3e74e..ea356a44ad 100644 --- a/testsuite/tests/indexed-types/should_compile/InstEqContext2.hs +++ b/testsuite/tests/indexed-types/should_compile/InstEqContext2.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# OPTIONS_GHC -fno-warn-redundant-constraints #-} {-# LANGUAGE TypeFamilies, EmptyDataDecls #-} diff --git a/testsuite/tests/indexed-types/should_compile/Roman1.hs b/testsuite/tests/indexed-types/should_compile/Roman1.hs index 46f26a8196..ef053c4902 100644 --- a/testsuite/tests/indexed-types/should_compile/Roman1.hs +++ b/testsuite/tests/indexed-types/should_compile/Roman1.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, RankNTypes #-} -- This test made the type checker produce an diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.hs b/testsuite/tests/indexed-types/should_compile/Simple14.hs index dba26194f1..bedf5bb3e7 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.hs +++ b/testsuite/tests/indexed-types/should_compile/Simple14.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts, ScopedTypeVariables #-} module Simple14 where diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr index 6159b08898..7489ffce5a 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -1,5 +1,5 @@ -Simple14.hs:19:27: error: +Simple14.hs:20:27: error: • Couldn't match type ‘z0’ with ‘n’ Expected: EQ_ z0 z0 Actual: EQ_ m n @@ -7,15 +7,15 @@ Simple14.hs:19:27: error: inside the constraints: Maybe m ~ Maybe n bound by a type expected by the context: (Maybe m ~ Maybe n) => EQ_ z0 z0 - at Simple14.hs:19:26-41 + at Simple14.hs:20:26-41 ‘n’ is a rigid type variable bound by the type signature for: foo :: forall m n. EQ_ (Maybe m) (Maybe n) - at Simple14.hs:18:1-42 + at Simple14.hs:19:1-42 • In the second argument of ‘eqE’, namely ‘(eqI :: EQ_ m n)’ In the expression: x `eqE` (eqI :: EQ_ m n) In the first argument of ‘ntI’, namely ‘(\ x -> x `eqE` (eqI :: EQ_ m n))’ • Relevant bindings include - x :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:19:13) - foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:19:1) + x :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:20:13) + foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:20:1) diff --git a/testsuite/tests/indexed-types/should_compile/T11361.hs b/testsuite/tests/indexed-types/should_compile/T11361.hs index 89153d4d0b..7534734790 100644 --- a/testsuite/tests/indexed-types/should_compile/T11361.hs +++ b/testsuite/tests/indexed-types/should_compile/T11361.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} -- this is needed because |FamHelper a x| /< |Fam a x| diff --git a/testsuite/tests/indexed-types/should_compile/T14554.hs b/testsuite/tests/indexed-types/should_compile/T14554.hs index 6049b1934e..e101fbdc74 100644 --- a/testsuite/tests/indexed-types/should_compile/T14554.hs +++ b/testsuite/tests/indexed-types/should_compile/T14554.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# Language UndecidableInstances, DataKinds, TypeOperators, TypeFamilies, PolyKinds, GADTs, LambdaCase, ScopedTypeVariables #-} diff --git a/testsuite/tests/indexed-types/should_compile/T15122.hs b/testsuite/tests/indexed-types/should_compile/T15122.hs index c05bd3a8a0..49a3de642d 100644 --- a/testsuite/tests/indexed-types/should_compile/T15122.hs +++ b/testsuite/tests/indexed-types/should_compile/T15122.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} diff --git a/testsuite/tests/indexed-types/should_compile/T15352.hs b/testsuite/tests/indexed-types/should_compile/T15352.hs index d83512f085..25c4640809 100644 --- a/testsuite/tests/indexed-types/should_compile/T15352.hs +++ b/testsuite/tests/indexed-types/should_compile/T15352.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeInType #-} -- or PolyKinds {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} diff --git a/testsuite/tests/indexed-types/should_compile/T16110_Compile.hs b/testsuite/tests/indexed-types/should_compile/T16110_Compile.hs index f05a4513fb..ce73dba6a7 100644 --- a/testsuite/tests/indexed-types/should_compile/T16110_Compile.hs +++ b/testsuite/tests/indexed-types/should_compile/T16110_Compile.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} module T16110_Compile where diff --git a/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs b/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs index 74dee38ac4..6622d513d7 100644 --- a/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs +++ b/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeApplications #-} diff --git a/testsuite/tests/indexed-types/should_compile/T17008b.hs b/testsuite/tests/indexed-types/should_compile/T17008b.hs index 25763684e4..7116c1d441 100644 --- a/testsuite/tests/indexed-types/should_compile/T17008b.hs +++ b/testsuite/tests/indexed-types/should_compile/T17008b.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} diff --git a/testsuite/tests/indexed-types/should_compile/T4120.hs b/testsuite/tests/indexed-types/should_compile/T4120.hs index 180472232f..8e8e41f322 100644 --- a/testsuite/tests/indexed-types/should_compile/T4120.hs +++ b/testsuite/tests/indexed-types/should_compile/T4120.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE RankNTypes, TypeFamilies #-} -- Unification yielding a coercion under a forall diff --git a/testsuite/tests/indexed-types/should_compile/T4484.hs b/testsuite/tests/indexed-types/should_compile/T4484.hs index 203f19a440..45add2ad42 100644 --- a/testsuite/tests/indexed-types/should_compile/T4484.hs +++ b/testsuite/tests/indexed-types/should_compile/T4484.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, EmptyDataDecls, GADTs #-} module T4484 where diff --git a/testsuite/tests/indexed-types/should_compile/T5591a.hs b/testsuite/tests/indexed-types/should_compile/T5591a.hs index 9c1a2c7e51..5d9243d832 100644 --- a/testsuite/tests/indexed-types/should_compile/T5591a.hs +++ b/testsuite/tests/indexed-types/should_compile/T5591a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE GADTs, TypeOperators, TypeFamilies, ScopedTypeVariables #-} module T5591a where diff --git a/testsuite/tests/indexed-types/should_compile/T8002.hs b/testsuite/tests/indexed-types/should_compile/T8002.hs index d90a502b05..7ca74e2ddf 100644 --- a/testsuite/tests/indexed-types/should_compile/T8002.hs +++ b/testsuite/tests/indexed-types/should_compile/T8002.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T8002 where diff --git a/testsuite/tests/indexed-types/should_compile/T8002a.hs b/testsuite/tests/indexed-types/should_compile/T8002a.hs index 98ac39e55f..59b4312d4e 100644 --- a/testsuite/tests/indexed-types/should_compile/T8002a.hs +++ b/testsuite/tests/indexed-types/should_compile/T8002a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE TypeFamilies #-} diff --git a/testsuite/tests/indexed-types/should_compile/T8002b.hs b/testsuite/tests/indexed-types/should_compile/T8002b.hs index 073f930d59..8c965a44af 100644 --- a/testsuite/tests/indexed-types/should_compile/T8002b.hs +++ b/testsuite/tests/indexed-types/should_compile/T8002b.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T8002b where diff --git a/testsuite/tests/indexed-types/should_compile/T8500.hs b/testsuite/tests/indexed-types/should_compile/T8500.hs index 5e8f09004f..abb3eba5bf 100644 --- a/testsuite/tests/indexed-types/should_compile/T8500.hs +++ b/testsuite/tests/indexed-types/should_compile/T8500.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T8500 where diff --git a/testsuite/tests/indexed-types/should_compile/T8500a.hs b/testsuite/tests/indexed-types/should_compile/T8500a.hs index f4f97b97a6..26dbbcbb12 100644 --- a/testsuite/tests/indexed-types/should_compile/T8500a.hs +++ b/testsuite/tests/indexed-types/should_compile/T8500a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T8500a where diff --git a/testsuite/tests/indexed-types/should_compile/T9840.hs b/testsuite/tests/indexed-types/should_compile/T9840.hs index 0dc96bb9c7..98df2a00a1 100644 --- a/testsuite/tests/indexed-types/should_compile/T9840.hs +++ b/testsuite/tests/indexed-types/should_compile/T9840.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T9840 where diff --git a/testsuite/tests/indexed-types/should_compile/T9840.hs-boot b/testsuite/tests/indexed-types/should_compile/T9840.hs-boot index b60a8db0ac..ff3001944c 100644 --- a/testsuite/tests/indexed-types/should_compile/T9840.hs-boot +++ b/testsuite/tests/indexed-types/should_compile/T9840.hs-boot @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T9840 where diff --git a/testsuite/tests/indexed-types/should_compile/T9840a.hs b/testsuite/tests/indexed-types/should_compile/T9840a.hs index dab6e044f5..8741a27579 100644 --- a/testsuite/tests/indexed-types/should_compile/T9840a.hs +++ b/testsuite/tests/indexed-types/should_compile/T9840a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T9840a where diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs b/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs index 3dd140b615..5d0366446d 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module ClosedFam3 where diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot b/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot index 5a10841ba4..7b72a0276a 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, PolyKinds #-} module ClosedFam3 where diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr index f0a5614560..28190937a4 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr @@ -1,5 +1,5 @@ -ClosedFam3.hs-boot:7:1: error: +ClosedFam3.hs-boot:8:1: error: Type constructor ‘Foo’ has conflicting definitions in the module and its hs-boot file Main module: type Foo :: * -> * @@ -10,7 +10,7 @@ ClosedFam3.hs-boot:7:1: error: type family Foo a where Foo Int = Bool -ClosedFam3.hs-boot:10:1: error: +ClosedFam3.hs-boot:11:1: error: Type constructor ‘Bar’ has conflicting definitions in the module and its hs-boot file Main module: type Bar :: * -> * @@ -22,7 +22,7 @@ ClosedFam3.hs-boot:10:1: error: Bar Int = Bool Bar Double = Char -ClosedFam3.hs-boot:14:1: error: +ClosedFam3.hs-boot:15:1: error: Type constructor ‘Baz’ has conflicting definitions in the module and its hs-boot file Main module: type Baz :: * -> * diff --git a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.hs b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.hs index f99e884161..336ee7c4b3 100644 --- a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.hs +++ b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE ExplicitForAll #-} {-# LANGUAGE TypeFamilies #-} diff --git a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr index 776ee19592..a0d7408210 100644 --- a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr +++ b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr @@ -1,11 +1,11 @@ -ExplicitForAllFams4a.hs:7:12: error: +ExplicitForAllFams4a.hs:8:12: error: • Type variable ‘b’ is bound by a forall, but not used in the family instance • In the equations for closed type family ‘H’ In the type family declaration for ‘H’ -ExplicitForAllFams4a.hs:8:10: error: +ExplicitForAllFams4a.hs:9:10: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the equations for closed type family ‘H’ diff --git a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.hs b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.hs index c488f45a65..f8187e5878 100644 --- a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.hs +++ b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE ExplicitForAll #-} {-# LANGUAGE TypeFamilies #-} diff --git a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr index ca0e33c5ff..7d8bd872ed 100644 --- a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr +++ b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr @@ -1,82 +1,82 @@ -ExplicitForAllFams4b.hs:7:24: error: +ExplicitForAllFams4b.hs:8:24: error: • Type variable ‘b’ is bound by a forall, but not used in the family instance • In the type instance declaration for ‘J’ -ExplicitForAllFams4b.hs:7:27: error: +ExplicitForAllFams4b.hs:8:27: error: Conflicting family instance declarations: - J [a] = Float -- Defined at ExplicitForAllFams4b.hs:7:27 - J _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:8:27 + J [a] = Float -- Defined at ExplicitForAllFams4b.hs:8:27 + J _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:9:27 -ExplicitForAllFams4b.hs:8:22: error: +ExplicitForAllFams4b.hs:9:22: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the type instance declaration for ‘J’ -ExplicitForAllFams4b.hs:11:24: error: +ExplicitForAllFams4b.hs:12:24: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the data instance declaration for ‘K’ -ExplicitForAllFams4b.hs:11:27: error: +ExplicitForAllFams4b.hs:12:27: error: Conflicting family instance declarations: - K (a, Bool) -- Defined at ExplicitForAllFams4b.hs:11:27 - K _ -- Defined at ExplicitForAllFams4b.hs:12:27 + K (a, Bool) -- Defined at ExplicitForAllFams4b.hs:12:27 + K _ -- Defined at ExplicitForAllFams4b.hs:13:27 -ExplicitForAllFams4b.hs:12:22: error: +ExplicitForAllFams4b.hs:13:22: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the data instance declaration for ‘K’ -ExplicitForAllFams4b.hs:15:27: error: +ExplicitForAllFams4b.hs:16:27: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the newtype instance declaration for ‘L’ -ExplicitForAllFams4b.hs:15:30: error: +ExplicitForAllFams4b.hs:16:30: error: Conflicting family instance declarations: - L (a, Bool) -- Defined at ExplicitForAllFams4b.hs:15:30 - L _ -- Defined at ExplicitForAllFams4b.hs:16:30 + L (a, Bool) -- Defined at ExplicitForAllFams4b.hs:16:30 + L _ -- Defined at ExplicitForAllFams4b.hs:17:30 -ExplicitForAllFams4b.hs:16:25: error: +ExplicitForAllFams4b.hs:17:25: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the newtype instance declaration for ‘L’ -ExplicitForAllFams4b.hs:23:3: error: +ExplicitForAllFams4b.hs:24:3: error: • Type indexes must match class instance head Expected: CT Int _ Actual: CT [a] (a, a) • In the type instance declaration for ‘CT’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:23:17: error: +ExplicitForAllFams4b.hs:24:17: error: • Type variable ‘b’ is bound by a forall, but not used in the family instance • In the type instance declaration for ‘CT’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:24:15: error: +ExplicitForAllFams4b.hs:25:15: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the type instance declaration for ‘CT’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:26:3: error: +ExplicitForAllFams4b.hs:27:3: error: • Type indexes must match class instance head Expected: CD Int _ Actual: CD [a] (a, a) • In the data instance declaration for ‘CD’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:26:17: error: +ExplicitForAllFams4b.hs:27:17: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the data instance declaration for ‘CD’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:27:15: error: +ExplicitForAllFams4b.hs:28:15: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance • In the data instance declaration for ‘CD’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.hs b/testsuite/tests/indexed-types/should_fail/SimpleFail15.hs index 586403937b..6cc10e0529 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail15.hs +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail15.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module ShouldFail where diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr index 55d0358bfc..7119b9a8a9 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr @@ -1,5 +1,5 @@ -SimpleFail15.hs:5:8: error: +SimpleFail15.hs:6:8: error: • Illegal qualified type: (a ~ b) => t Perhaps you intended to use RankNTypes • In the type signature: foo :: (a, b) -> (a ~ b => t) -> (a, b) diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail4.hs b/testsuite/tests/indexed-types/should_fail/SimpleFail4.hs index 589372cd5e..0748856ea3 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail4.hs +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail4.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-} module ShouldFail where diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr index d23b24d824..3d7947e625 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr @@ -1,5 +1,5 @@ -SimpleFail4.hs:10:3: error: +SimpleFail4.hs:11:3: error: • Illegal argument ‘Int’ in: ‘type S2 Int = ...’ The arguments to ‘S2’ must all be distinct type variables diff --git a/testsuite/tests/indexed-types/should_fail/T10899.hs b/testsuite/tests/indexed-types/should_fail/T10899.hs index cacac4a2f7..d3cd973d6b 100644 --- a/testsuite/tests/indexed-types/should_fail/T10899.hs +++ b/testsuite/tests/indexed-types/should_fail/T10899.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, RankNTypes #-} module T10899 where diff --git a/testsuite/tests/indexed-types/should_fail/T10899.stderr b/testsuite/tests/indexed-types/should_fail/T10899.stderr index 0dd92ef9bf..ef0bd1b3f4 100644 --- a/testsuite/tests/indexed-types/should_fail/T10899.stderr +++ b/testsuite/tests/indexed-types/should_fail/T10899.stderr @@ -1,5 +1,5 @@ -T10899.hs:7:3: error: +T10899.hs:8:3: error: • Illegal polymorphic type: forall (m :: * -> *). m a • In the default type instance declaration for ‘F’ In the class declaration for ‘C’ diff --git a/testsuite/tests/indexed-types/should_fail/T12867.hs b/testsuite/tests/indexed-types/should_fail/T12867.hs index e4a39ce56e..5b3120f51f 100644 --- a/testsuite/tests/indexed-types/should_fail/T12867.hs +++ b/testsuite/tests/indexed-types/should_fail/T12867.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE FlexibleContexts #-} diff --git a/testsuite/tests/indexed-types/should_fail/T12867.stderr b/testsuite/tests/indexed-types/should_fail/T12867.stderr index 2115e43541..501da20907 100644 --- a/testsuite/tests/indexed-types/should_fail/T12867.stderr +++ b/testsuite/tests/indexed-types/should_fail/T12867.stderr @@ -1,11 +1,11 @@ -T12867.hs:7:21: error: +T12867.hs:8:21: error: • Expected kind ‘k0 -> *’, but ‘TestM’ has kind ‘*’ • In the first argument of ‘Eq’, namely ‘(TestM a)’ In the type ‘(Eq (TestM a))’ In the type declaration for ‘Test2’ -T12867.hs:9:1: error: +T12867.hs:10:1: error: • The associated type ‘TestM’ mentions none of the type or kind variables of the class ‘Test a’ • In the class declaration for ‘Test’ diff --git a/testsuite/tests/indexed-types/should_fail/T14246.hs b/testsuite/tests/indexed-types/should_fail/T14246.hs index 6ae8760c84..09840f6d9e 100644 --- a/testsuite/tests/indexed-types/should_fail/T14246.hs +++ b/testsuite/tests/indexed-types/should_fail/T14246.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE RankNTypes, GADTs, TypeOperators, PolyKinds, DataKinds, TypeFamilies, AllowAmbiguousTypes, UndecidableInstances, TypeInType #-} module T14246 where diff --git a/testsuite/tests/indexed-types/should_fail/T14246.stderr b/testsuite/tests/indexed-types/should_fail/T14246.stderr index d6bfde7b5b..a41f73efa5 100644 --- a/testsuite/tests/indexed-types/should_fail/T14246.stderr +++ b/testsuite/tests/indexed-types/should_fail/T14246.stderr @@ -1,10 +1,10 @@ -T14246.hs:18:5: error: +T14246.hs:19:5: error: • Illegal polymorphic type: forall (t :: v). f t • In the equations for closed type family ‘KLN’ In the type family declaration for ‘KLN’ -T14246.hs:22:27: error: +T14246.hs:23:27: error: • Couldn't match kind: 'S (KLN (f t)) with: KLN f Expected kind ‘Vect (KLN f) L’, @@ -13,7 +13,7 @@ T14246.hs:22:27: error: ‘(Cons (Label (t :: v)) l)’ In the type family declaration for ‘Reveal’ -T14246.hs:22:67: error: +T14246.hs:23:67: error: • Couldn't match kind ‘*’ with ‘L’ Expected kind ‘Vect (KLN (f t)) L’, but ‘l’ has kind ‘Vect (KLN (f t)) (*)’ @@ -21,7 +21,7 @@ T14246.hs:22:67: error: In the type ‘Reveal (f t) l’ In the type family declaration for ‘Reveal’ -T14246.hs:23:24: error: +T14246.hs:24:24: error: • Couldn't match kind ‘'Z’ with ‘KLN a’ Expected kind ‘Vect (KLN a) L’, but ‘Nil’ has kind ‘Vect 'Z L’ • In the second argument of ‘Reveal’, namely ‘Nil’ diff --git a/testsuite/tests/indexed-types/should_fail/T14887.hs b/testsuite/tests/indexed-types/should_fail/T14887.hs index 63fbbd3943..e0ede01500 100644 --- a/testsuite/tests/indexed-types/should_fail/T14887.hs +++ b/testsuite/tests/indexed-types/should_fail/T14887.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} diff --git a/testsuite/tests/indexed-types/should_fail/T14887.stderr b/testsuite/tests/indexed-types/should_fail/T14887.stderr index 6b5c57977e..9e55af541f 100644 --- a/testsuite/tests/indexed-types/should_fail/T14887.stderr +++ b/testsuite/tests/indexed-types/should_fail/T14887.stderr @@ -1,5 +1,5 @@ -T14887.hs:13:1: error: +T14887.hs:14:1: error: • The kind of ‘Foo2’ is ill-scoped Inferred kind: Foo2 :: forall (a :: k). forall k -> (a :~: a) -> * NB: Specified variables (namely: (a :: k)) always come first diff --git a/testsuite/tests/indexed-types/should_fail/T16356_Fail3.hs b/testsuite/tests/indexed-types/should_fail/T16356_Fail3.hs index da59f5399d..709567daf8 100644 --- a/testsuite/tests/indexed-types/should_fail/T16356_Fail3.hs +++ b/testsuite/tests/indexed-types/should_fail/T16356_Fail3.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module T16356_Fail3 where diff --git a/testsuite/tests/indexed-types/should_fail/T16356_Fail3.stderr b/testsuite/tests/indexed-types/should_fail/T16356_Fail3.stderr index e8b59175f4..7dcc5defea 100644 --- a/testsuite/tests/indexed-types/should_fail/T16356_Fail3.stderr +++ b/testsuite/tests/indexed-types/should_fail/T16356_Fail3.stderr @@ -1,5 +1,5 @@ -T16356_Fail3.hs:9:3: error: +T16356_Fail3.hs:10:3: error: • Cannot apply function of kind ‘* -> *’ to visible kind argument ‘Type’ • In the default type instance declaration for ‘T1’ diff --git a/testsuite/tests/indexed-types/should_fail/T18648.hs b/testsuite/tests/indexed-types/should_fail/T18648.hs index 92502b77c8..5833468188 100644 --- a/testsuite/tests/indexed-types/should_fail/T18648.hs +++ b/testsuite/tests/indexed-types/should_fail/T18648.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T18648 where diff --git a/testsuite/tests/indexed-types/should_fail/T18648.stderr b/testsuite/tests/indexed-types/should_fail/T18648.stderr index 0fbb014b50..2682a4e22d 100644 --- a/testsuite/tests/indexed-types/should_fail/T18648.stderr +++ b/testsuite/tests/indexed-types/should_fail/T18648.stderr @@ -1,12 +1,12 @@ -T18648.hs:6:4: error: +T18648.hs:7:4: error: • Illegal argument ‘f a’ in: ‘type Bar1 (f a) = ...’ The arguments to ‘Bar1’ must all be distinct type variables • In the default type instance declaration for ‘Bar1’ In the class declaration for ‘Foo1’ -T18648.hs:10:4: error: +T18648.hs:11:4: error: • Illegal argument ‘Bar2 a’ in: ‘type Bar2 (Bar2 a) = ...’ The arguments to ‘Bar2’ must all be distinct type variables diff --git a/testsuite/tests/indexed-types/should_fail/T1900.hs b/testsuite/tests/indexed-types/should_fail/T1900.hs index efcfbc1391..25f7bbb261 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.hs +++ b/testsuite/tests/indexed-types/should_fail/T1900.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, FlexibleContexts #-} module Class4 where diff --git a/testsuite/tests/indexed-types/should_fail/T1900.stderr b/testsuite/tests/indexed-types/should_fail/T1900.stderr index a9fb9051e8..bb4a160d49 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr @@ -1,5 +1,5 @@ -T1900.hs:7:3: error: +T1900.hs:8:3: error: • Couldn't match type: Depend s0 with: Depend s Expected: Depend s -> Depend s diff --git a/testsuite/tests/indexed-types/should_fail/T2664.hs b/testsuite/tests/indexed-types/should_fail/T2664.hs index bda1adfa42..5d63933716 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.hs +++ b/testsuite/tests/indexed-types/should_fail/T2664.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE EmptyDataDecls, TypeFamilies, TypeOperators, ScopedTypeVariables #-} module Overflow where import Control.Concurrent diff --git a/testsuite/tests/indexed-types/should_fail/T2664.stderr b/testsuite/tests/indexed-types/should_fail/T2664.stderr index deaffc82dd..155fe0e03b 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -1,22 +1,22 @@ -T2664.hs:31:52: error: +T2664.hs:32:52: error: • Could not deduce: b ~ a arising from a use of ‘newPChan’ from the context: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) bound by the type signature for: newPChan :: forall c. ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) => IO (PChan (a :*: b), PChan c) - at T2664.hs:23:5-12 + at T2664.hs:24:5-12 ‘b’ is a rigid type variable bound by the instance declaration - at T2664.hs:22:10-52 + at T2664.hs:23:10-52 ‘a’ is a rigid type variable bound by the instance declaration - at T2664.hs:22:10-52 + at T2664.hs:23:10-52 • In the third argument of ‘pchoose’, namely ‘newPChan’ In the first argument of ‘E’, namely ‘(pchoose Right v newPChan)’ In the expression: E (pchoose Right v newPChan) (pchoose Left v newPChan) • Relevant bindings include - v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9) - newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5) + v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:25:9) + newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:24:5) diff --git a/testsuite/tests/indexed-types/should_fail/T2664a.hs b/testsuite/tests/indexed-types/should_fail/T2664a.hs index b7a3033723..0b0835db33 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664a.hs +++ b/testsuite/tests/indexed-types/should_fail/T2664a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE EmptyDataDecls, TypeFamilies, TypeOperators, ScopedTypeVariables #-} module Overflow where import Control.Concurrent diff --git a/testsuite/tests/indexed-types/should_fail/T2888.hs b/testsuite/tests/indexed-types/should_fail/T2888.hs index 169eebb474..f5a33e8dc5 100644 --- a/testsuite/tests/indexed-types/should_fail/T2888.hs +++ b/testsuite/tests/indexed-types/should_fail/T2888.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} -- Test for no type indices diff --git a/testsuite/tests/indexed-types/should_fail/T2888.stderr b/testsuite/tests/indexed-types/should_fail/T2888.stderr index 3d2c221703..068eab1d3d 100644 --- a/testsuite/tests/indexed-types/should_fail/T2888.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2888.stderr @@ -1,5 +1,5 @@ -T2888.hs:6:1: - The associated type ‘D’ - mentions none of the type or kind variables of the class ‘C w’ - In the class declaration for ‘C’ +T2888.hs:7:1: error: + • The associated type ‘D’ + mentions none of the type or kind variables of the class ‘C w’ + • In the class declaration for ‘C’ diff --git a/testsuite/tests/indexed-types/should_fail/T4174.hs b/testsuite/tests/indexed-types/should_fail/T4174.hs index a4f105ff86..93805d2d69 100644 --- a/testsuite/tests/indexed-types/should_fail/T4174.hs +++ b/testsuite/tests/indexed-types/should_fail/T4174.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, TypeOperators, EmptyDataDecls #-} module T4174 where diff --git a/testsuite/tests/indexed-types/should_fail/T4174.stderr b/testsuite/tests/indexed-types/should_fail/T4174.stderr index 396fab9469..14156deaf0 100644 --- a/testsuite/tests/indexed-types/should_fail/T4174.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4174.stderr @@ -1,5 +1,5 @@ -T4174.hs:44:12: error: +T4174.hs:45:12: error: • Couldn't match type ‘a’ with ‘SmStep’ Expected: m (Field (Way (GHC6'8 minor) n t p) a b) Actual: m (Field (WayOf m) SmStep RtsSpinLock) @@ -8,9 +8,9 @@ T4174.hs:44:12: error: testcase :: forall (m :: * -> *) minor n t p a b. Monad m => m (Field (Way (GHC6'8 minor) n t p) a b) - at T4174.hs:43:1-63 + at T4174.hs:44:1-63 • In the expression: sync_large_objects In an equation for ‘testcase’: testcase = sync_large_objects • Relevant bindings include testcase :: m (Field (Way (GHC6'8 minor) n t p) a b) - (bound at T4174.hs:44:1) + (bound at T4174.hs:45:1) diff --git a/testsuite/tests/indexed-types/should_fail/T4246.hs b/testsuite/tests/indexed-types/should_fail/T4246.hs index ad280583ab..fb86a5d37b 100644 --- a/testsuite/tests/indexed-types/should_fail/T4246.hs +++ b/testsuite/tests/indexed-types/should_fail/T4246.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies, FlexibleInstances #-} module T4246 where diff --git a/testsuite/tests/indexed-types/should_fail/T4246.stderr b/testsuite/tests/indexed-types/should_fail/T4246.stderr index b653f9a052..f2bf56b214 100644 --- a/testsuite/tests/indexed-types/should_fail/T4246.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4246.stderr @@ -1,10 +1,10 @@ -T4246.hs:8:9: +T4246.hs:9:9: error: Conflicting family instance declarations: - F a = a -- Defined at T4246.hs:8:9 - F Int = Bool -- Defined at T4246.hs:11:9 + F a = a -- Defined at T4246.hs:9:9 + F Int = Bool -- Defined at T4246.hs:12:9 -T4246.hs:14:15: +T4246.hs:15:15: error: Conflicting family instance declarations: - G Int = Int -- Defined at T4246.hs:14:15 - G Int = Bool -- Defined at T4246.hs:15:15 + G Int = Int -- Defined at T4246.hs:15:15 + G Int = Bool -- Defined at T4246.hs:16:15 diff --git a/testsuite/tests/indexed-types/should_fail/T4485.hs b/testsuite/tests/indexed-types/should_fail/T4485.hs index 060e8571b5..c314018cc5 100644 --- a/testsuite/tests/indexed-types/should_fail/T4485.hs +++ b/testsuite/tests/indexed-types/should_fail/T4485.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} -- The behavior of type-inference and OverlappingInstances has changed -- between GHC 6.12 and GHC 7.0 such that the following code -- type-checks under 6.12, but not 7.0rc2. I assume this change has diff --git a/testsuite/tests/indexed-types/should_fail/T4485.stderr b/testsuite/tests/indexed-types/should_fail/T4485.stderr index bdf5218b42..a2b92b6361 100644 --- a/testsuite/tests/indexed-types/should_fail/T4485.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4485.stderr @@ -1,15 +1,15 @@ -T4485.hs:50:15: error: +T4485.hs:51:15: error: • Overlapping instances for EmbedAsChild (IdentityT IO) (XMLGenT m0 (XML m0)) arising from a use of ‘asChild’ Matching instances: instance [overlapping] (EmbedAsChild m c, m1 ~ m) => EmbedAsChild m (XMLGenT m1 c) - -- Defined at T4485.hs:28:30 + -- Defined at T4485.hs:29:30 instance [overlapping] EmbedAsChild (IdentityT IO) (XMLGenT Identity ()) - -- Defined at T4485.hs:45:30 + -- Defined at T4485.hs:46:30 (The choice depends on the instantiation of ‘m0’ To pick the first instance above, use IncoherentInstances when compiling the other instance declarations) @@ -18,12 +18,12 @@ T4485.hs:50:15: error: In an equation for ‘asChild’: asChild b = asChild $ (genElement "foo") -T4485.hs:50:26: error: +T4485.hs:51:26: error: • Ambiguous type variable ‘m0’ arising from a use of ‘genElement’ prevents the constraint ‘(XMLGen m0)’ from being solved. Probable fix: use a type annotation to specify what ‘m0’ should be. These potential instance exist: - instance XMLGen (IdentityT m) -- Defined at T4485.hs:37:10 + instance XMLGen (IdentityT m) -- Defined at T4485.hs:38:10 • In the second argument of ‘($)’, namely ‘(genElement "foo")’ In the expression: asChild $ (genElement "foo") In an equation for ‘asChild’: diff --git a/testsuite/tests/indexed-types/should_fail/T5439.hs b/testsuite/tests/indexed-types/should_fail/T5439.hs index dfcd399b4f..d5be550de5 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.hs +++ b/testsuite/tests/indexed-types/should_fail/T5439.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE UnicodeSyntax #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE EmptyDataDecls #-} diff --git a/testsuite/tests/indexed-types/should_fail/T5439.stderr b/testsuite/tests/indexed-types/should_fail/T5439.stderr index c7f230654e..fb38d71112 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5439.stderr @@ -1,5 +1,5 @@ -T5439.hs:82:33: error: +T5439.hs:83:33: error: • Couldn't match expected type: Attempt (HElemOf rs) with actual type: Attempt (HHead (HDrop n0 l0)) -> Attempt (HElemOf l0) @@ -13,15 +13,15 @@ T5439.hs:82:33: error: return $ c || not first • Relevant bindings include register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool - (bound at T5439.hs:64:9) + (bound at T5439.hs:65:9) ev :: f (Attempt (WaitOpResult (WaitOps rs))) - (bound at T5439.hs:61:22) - ops :: WaitOps rs (bound at T5439.hs:61:18) + (bound at T5439.hs:62:22) + ops :: WaitOps rs (bound at T5439.hs:62:18) registerWaitOp :: WaitOps rs -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool - (bound at T5439.hs:61:3) + (bound at T5439.hs:62:3) -T5439.hs:82:39: error: +T5439.hs:83:39: error: • Couldn't match expected type: Peano n0 with actual type: Attempt α0 • In the second argument of ‘($)’, namely diff --git a/testsuite/tests/indexed-types/should_fail/T9167.hs b/testsuite/tests/indexed-types/should_fail/T9167.hs index 2d2f555011..462959d22f 100644 --- a/testsuite/tests/indexed-types/should_fail/T9167.hs +++ b/testsuite/tests/indexed-types/should_fail/T9167.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T9167 where diff --git a/testsuite/tests/indexed-types/should_fail/T9167.stderr b/testsuite/tests/indexed-types/should_fail/T9167.stderr index 2c296793dc..8b08e4fddd 100644 --- a/testsuite/tests/indexed-types/should_fail/T9167.stderr +++ b/testsuite/tests/indexed-types/should_fail/T9167.stderr @@ -1,5 +1,5 @@ -T9167.hs:5:1: error: +T9167.hs:6:1: error: • The associated type ‘F b’ mentions none of the type or kind variables of the class ‘C a’ • In the class declaration for ‘C’ |