path: root/testsuite/tests/ghci.debugger/scripts/break006.script

:l Test3.hs
:st mymap (+1) [1::Integer,2,3]
:show bindings
f x -- should fail, unknown return type
let y = f x
y
:p y
:force y
:show bindings
-- we know the result is Integer now
f x
-- should work now