testsuite/tests/ghci.debugger/scripts/print034.script


1
2
3
4
5
6
7
8
9
10
11

-- More GADT goodness

:set -XGADTs -XRankNTypes -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l GADT
:a Test
:m +Main
let o = O (One False Main.Nil)
:p o
seq _t1 ()
:t _t1
:p o