Commit ced56997 authored by simonmar's avatar simonmar
Browse files

[project @ 2005-02-28 12:05:45 by simonmar]

add type tidying test
parent 8a005152
...@@ -15,3 +15,4 @@ test('ghci010', skip, ghci_script, ['ghci010.script']) ...@@ -15,3 +15,4 @@ test('ghci010', skip, ghci_script, ['ghci010.script'])
test('ghci011', normal, ghci_script, ['ghci011.script']) test('ghci011', normal, ghci_script, ['ghci011.script'])
test('ghci012', normal, ghci_script, ['ghci012.script']) test('ghci012', normal, ghci_script, ['ghci012.script'])
test('ghci013', normal, ghci_script, ['ghci013.script'])
-- type-variable tidying problem in 6.4
-- incorrect type: (Monad m) => (m a, b) -> m b
-- correct type: (Monad m) => (m a, b) -> m b1
let f (a,b) = a >> undefined
:t f
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