old/dyn/test.icl

   1 module test
   2
   3 import StdEnv
   4
   5 :: Exist = E.e: Ex e & TC e & == e
   6
   7 Start = Ex 42 == Ex 42
   8
   9 instance == Exist
  10 where
  11         (==) (Ex e1) (Ex e2) = dynEq (dynamic e1) e2
  12
  13 dynEq :: Dynamic -> (a -> Bool) | TC, == a
  14 dynEq (a :: a^) = (==) a
  15 dynEq _ = const False