Commit 5d9bd0e6 authored by Katharina Brandl's avatar Katharina Brandl
Browse files

small layout fixes

parent eba6333c
Pipeline #136416 failed with stages
in 76 minutes and 53 seconds
......@@ -16,3 +16,4 @@ scheme/graph_files/gabriel/*.png
scheme/graph_files/scala-am/*.png
node_modules/
*.yaml.lock
hie.yaml
......@@ -88,16 +88,6 @@ instance (ArrowChoice c, Profunctor c) => ArrowMemory Word32 (Vector Word8) Int
memgrow (MemoryT _) (MemoryT eCont) = MemoryT $ proc (_,_,x) -> do
-- TODO: allow to grow the memory
eCont -< x
-- mems <- get -< ()
-- let (MemInst maxSize vec) = mems ! memIndex
-- let oldSize = (length vec) `quot` pageSize
-- if (oldSize + sz > maxSize)
-- then eCont -< x
-- -- we don't allow to grow memory so far -> TODO
-- else eCont -< x
-- -- TODO: grow memory
-- -- return old size
-- --sCont -< (oldSize,x)
instance (ArrowChoice c, Profunctor c) => ArrowSize Value Int (MemoryT c) where
valToSize = proc (Value v) -> case v of
......
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