testsuite/tests/ghci.debugger/scripts/print016.script


1
2
3
4
5
6
7
8
9
10

-- Type reconstruction with newtypes involved, more gruesome. 

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test
let a = map MkT [1::Integer .. 2]
:p a
seq _t1 ()
:p a
seq _t2 ()
:p a