constructordynamic/test.icl

   1 module test
   2
   3 import StdEnv, StdMaybe
   4
   5 Start :: (Maybe Int, Maybe (Maybe Int))
   6 Start = (id (dynamic 42), kid (dynamic (Just 42)))
   7
   8 id :: Dynamic -> Maybe m | TC m
   9 id (m :: m^) = Just m
  10 id _ = Nothing
  11
  12 kid :: Dynamic -> Maybe (m a) | TC (m a)
  13 kid (m :: (m a)^)) = Just m
  14 kid _ = Nothing