Commit c357d332 authored by simonpj's avatar simonpj
Browse files

Add test for Trac #1465

parent 34366e9a
......@@ -167,3 +167,4 @@ test('tcfail178', normal, compile_fail, [''])
test('tcfail179', normal, compile_fail, [''])
test('tcfail180', normal, compile_fail, [''])
test('tcfail181', normal, compile_fail, [''])
test('tcfail182', normal, compile_fail, [''])
module Foo where
import qualified Prelude
import Prelude hiding( Maybe )
data Maybe a = Foo
f :: Prelude.Maybe a -> Int
f Foo = 3
Couldn't match expected type `Prelude.Maybe a'
against inferred type `Maybe a1'
`Prelude.Maybe' is defined in module `Data.Maybe' from package `base'
`Maybe' is defined in this module
In the pattern: Foo
In the definition of `f': f Foo = 3
Supports Markdown
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