Commit 84e1d6d4 authored by Simon Marlow's avatar Simon Marlow
Browse files

add a test to demonstrate a new bug

parent 4cbca0db
......@@ -31,3 +31,5 @@ test('dynbrk001', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_scr
test('dynbrk002', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['dynbrk002.script'])
test('dynbrk003', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['dynbrk003.script'])
test('dynbrk004', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['dynbrk004.script'])
test('result001', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['result001.script'])
f xs = case map id xs of
[] -> True
x:xs -> False
-- demonstrates that _result has the wrong type sometimes
:l result001
:b 1 20
f "abc"
-- _result :: Bool is wrong, should be [a]
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