blob: c0f8ae0aa4c010832266c54048443a47fdecb02f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-- Test type reconstruction of Constants
-- Found by Bernie Pope
:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test
:break poly
poly Unary
:p x
:t x
seq x ()
:p x
:t x
x
|