blob: 78f81ef8d2f1ab226b79343ae76a996034bd00d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
data T a = MkT a
:type +v MkT
:set -XLinearTypes
:type +v MkT
:set -XGADTs
data T a where MkT :: a #-> a -> T a
:info T
data T a b m n r = MkT a b m n r
:set -fprint-explicit-foralls
-- check that user variables are not renamed (see dataConMulVars)
:type +v MkT
|
