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


1
2
3
4
5
6
7
8
9
10
11
12

-- Another tricky type reconstruction case

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test

let o = O (map id [0..3])
:p o
seq _t1 ()
:p o
seq _t2 ()
length _t3
:p o