tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/SafeDynamic1.scl

   1 import "Prelude"
   2 import "SafeDynamic"
   3
   4 a = toSafeDynamic (1 :: Double)
   5 b = toSafeDynamic (2 :: Integer)
   6
   7 main = do
   8     print (fromSafeDynamic a :: Maybe Double)
   9     print (fromSafeDynamic a :: Maybe Integer)
  10     print (fromSafeDynamic b :: Maybe Double)
  11     print (fromSafeDynamic b :: Maybe Integer)
  12 ----
  13 Just 1.0
  14 Nothing
  15 Nothing
  16 Just 2
  17 ()