Rename test for #11334 to 11334b, fixing conflict
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 19 Mar 2016 01:40:04 +0000 (21:40 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Mar 2016 16:16:11 +0000 (12:16 -0400)
testsuite/tests/dependent/should_fail/T11334b.hs [moved from testsuite/tests/dependent/should_fail/T11334.hs with 84% similarity]
testsuite/tests/dependent/should_fail/T11334b.stderr [moved from testsuite/tests/dependent/should_fail/T11334.stderr with 92% similarity]
testsuite/tests/dependent/should_fail/all.T

@@ -1,6 +1,6 @@
 {-# LANGUAGE DataKinds, NoPolyKinds #-}
 
-module T11334 where
+module T11334b where
 
 import Data.Functor.Compose
 import Data.Proxy
@@ -1,5 +1,5 @@
 
-T11334.hs:8:14: error:
+T11334b.hs:8:14: error:
     • Cannot default kind variable ‘f0’
       of kind: k0 -> *
       Perhaps enable PolyKinds or add a kind signature
@@ -7,7 +7,7 @@ T11334.hs:8:14: error:
       In the expression: Proxy :: Proxy Compose
       In an equation for ‘p’: p = Proxy :: Proxy Compose
 
-T11334.hs:8:14: error:
+T11334b.hs:8:14: error:
     • Cannot default kind variable ‘g0’
       of kind: k10 -> k0
       Perhaps enable PolyKinds or add a kind signature
@@ -15,7 +15,7 @@ T11334.hs:8:14: error:
       In the expression: Proxy :: Proxy Compose
       In an equation for ‘p’: p = Proxy :: Proxy Compose
 
-T11334.hs:8:14: error:
+T11334b.hs:8:14: error:
     • Cannot default kind variable ‘a0’
       of kind: k10
       Perhaps enable PolyKinds or add a kind signature
index 9565bc0..e2777a4 100644 (file)
@@ -9,7 +9,7 @@ test('SelfDep', normal, compile_fail, [''])
 test('BadTelescope4', normal, compile_fail, [''])
 test('RenamingStar', normal, compile_fail, [''])
 test('T11407', normal, compile_fail, [''])
-test('T11334', normal, compile_fail, [''])
+test('T11334b', normal, compile_fail, [''])
 test('InferDependency', normal, compile_fail, [''])
 test('KindLevelsB', normal, compile_fail, [''])
 test('T11473', normal, compile_fail, [''])