blob: aa62d172330d456d775f02c5e36628365d6aad11 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE KindSignatures, GADTs, DataKinds #-}
{-# OPTIONS -Wno-star-is-type #-}
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
|
