blob: 95f37ff18d9df20aad2211bc458344ae92a5e4fe (
plain)
1
2
3
4
5
6
7
8
|
-- Another type reconstruction with newtypes test
:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../Test
let a = MkT [1::Integer .. 2]
seq a ()
:p a
|