Commit 9a549756 authored by Richard Eisenberg's avatar Richard Eisenberg
Browse files

Test #11672 in typecheck/should_fail/T11672.

I believe this was fixed with the fix for #11198.
parent c9667d32
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
module BadError where
import GHC.TypeLits
import Data.Proxy
f :: Proxy (a :: Symbol) -> Int
f _ = f (Proxy :: Proxy (Int -> Bool))
T11672.hs:9:10: error:
• Couldn't match kind ‘Symbol’ with ‘*’
When matching types
a0 :: Symbol
Int -> Bool :: *
Expected type: Proxy a0
Actual type: Proxy (Int -> Bool)
• In the first argument of ‘f’, namely
‘(Proxy :: Proxy (Int -> Bool))’
In the expression: f (Proxy :: Proxy (Int -> Bool))
In an equation for ‘f’: f _ = f (Proxy :: Proxy (Int -> Bool))
T11672.hs:9:10: error:
• Couldn't match type ‘*’ with ‘Symbol’
Expected type: Proxy a0
Actual type: Proxy (Int -> Bool)
• In the first argument of ‘f’, namely
‘(Proxy :: Proxy (Int -> Bool))’
In the expression: f (Proxy :: Proxy (Int -> Bool))
In an equation for ‘f’: f _ = f (Proxy :: Proxy (Int -> Bool))
......@@ -449,3 +449,5 @@ test('T13983', normal, compile_fail, [''])
test('T13530', normal, compile_fail, [''])
test('T12373', normal, compile_fail, [''])
test('T13610', normal, compile_fail, [''])
test('T11672', 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