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