old/generic_constraints/test.icl

   1 module test
   2
   3 import StdGeneric
   4
   5 :: T a = T a & C a
   6
   7 class C a where c :: a -> Bool
   8 instance C Int where c _ = True
   9
  10 generic g a :: a -> Bool
  11 g{|Int|} _ = True
  12 g{|T|} ga (T a) = f a
  13
  14 f :: a -> Bool
  15 f _ = True
  16
  17 Start = g{|*|} (T 42)