GitHub/haskell-wasm
1
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

more grammar fixes

Browse Source
This commit is contained in:
Ilya Rezvov
2021-04-04 17:28:16 -07:00
parent b1874dfcea
commit ea7769aa9f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Language/Wasm/Validate.hs
+3
View File
@@ -182,6 +182,7 @@ checkMemoryInstr size memarg = do
isMemArgValid size memarg isMemArgValid size memarg
Ctx { mems } <- ask Ctx { mems } <- ask
if length mems < 1 then throwError (MemoryIndexOutOfRange 0) else return () if length mems < 1 then throwError (MemoryIndexOutOfRange 0) else return ()
<<<<<<< HEAD
getBlockType :: BlockType -> Checker Arrow getBlockType :: BlockType -> Checker Arrow
getBlockType (Inline Nothing) = return $ empty ==> empty getBlockType (Inline Nothing) = return $ empty ==> empty
@@ -196,6 +197,8 @@ getResultType (Inline (Just valType)) = return [valType]
getResultType (TypeIndex typeIdx) = do getResultType (TypeIndex typeIdx) = do
Ctx { types } <- ask Ctx { types } <- ask
maybeToEither TypeIndexOutOfRange $ results <$> types !? typeIdx maybeToEither TypeIndexOutOfRange $ results <$> types !? typeIdx
=======
>>>>>>> 40291c3 (more grammar fixes)
getInstrType :: Instruction Natural -> Checker Arrow getInstrType :: Instruction Natural -> Checker Arrow
getInstrType Unreachable = return $ Any ==> Any getInstrType Unreachable = return $ Any ==> Any