parse externref elems, but fail on validation

This commit is contained in:
Ilya Rezvov
2022-06-06 18:41:22 -06:00
parent df15d3c4d1
commit 4e9105717b
3 changed files with 9 additions and 6 deletions
+2
View File
@@ -615,6 +615,8 @@ elemsShouldBeValid m@Module { elems, functions, tables, imports } =
where
isElemValid :: Ctx -> ElemSegment -> ValidationResult
isElemValid ctx (ElemSegment elemType mode elements) = do
unless (elemType == FuncRef)
$ throwError $ RefTypeMismatch FuncRef elemType
forM_ elements $ \elem -> runChecker ctx $ do
arr <- getExpressionType elem
isConstExpression elem