blob: a24a6a610e7ec5886f388fcf0ca2d9a9f76e7319 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
:set -XGADTs -XRankNTypes -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../GADT
:a ../Test
:m +Main
let o = O (id foo)
:p o
seq _t1 ()
:t _t1
:p o
seq _t4 ()
:p o
|