Commit 1dbc8d91 authored by thomie's avatar thomie

Add test for #10379

parent d935d209
{-# LANGUAGE KindSignatures, GADTs, DataKinds, TypeOperators #-}
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
......@@ -103,4 +103,5 @@ test('T9723b', normal, compile, [''])
test('T10188', normal, compile, [''])
test('VtaParse', normal, compile, [''])
test('T10196', normal, compile, [''])
test('T10379', normal, compile, [''])
test('T10582', expect_broken(10582), compile, [''])
Markdown is supported
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