fix tee_local semantic

This commit is contained in:
Ilya Rezvov
2018-04-10 21:59:54 -07:00
parent c644578d8b
commit e0d9eeb51f
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -593,7 +593,7 @@ eval store FunctionInstance { funcType, moduleInstance, code = Function { localT
return $ Done ctx { stack = rest, locals = locals ctx // [(fromIntegral i, v)] }
step ctx@EvalCtx{ locals = ls, stack = (v:rest) } (TeeLocal i) =
return $ Done ctx {
stack = (ls ! fromIntegral i) : rest,
stack = v : rest,
locals = locals ctx // [(fromIntegral i, v)]
}
step ctx (GetGlobal i) = do