testsuite/tests/printer/T20531.script


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

:set -XNoStarIsType
:load T20531_defs
:kind! L0
:kind! L1
:kind! L2
:kind! Tup0
:kind! Tup2
:kind! S
:kind! I
data MkT    -- introduce ambiguity
data a :& b -- introduce ambiguity
:kind! L0
:kind! L1
:kind! L2
:kind! Tup0
:kind! Tup2
:kind! S
:kind! I