old/overloading_tc/test.icl

   1 module test
   2
   3 import StdEnv
   4
   5 class type a | c1 a & TC a
   6
   7 class c1 a :: a -> Int
   8 class rtrn v :: v ()
   9 class arith v
  10 where
  11         (+.) :: (v a) (v a) -> (v a) | type, + a
  12
  13 //:: WMT = E.e v: WMT (v e) & type e & iTask e & rtrn v & arith v
  14 :: WMT = E.e v: WMT (v e) & type e & rtrn v & arith v
  15
  16 Start :: [WMT]
  17 Start =
  18         [undef
  19         ,undef
  20         ]