haye_test/test.icl

   1 module test
   2
   3 class Test sds
   4 where
   5         ttest :: sds -> (String, String)
   6
   7 :: ADT = E. sds: ADT (String sds -> Int) & Test sds
   8
   9 :: TestRecord = { bla2 :: ADT}
  10
  11 instance Test (String, String)
  12 where
  13                 ttest ss = ss
  14
  15 f :: (String, TestRecord)
  16 f = ("jaja", {TestRecord| bla2 =ADT \s sds -> 18})
  17
  18 Start = case f of
  19         ("jaja", {bla2}) = case bla2 of
  20                 (ADT ff) = ff "a" ("as", "bs")