testsuite/tests/ghc-regress/ghci.debugger/scripts/print029.script


1
2
3
4
5
6
7
8
9
10

:l print029.hs
let a = MkT2 [Just (1::Int)]
a
:break f
f a
:step
-- Unsound! A false type is assigned to x
-- reconstructType decides to stop too soon because 
-- its BFS has recovered a monomorphic type
:p x