Commit 0d13d1f3 authored by Katharina Ritter's avatar Katharina Ritter
Browse files

added TODOs to make current work visible

parent 660bc911
Pipeline #139218 failed with stages
in 38 minutes and 51 seconds
......@@ -57,7 +57,7 @@ type Addr = Int
type Env = HashMap Text Addr
type Store = HashMap Addr Val
type Exception = (Text,Val)
type AllocT c x y = ((StateT Int (State Int)) c)
type AllocT c x y = ((StateT Int (State Int)) c) --TODO: working on this atm
-- | The concrete interpreter of the while language instantiates
-- 'Generic.run' with the concrete components for failure ('FailureT'), store ('StoreT'),
......@@ -92,6 +92,7 @@ run1 env0 ss =
(->)))))) [Statement] ())
(M.empty,(M.fromList env0 ,(R.mkStdGen 0, generate <$> ss)))
--TODO: working on this atm
instance (ArrowChoice c, Profunctor c, ArrowFail String c, Fail.Join Addr c) => ArrowAlloc Addr Val (AllocT Addr Val c) where
--instance (ArrowChoice c, Profunctor c, ArrowFail String c, Fail.Join Addr c) => ArrowAlloc Addr Val (ValueT Val c) where
......
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