52ca7dc8576d298732ae07f3dfd525b1fbe65ba8
[ghc.git] / testsuite / tests / ghci.debugger / scripts / print008.script
1 --Handling of polymorphic types: 
2 -- testing that tyvars are instantiated to unknown
3
4 :set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
5 :l ../Test
6 let t = O (map Just [[1,1],[2,2]])
7
8 :p t
9 :t _t1
10 seq _t1 ()
11 :p t
12 seq _t2 ()
13 :p t
14 :t _t4