Commit d71d9a9e authored by thomie's avatar thomie
Browse files

Testsuite: fix concprog002 (AMP)

Requires random to be installed.
parent 96de8098
...@@ -14,6 +14,13 @@ data ThreadTree req rsp m = ...@@ -14,6 +14,13 @@ data ThreadTree req rsp m =
---------------------------------- ----------------------------------
newtype ContM req rsp m a = ContM ((a-> ThreadTree req rsp m)-> ThreadTree req rsp m) newtype ContM req rsp m a = ContM ((a-> ThreadTree req rsp m)-> ThreadTree req rsp m)
instance Functor (ContM req rsp m) where
fmap = undefined
instance Applicative (ContM req rsp m) where
pure = undefined
(<*>) = undefined
instance Monad m => Monad (ContM req rsp m) where instance Monad m => Monad (ContM req rsp m) where
m >>= f = contmBind m f m >>= f = contmBind m f
return = contmReturn return = contmReturn
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment