blob: 6b6271ae8040d135535307e5188c4b7a3897f742 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- Simple Recovery of types - opaque types
:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test
let t = O (map Just [[1 :: Int,1],[2,2]])
:p t
-- should have bound _t1 now
:show bindings
seq _t1 ()
:p t
:show bindings
seq _t2 ()
:p t
seq _t4 ()
:p t
|
