diff options
| author | Yury Delendik <ydelendik@mozilla.com> | 2019-09-12 07:35:32 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 07:35:32 -0500 |
| commit | 99bb044a796b3c4bd3c292c11092de0e21d59ea9 (patch) | |
| tree | d7ef95ff8f91856753ed944401dfaffc375670cb /src/type-checker.h | |
| parent | 3e938b7a10cc6738037dce5f18675cc5d267992d (diff) | |
| download | wabt-99bb044a796b3c4bd3c292c11092de0e21d59ea9.tar.gz wabt-99bb044a796b3c4bd3c292c11092de0e21d59ea9.tar.bz2 wabt-99bb044a796b3c4bd3c292c11092de0e21d59ea9.zip | |
Add ref.* to the (invoke) (#1156)
Diffstat (limited to 'src/type-checker.h')
| -rw-r--r-- | src/type-checker.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/type-checker.h b/src/type-checker.h index d0747b6b..dfaa9377 100644 --- a/src/type-checker.h +++ b/src/type-checker.h @@ -121,6 +121,8 @@ class TypeChecker { Result OnUnreachable(); Result EndFunction(); + static Result CheckType(Type actual, Type expected); + private: void WABT_PRINTF_FORMAT(2, 3) PrintError(const char* fmt, ...); Result TopLabel(Label** out_label); @@ -138,7 +140,6 @@ class TypeChecker { void PushType(Type type); void PushTypes(const TypeVector& types); Result CheckTypeStackEnd(const char* desc); - Result CheckType(Type actual, Type expected); Result CheckTypes(const TypeVector &actual, const TypeVector &expected); Result CheckSignature(const TypeVector& sig, const char* desc); Result CheckReturnSignature(const TypeVector& sig, const TypeVector &expected,const char *desc); |