old/higher-order/test.icl

   1 module test
   2
   3 import StdGeneric
   4
   5 generic g a :: a
   6 g{|OBJECT|} g = OBJECT g
   7 g{|CONS|} g = CONS g
   8
   9 derive g T, S, Int
  10
  11 //kind *->*
  12 :: S a = S a
  13
  14 //kind (*->*)->*
  15 :: T a = T (a Int)
  16
  17 Start :: T S
  18 Start = g{|*|}