Commit 21b32453 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #8649

parent e8529d31
data X = Y Int
let f (Y i) = i
data X = Y Int | Z String
f (Y 3)
Couldn't match expected type ‛Ghci1.X’
with actual type ‛X’
NB: ‛Ghci1.X’ is defined at <interactive>:2:1-14
‛X’ is defined at <interactive>:4:1-25
In the first argument of ‛f’, namely ‛(Y 3)’
In the expression: f (Y 3)
......@@ -163,3 +163,4 @@ test('T8535', normal, ghci_script, ['T8535.script'])
test('T8639', normal, ghci_script, ['T8639.script'])
test('T8640', normal, ghci_script, ['T8640.script'])
test('T8579', normal, ghci_script, ['T8579.script'])
test('T8649', normal, ghci_script, ['T8649.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