testsuite/tests/polykinds/T5935.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE PolyKinds,
             GADTs,
             DataKinds,
             KindSignatures
 #-}

module T5935 where

data SList a where
  SNil :: SList '[]

x :: SList ('[] :: [Bool])
x = SNil