]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Proc2.scl
Merged changes from feature/scl to master.
[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / Proc2.scl
diff --git a/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Proc2.scl b/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Proc2.scl
deleted file mode 100644 (file)
index bd8021b..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-import "Prelude"\r
-\r
-data RealWorld = RealWorld\r
-data IO a = IO (RealWorld -> (RealWorld, a))\r
-\r
-@inline\r
-unIO (IO m) = m \r
-\r
-instance Functor IO where\r
-    @inline\r
-    fmap f x = x >>= (return . f)\r
-\r
-instance Monad IO where\r
-    @inline\r
-    return x = IO (\s -> (s, x))\r
-    \r
-    @inline\r
-    (IO m) >>= f = IO (\s -> do\r
-        (newS, v) = m s\r
-        unIO (f v) newS \r
-    )\r
-\r
-@inline\r
-runIO :: IO a -> a\r
-runIO m = snd (unIO m RealWorld)\r
-\r
-main = runIO (return (13 :: Integer))\r
---\r
-13\r