blob: 8544f46231f31bce40fe87a418905cef23bfd8ce (
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,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
:t _t7
|
