ghc/tests/printing/should_compile/Print001.hs

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