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


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

{-# LANGUAGE TypeFamilies #-}

module T4099 where

type family T a

foo :: T a -> Int
foo x = error "urk"

bar1 :: T b -> Int
bar1 x = foo x

bar2 :: Maybe b -> Int
bar2 x = foo x