old/polycurry/test.icl

   1 module test
   2
   3 import StdMisc
   4
   5 :: T a = T a
   6
   7 class c a v :: a -> v Int
   8 instance c a T where c a = T 42
   9
  10 //fun :: v Int | c a v
  11 fun :: v Int | c Bool v
  12 fun = c True
  13
  14 Start :: T Int
  15 Start = fun