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


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

-- Type reconstruction with newtypes involved

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test

let i = map (Just . Just) [My 1 .. My 3]
:p i
seq _t1 ()
:p i
seq _t2 ()
:p i
seq _t4 ()
:p i