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

rebase artefacts

Browse Source
This commit is contained in:
Ilya Rezvov
2021-04-04 17:34:03 -07:00
parent cd834466a4
commit fe83e2c1a3
1 changed files with 0 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Language/Wasm/Validate.hs
-17
View File
@@ -182,23 +182,6 @@ 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 (Inline Nothing) = return $ empty ==> empty
getBlockType (Inline (Just valType)) = return $ empty ==> valType
getBlockType (TypeIndex typeIdx) = do
Ctx { types } <- ask
maybeToEither TypeIndexOutOfRange $ asArrow <$> types !? typeIdx
getResultType :: BlockType -> Checker [ValueType]
getResultType (Inline Nothing) = return []
getResultType (Inline (Just valType)) = return [valType]
getResultType (TypeIndex typeIdx) = do
Ctx { types } <- ask
maybeToEither TypeIndexOutOfRange $ results <$> types !? typeIdx
=======
>>>>>>> 40291c3 (more grammar fixes)
getBlockType :: BlockType -> Checker Arrow getBlockType :: BlockType -> Checker Arrow
getBlockType (Inline Nothing) = return $ empty ==> empty getBlockType (Inline Nothing) = return $ empty ==> empty