summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci.debugger/scripts/print008.script
blob: 3a6b2910ed5d6d4c1fcf72b750c551a730785148 (plain)
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