testsuite/tests/linear/should_run/LinearGhci.script


1
2
3
4
5
6
7
8
9
10
11

data T a = MkT a
:type MkT
:set -XLinearTypes
:type MkT
:set -XGADTs
data T a where MkT :: a %1 -> 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 MkT