ghc/compiler/tests/printing/Print001.hs

   1 --!!! Print001.hs: printing of types (esp for interfaces)
   2
   3 module Print001 where
   4
   5 data Foo d e f = MkFoo [((d->Int)->d)->e] (d->e, e->e) ()
   6 data Bar a = BarNil
   7            | BarCon (Foo a a a) (Bar a)
   8
   9 mkFoo = MkFoo
  10
  11 f :: Eq a => (a -> b -> c) -> (a -> b -> c)
  12 f x = x
  13
  14 f2 :: (Eq a, Ord a, Ix c) => (a -> b -> c) -> (a -> b -> c)
  15 f2 x = x
  16
  17 g :: Foo Int (a -> b) (a -> [(a, Double, Int)]) -> Float
  18 g x = 2.0