Turn Porffor.rawType into a macro

compiler/builtins.js

@@ -905,7 +905,7 @@ export const BuiltinFuncs = function() {
     }
   };
 
-  this.__Porffor_rawType = {
+  this.__Porffor_dyn_rawType = {
     params: [ valtypeBinary, Valtype.i32 ],
     typedParams: true,
     locals: [],

compiler/codegen.js

@@ -1440,7 +1440,7 @@ const getNodeType = (scope, node) => {
         if (scope.locals['#last_type']) return getLastType(scope);
 
         // presume
-        // todo: warn here?
+        if (Prefs.warnAssumedType) console.warn(`Dynamic call assumed to be number`);
         return TYPES.number;
       }
 
@@ -1478,7 +1478,8 @@ const getNodeType = (scope, node) => {
       if (scope.locals['#last_type']) return getLastType(scope);
 
       // presume
-      // todo: warn here?
+
+      if (Prefs.warnAssumedType) console.warn(`Call to ${name} assumed to be number`);
       return TYPES.number;
 
       // let protoFunc;
@@ -1587,6 +1588,7 @@ const getNodeType = (scope, node) => {
       if (scope.locals['#last_type']) return getLastType(scope);
 
       // presume
+      if (Prefs.warnAssumedType) console.warn(`Member access to field .${name} assumed to be number`);
       return TYPES.number;
     }
 
@@ -1618,7 +1620,7 @@ const getNodeType = (scope, node) => {
     if (scope.locals['#last_type']) return getLastType(scope);
 
     // presume
-    // todo: warn here?
+    if (Prefs.warnAssumedType) console.warn(`AST node ${node.type} assumed to be number`);
     return TYPES.number;
   })();
 
@@ -5423,6 +5425,28 @@ const internalConstrs = {
     type: TYPES.undefined,
     notConstr: true,
     length: 1
+  },
+
+  __Porffor_rawType: {
+    generate: (scope, decl) => {
+      const type = getNodeType(scope, decl.arguments[0]);
+      if (type) {
+        return [
+          ...type,
+          Opcodes.i32_from
+        ];
+      }
+      return generate(scope, {
+        type: "CallExpression",
+        callee: { type: "Identifier", name: "__Porffor_dyn_rawType" },
+        arguments: [
+          decl.arguments[0]
+        ]
+      });
+    },
+    type: TYPES.number,
+    notConstr: true,
+    length: 1
   }
 };