Commit 5eebd990 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #9318 in typecheck/should_fail/T9318

parent 786b62aa
{-# LANGUAGE TypeFamilies #-}
module T9318 where
type family F x
type instance F Int = Bool
foo :: F Int -> ()
foo True = ()
bar :: F Int -> ()
bar 'x' = ()
T9318.hs:12:5:
Couldn't match type ‘Bool’ with ‘Char’
Expected type: F Int
Actual type: Char
In the pattern: 'x'
In an equation for ‘bar’: bar 'x' = ()
......@@ -342,3 +342,4 @@ test('T9612', normal, compile_fail, [''])
test('T9634', normal, compile_fail, [''])
test('T9739', normal, compile_fail, [''])
test('T9774', normal, compile_fail, [''])
test('T9318', 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