Commit 8d89d80d authored by thomie's avatar thomie

Testsuite: add test for #10781

parent e66daeca
module T10781 where
{- ghc-7.10.2 reported:
T10781.hs:6:5:
Found hole ‘_name’ with type: t
Where: ‘t’ is a rigid type variable bound by
the inferred type of f :: t at T10781.hs:6:1
Relevant bindings include f :: t (bound at T10781.hs:6:1)
In the expression: Foo._name
In an equation for ‘f’: f = Foo._name
-}
f = Foo._name
T10781.hs:12:5: error: Not in scope: ‘Foo._name’
......@@ -137,3 +137,4 @@ test('T9032',
test('T10618', normal, compile_fail, [''])
test('T10668', normal, compile_fail, [''])
test('T5001b', normal, compile_fail, [''])
test('T10781', 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