hotfix pure reducer

This commit is contained in:
Csaba Hruska 2018-02-18 14:18:27 +01:00
parent 8abeb788ec
commit 7209ba166f

View File

@ -97,6 +97,9 @@ evalSimpleExp env = \case
True -> modify' (\(StoreMap m s) -> StoreMap (IntMap.insert l v' m) s) >> return Unit
x -> error $ printf "evalSimpleExp - Update expected location, got: %s" (prettyDebug x)
SBlock a -> evalExp env a
e@ECase{} -> evalExp env e -- FIXME: this should not be here!!! please investigate.
x -> error $ printf "invalid simple expression %s" (prettyDebug x)
evalExp :: Env -> Exp -> GrinM Val