Convert Type from an enum into a class (#1350)

This is similar to the way Opcode is structured, which allows us to hang
member functions off of the enumeration.

The primary motivator for this change is the GC proposal (and the
function-references proposal) where a Type can be parameterized:

     (type $T (struct ...))
     (func
       (local (ref $T)
       ...
     )

In this case the type is ref, with a parameter of the type index. Making
Type a class will make it easier to store this additional information.

1 files changed, 5 insertions, 5 deletions

diff --git a/src/shared-validator.cc b/src/shared-validator.cc
index e286dc96..16acb7c6 100644
--- a/src/shared-validator.cc
+++ b/src/shared-validator.cc
@@ -108,7 +108,7 @@ Result SharedValidator::OnTable(const Location& loc,
       !options_.features.reference_types_enabled()) {
     result |= PrintError(loc, "tables must have funcref type");
   }
-  if (!IsRefType(elem_type)) {
+  if (!elem_type.IsRef()) {
     result |= PrintError(loc, "tables must have reference types");
   }
 
@@ -160,7 +160,7 @@ Result SharedValidator::CheckType(const Location& loc,
                                   const char* desc) {
   if (Failed(TypeChecker::CheckType(actual, expected))) {
     PrintError(loc, "type mismatch at %s. got %s, expected %s", desc,
-               GetTypeName(actual), GetTypeName(expected));
+               actual.GetName(), expected.GetName());
     return Result::Error;
   }
   return Result::Ok;
@@ -501,8 +501,8 @@ Result SharedValidator::CheckBlockSignature(const Location& loc,
                                             TypeVector* out_result_types) {
   Result result = Result::Ok;
 
-  if (IsTypeIndex(sig_type)) {
-    Index sig_index = GetTypeIndex(sig_type);
+  if (sig_type.IsIndex()) {
+    Index sig_index = sig_type.GetIndex();
     FuncType func_type;
     result |= CheckTypeIndex(Var(sig_index, loc), &func_type);
 
@@ -520,7 +520,7 @@ Result SharedValidator::CheckBlockSignature(const Location& loc,
     *out_result_types = func_type.results;
   } else {
     out_param_types->clear();
-    *out_result_types = GetInlineTypeVector(sig_type);
+    *out_result_types = sig_type.GetInlineVector();
   }
 
   return result;