testsuite/tests/parser/should_compile/T10379.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE KindSignatures, GADTs, DataKinds #-}
module Foo where

data Foo1 :: [*] -> * where

-- ghc <= 7.10 reported (before "Add kind equalities to GHC"):
--
--     T10379.hs:9:16: parse error on input ‘]’
data Foo2 :: ([] *) -> * where