funcdeps/test.icl

   1 module test
   2
   3 import StdMisc
   4
   5 :: Zero = Zero
   6 :: Succ a = Succ
   7
   8 :: Ar3 a b c :== (a -> b -> c)
   9
  10 class C m :: (m b)
  11
  12 instance C ((->) a) where C = \x->undef
  13
  14 Start :: (a -> b -> c)
  15 Start = t
  16
  17 t :: (Ar3 a b c)
  18 t = C