Test Trac #5515

testsuite/tests/indexed-types/should_fail/T5515.hs

+{-# LANGUAGE ConstraintKinds, FlexibleInstances, TypeFamilies,
+     MultiParamTypeClasses, FlexibleContexts, UndecidableInstances, ScopedTypeVariables #-}
+module T5515 where
+
+
+class ctx (Arg ctx) => Bome ctx where 
+  type BArg ctx
+instance ctx a => Bome ctx where 
+  type BArg ctx = a
+
+class C f a
+class C f (Arg f) => Some f where 
+  type Arg f
+instance C f a => Some f where 
+  type Arg f = a
+
+

testsuite/tests/indexed-types/should_fail/T5515.stderr

+
+T5515.hs:9:3:
+    The RHS of an associated type declaration mentions type variable `a'
+      All such variables must be bound on the LHS
+
+T5515.hs:15:3:
+    The RHS of an associated type declaration mentions type variable `a'
+      All such variables must be bound on the LHS

testsuite/tests/indexed-types/should_fail/all.T

@@ -71,3 +71,5 @@ test('T2664a', normal, compile, [''])
 test('T2544', normal, compile_fail, [''])
 test('T1897b', normal, compile_fail, [''])
 test('T5439', normal, compile_fail, [''])
+test('T5515', normal, compile_fail, [''])
+