testsuite/tests/indexed-types/should_fail/SimpleFail10.hs


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

{-# LANGUAGE TypeFamilies #-}

module ShouldFail where

class C8 a where
  data S8 a :: * -> *

instance C8 Int where
  data S8 Int a = S8Int a

-- must fail: extra arguments must be variables
instance C8 Bool where
  data S8 Bool Char = S8Bool