Commit fcb48a16 authored by Michal Terepeta's avatar Michal Terepeta Committed by waern
Browse files

Add a simple test for ticket #1595.

parent b47643f5
--
-- Check that we produce only one error message for each type
-- signature. See ticket #1595.
--
module T1595 where
foo1, bar1 :: DoesNotExist
foo1 = undefined
bar1 = undefined
class Test a where
foo2, bar2 :: a -> DoesNotExist
T1595.hs:8:15:
Not in scope: type constructor or class `DoesNotExist'
T1595.hs:13:22:
Not in scope: type constructor or class `DoesNotExist'
......@@ -198,6 +198,7 @@ test('tcfail203a', normal, compile_fail, [''])
test('tcfail204', normal, compile_fail, [''])
test('tcfail206', normal, compile_fail, [''])
test('T1595', normal, compile_fail, [''])
test('T1899', normal, compile_fail, [''])
test('T2126', normal, compile_fail, [''])
test('T2307', 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