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


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

--Handling of polymorphic types: 
-- testing that tyvars are instantiated to unknown

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test
let t = O (map Just [[1 :: Int,1],[2,2]])

:p t
:t _t1
seq _t1 ()
:p t
seq _t2 ()
:p t
:t _t4