dep/test.icl

   1 module test
   2
   3 import StdEnv
   4
   5 class plusa a b c :: a b -> c
   6 instance plusa Int Int Int where (plusa) x y = x + y
   7
   8 //Overloading error: internal overloading of "plusa" could not be solved
   9 //Start :: Int
  10 //Start = plusa 4 (plusa 4 4)
  11
  12 class plusb a b ~c :: a b -> c
  13 instance plusb Int Int Int where (plusb) x y = x + y
  14
  15 Start = plusb 4 (plusb 4 4)