blob: 4b488fa867f1ebeb30910fe81e5b98f9c616abeb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-- Another tricky type reconstruction case
:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../Test
let o = O (map id [0..3])
:p o
seq _t1 ()
:p o
seq _t2 ()
length _t3
:p o
|