testsuite/tests/partial-sigs/should_run/T15415.script


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

import Data.Proxy
:set -XPolyKinds
data Dependent a (x :: a)

:k Proxy _
:k Proxy (Maybe :: _)
:k Dependent _

:set -XPartialTypeSignatures
:k Proxy _
:k Proxy (Maybe :: _)
:k Dependent _

:set -fno-warn-partial-type-signatures
:k Proxy _
:k Proxy (Maybe :: _)
:k Dependent _