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


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}

module ShouldFail where

import Data.Kind (Type)

-- must fail: defaults have no patterns
class C2 a b where
  type S2 a :: Type
  type S2 Int = Char