blob: eeceec2dde4e26265e7f98fabbb33842252f90c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE TypeFamilies #-}
-- submitted by g9ks157k@acme.softbase.org as #1713
module TypeFamilyBug where
import Data.Kind (Type)
type family TestFamily a :: Type
type instance TestFamily () = [()]
testFunction :: value -> TestFamily value -> ()
testFunction = const (const ())
testApplication :: ()
testApplication = testFunction () (return ())
|