blob: 51b44a6d67e10e933f0f9c1c7394626cc00c1d89 (
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,1],[2,2]])
:p t
:t _t1
seq _t1 ()
:p t
seq _t2 ()
:p t
:t _t4
|