Commit 6889400b authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari

testsuite: Add test for #10249

Test Plan: Validate

Reviewers: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #10249
parent c766d53f
<interactive>:1:1: error:
• Found hole: _ :: t
Where: ‘t’ is a rigid type variable bound by
the inferred type of it :: t at <interactive>:1:1
• In the expression: _
In an equation for ‘it’: it = _
• Relevant bindings include it :: t (bound at <interactive>:1:1)
......@@ -268,3 +268,4 @@ test('T12523', normal, ghci_script, ['T12523.script'])
test('T12024', normal, ghci_script, ['T12024.script'])
test('T12447', expect_broken(12447), ghci_script, ['T12447.script'])
test('T12550', expect_broken(12550), ghci_script, ['T12550.script'])
test('T10249', normal, ghci_script, ['T10249.script'])
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