testsuite/tests/ghc-regress/indexed-types/should_fail/SimpleFail8.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies #-}

module ShouldFail where

-- must fail: C6 has no ATs S3 and Map
class C6 a

instance C6 Integer where
  data Map Integer v = MapInteger
  data S3 Integer = S3Integer