testsuite/tests/polykinds/PolyKinds07.hs


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

{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE GADTs                      #-}

module PolyKinds07 where


data A = A1 | A2 (B 'B1)

data B a where
  B1 :: B 'A1

-- We correctly fail, but should probably provide a better error message