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


1
2
3
4
5
6
7
8
9
10
11

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test
let a = O (id 'a')
let b = O (id "abc")
:p a
:p b
seq _t1 ()
:p _t1
:show bindings
_t2
-- _t2 cannot be printed, its type is still unknown