Commit f8ab5754 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Rename test for #11334 to 11334b, fixing conflict

parent 0b89064c
{-# LANGUAGE DataKinds, NoPolyKinds #-}
module T11334 where
module T11334b where
import Data.Functor.Compose
import Data.Proxy
......
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
......
......@@ -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, [''])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment