Commit d02cd1a7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add :kind test in T7730

parent 6e8861c9
:set -XPolyKinds
data A x y
:i A
:kind A
:set -XExistentialQuantification
data T a = forall a . MkT a
:info T
type role A phantom phantom
data A (x :: k) (y :: k1)
-- Defined at <interactive>:3:1
A :: k -> k1 -> *
type role T phantom
data T (a :: k) where
MkT :: forall (k :: BOX) (a :: k) a1. a1 -> T a
-- Defined at <interactive>:7:1
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment