porffor 0.55.31 → 0.55.33

package/compiler/builtins/object.ts

@@ -7,9 +7,9 @@ export const Object = function (value: any): any {
   }
 
   // primitives into primitive objects
-  if ((Porffor.rawType(value) | 0b10000000) == Porffor.TYPES.bytestring) return new String(value);
-  if (Porffor.rawType(value) == Porffor.TYPES.number) return new Number(value);
-  if (Porffor.rawType(value) == Porffor.TYPES.boolean) return new Boolean(value);
+  if ((Porffor.type(value) | 0b10000000) == Porffor.TYPES.bytestring) return new String(value);
+  if (Porffor.type(value) == Porffor.TYPES.number) return new Number(value);
+  if (Porffor.type(value) == Porffor.TYPES.boolean) return new Boolean(value);
 
   // return input
   return value;
@@ -20,7 +20,7 @@ export const __Object_keys = (obj: any): any[] => {
   const out: any[] = Porffor.allocate();
 
   obj = __Porffor_object_underlying(obj);
-  const t: i32 = Porffor.rawType(obj);
+  const t: i32 = Porffor.type(obj);
   if (t == Porffor.TYPES.object) {
     let ptr: i32 = Porffor.wasm`local.get ${obj}` + 8;
     const endPtr: i32 = ptr + Porffor.wasm.i32.load16_u(obj, 0, 0) * 18;
@@ -76,7 +76,7 @@ export const __Object_values = (obj: any): any[] => {
   const out: any[] = Porffor.allocate();
 
   obj = __Porffor_object_underlying(obj);
-  const t: i32 = Porffor.rawType(obj);
+  const t: i32 = Porffor.type(obj);
   if (t == Porffor.TYPES.object) {
     let ptr: i32 = Porffor.wasm`local.get ${obj}` + 8;
     const endPtr: i32 = ptr + Porffor.wasm.i32.load16_u(obj, 0, 0) * 18;
@@ -146,13 +146,13 @@ export const __Object_prototype_hasOwnProperty = (_this: any, prop: any) => {
   if (_this == null) throw new TypeError('Argument is nullish, expected object');
   const p: any = ecma262.ToPropertyKey(prop);
 
-  const t: i32 = Porffor.rawType(_this);
+  const t: i32 = Porffor.type(_this);
   if (t == Porffor.TYPES.object) {
     return Porffor.object.lookup(_this, p, __Porffor_object_hash(p)) != -1;
   }
 
   const obj: any = __Porffor_object_underlying(_this);
-  if (Porffor.rawType(obj) == Porffor.TYPES.object) {
+  if (Porffor.type(obj) == Porffor.TYPES.object) {
     if (Porffor.object.lookup(obj, p, __Porffor_object_hash(p)) != -1) return true;
   }
 
@@ -173,7 +173,7 @@ export const __Porffor_object_in = (obj: any, prop: any): boolean => {
 
   let lastProto = obj;
   while (true) {
-    obj = Porffor.object.getPrototypeWithHidden(obj, Porffor.rawType(obj));
+    obj = Porffor.object.getPrototypeWithHidden(obj, Porffor.type(obj));
     if (Porffor.fastOr(obj == null, Porffor.wasm`local.get ${obj}` == Porffor.wasm`local.get ${lastProto}`)) break;
 
     if (__Object_prototype_hasOwnProperty(obj, prop)) return true;
@@ -184,7 +184,7 @@ export const __Porffor_object_in = (obj: any, prop: any): boolean => {
 };
 
 export const __Porffor_object_instanceof = (obj: any, constr: any, checkProto: any): boolean => {
-  if (Porffor.rawType(constr) != Porffor.TYPES.function) {
+  if (Porffor.type(constr) != Porffor.TYPES.function) {
     throw new TypeError('instanceof right-hand side is not a function');
   }
 
@@ -194,7 +194,7 @@ export const __Porffor_object_instanceof = (obj: any, constr: any, checkProto: a
 
   let lastProto = obj;
   while (true) {
-    obj = Porffor.object.getPrototypeWithHidden(obj, Porffor.rawType(obj));
+    obj = Porffor.object.getPrototypeWithHidden(obj, Porffor.type(obj));
     if (Porffor.fastOr(obj == null, Porffor.wasm`local.get ${obj}` == Porffor.wasm`local.get ${lastProto}`)) break;
 
     if (obj === checkProto) return true;
@@ -240,7 +240,7 @@ export const __Object_prototype_propertyIsEnumerable = (_this: any, prop: any) =
 
   const p: any = ecma262.ToPropertyKey(prop);
 
-  if (Porffor.rawType(_this) == Porffor.TYPES.object) {
+  if (Porffor.type(_this) == Porffor.TYPES.object) {
     const entryPtr: i32 = Porffor.object.lookup(_this, p, __Porffor_object_hash(p));
     if (entryPtr == -1) return false;
 
@@ -248,7 +248,7 @@ export const __Object_prototype_propertyIsEnumerable = (_this: any, prop: any) =
   }
 
   const obj: any = __Porffor_object_underlying(_this);
-  if (Porffor.rawType(obj) == Porffor.TYPES.object) {
+  if (Porffor.type(obj) == Porffor.TYPES.object) {
     const entryPtr: i32 = Porffor.object.lookup(obj, p, __Porffor_object_hash(p));
     if (entryPtr != -1) return Porffor.object.isEnumerable(entryPtr);
   }
@@ -269,7 +269,7 @@ export const __Object_is = (x: any, y: any): boolean => {
   }
 
   // check NaN
-  if (Porffor.rawType(x) == Porffor.TYPES.number && Number.isNaN(x)) {
+  if (Porffor.type(x) == Porffor.TYPES.number && Number.isNaN(x)) {
     return Number.isNaN(y);
   }
 
@@ -347,7 +347,7 @@ export const __Object_getOwnPropertyDescriptor = (obj: any, prop: any): object|u
 
   const entryPtr: i32 = Porffor.object.lookup(obj, p, __Porffor_object_hash(p));
   if (entryPtr == -1) {
-    if (Porffor.rawType(obj) == Porffor.TYPES.function) {
+    if (Porffor.type(obj) == Porffor.TYPES.function) {
       // hack: function .name and .length
       const v = obj[p];
       if (v != null) {
@@ -394,9 +394,9 @@ local.set ${value+1}`;
 export const __Object_getOwnPropertyDescriptors = (obj: any): object => {
   const out: object = {};
 
-  if (Porffor.rawType(obj) != Porffor.TYPES.object) {
+  if (Porffor.type(obj) != Porffor.TYPES.object) {
     obj = __Porffor_object_underlying(obj);
-    if (Porffor.rawType(obj) != Porffor.TYPES.object) return out;
+    if (Porffor.type(obj) != Porffor.TYPES.object) return out;
   }
 
   const keys: any[] = Reflect.ownKeys(obj);
@@ -413,7 +413,7 @@ export const __Object_getOwnPropertyNames = (obj: any): any[] => {
   const out: any[] = Porffor.allocate();
 
   obj = __Porffor_object_underlying(obj);
-  const t: i32 = Porffor.rawType(obj);
+  const t: i32 = Porffor.type(obj);
   if (t == Porffor.TYPES.object) {
     let ptr: i32 = Porffor.wasm`local.get ${obj}` + 8;
     const endPtr: i32 = ptr + Porffor.wasm.i32.load16_u(obj, 0, 0) * 18;
@@ -453,7 +453,7 @@ end
 i32.from_u
 local.set ${key}`;
 
-      if (Porffor.rawType(key) == Porffor.TYPES.symbol) continue;
+      if (Porffor.type(key) == Porffor.TYPES.symbol) continue;
       out[i++] = key;
     }
 
@@ -468,7 +468,7 @@ export const __Object_getOwnPropertySymbols = (obj: any): any[] => {
   const out: any[] = Porffor.allocate();
 
   obj = __Porffor_object_underlying(obj);
-  const t: i32 = Porffor.rawType(obj);
+  const t: i32 = Porffor.type(obj);
   if (t == Porffor.TYPES.object) {
     let ptr: i32 = Porffor.wasm`local.get ${obj}` + 8;
     const endPtr: i32 = ptr + Porffor.wasm.i32.load16_u(obj, 0, 0) * 18;
@@ -508,7 +508,7 @@ end
 i32.from_u
 local.set ${key}`;
 
-      if (Porffor.rawType(key) != Porffor.TYPES.symbol) continue;
+      if (Porffor.type(key) != Porffor.TYPES.symbol) continue;
       out[i++] = key;
     }
 
@@ -523,7 +523,7 @@ export const __Object_defineProperty = (target: any, prop: any, desc: any): any
   if (!Porffor.object.isObject(target)) throw new TypeError('Target is a non-object');
   if (!Porffor.object.isObject(desc)) throw new TypeError('Descriptor is a non-object');
 
-  if (Porffor.rawType(target) == Porffor.TYPES.array) {
+  if (Porffor.type(target) == Porffor.TYPES.array) {
     if (prop === 'length' && __Object_hasOwn(desc, 'value')) {
       const v: any = desc.value;
       const n: number = ecma262.ToNumber(v);
@@ -558,8 +558,8 @@ export const __Object_defineProperty = (target: any, prop: any, desc: any): any
 
   // todo: should check if has attributes not if undefined
   if (get !== undefined || set !== undefined) {
-    if (get !== undefined && Porffor.rawType(get) != Porffor.TYPES.function) throw new TypeError('Getter must be a function');
-    if (set !== undefined && Porffor.rawType(set) != Porffor.TYPES.function) throw new TypeError('Setter must be a function');
+    if (get !== undefined && Porffor.type(get) != Porffor.TYPES.function) throw new TypeError('Getter must be a function');
+    if (set !== undefined && Porffor.type(set) != Porffor.TYPES.function) throw new TypeError('Setter must be a function');
 
     if (value !== undefined || writable !== undefined) {
       throw new TypeError('Descriptor cannot define both accessor and data descriptor attributes');
@@ -640,7 +640,7 @@ export const __Object_groupBy = (items: any, callbackFn: any): object => {
 
 export const __Object_getPrototypeOf = (obj: any): any => {
   if (obj == null) throw new TypeError('Object is nullish, expected object');
-  return Porffor.object.getPrototypeWithHidden(obj, Porffor.rawType(obj));
+  return Porffor.object.getPrototypeWithHidden(obj, Porffor.type(obj));
 };
 
 export const __Object_setPrototypeOf = (obj: any, proto: any): any => {
@@ -657,22 +657,22 @@ export const __Object_prototype_isPrototypeOf = (_this: any, obj: any) => {
   if (_this == null) throw new TypeError('This is nullish, expected object');
 
   if (!Porffor.object.isObject(obj)) return false;
-  return _this == Porffor.object.getPrototypeWithHidden(obj, Porffor.rawType(obj));
+  return _this == Porffor.object.getPrototypeWithHidden(obj, Porffor.type(obj));
 };
 
 
 export const __Object_prototype_toString = (_this: any) => {
-  if (Porffor.rawType(_this) == Porffor.TYPES.object) {
+  if (Porffor.type(_this) == Porffor.TYPES.object) {
     // todo: breaks with Foo.prototype
     const obj: object = _this;
     if (obj != null) {
       let ovr: any = obj.toString;
-      if (Porffor.rawType(ovr) == Porffor.TYPES.function && ovr != __Object_prototype_toString) return ovr.call(_this);
+      if (Porffor.type(ovr) == Porffor.TYPES.function && ovr != __Object_prototype_toString) return ovr.call(_this);
 
       const entryPtr: i32 = Porffor.object.lookup(obj, 'toString', __Porffor_object_hash('toString')); // todo: comptime
       if (entryPtr != -1) {
         ovr = Porffor.object.readValue(entryPtr);
-        if (Porffor.rawType(ovr) == Porffor.TYPES.function) return ovr.call(_this);
+        if (Porffor.type(ovr) == Porffor.TYPES.function) return ovr.call(_this);
           else return undefined;
       }
     }
@@ -686,7 +686,7 @@ export const __Object_prototype_toString = (_this: any) => {
 
   // todo: toStringTag support
 
-  const t: i32 = Porffor.rawType(_this);
+  const t: i32 = Porffor.type(_this);
   if (t == Porffor.TYPES.array) return '[object Array]';
   if (t == Porffor.TYPES.function) return '[object Function]';
   if (Porffor.fastOr(
@@ -709,17 +709,17 @@ export const __Object_prototype_toLocaleString = (_this: any) => __Object_protot
 
 export const __Object_prototype_valueOf = (_this: any) => {
   // todo: ToObject
-  if (Porffor.rawType(_this) == Porffor.TYPES.object) {
+  if (Porffor.type(_this) == Porffor.TYPES.object) {
     // todo: breaks with Foo.prototype
     const obj: object = _this;
     if (obj != null) {
       let ovr: any = obj.valueOf;
-      if (Porffor.rawType(ovr) == Porffor.TYPES.function && ovr != __Object_prototype_valueOf) return ovr.call(_this);
+      if (Porffor.type(ovr) == Porffor.TYPES.function && ovr != __Object_prototype_valueOf) return ovr.call(_this);
 
       const entryPtr: i32 = Porffor.object.lookup(obj, 'valueOf', __Porffor_object_hash('valueOf')); // todo: comptime
       if (entryPtr != -1) {
         ovr = Porffor.object.readValue(entryPtr);
-        if (Porffor.rawType(ovr) == Porffor.TYPES.function) return ovr.call(_this);
+        if (Porffor.type(ovr) == Porffor.TYPES.function) return ovr.call(_this);
           else return undefined;
       }
     }

package/compiler/builtins/object_prototypeWithHidden.js

@@ -2,7 +2,7 @@ export default ({ TYPES, TYPE_NAMES }) => {
   let out = `// @porf --valtype=i32
 export const __Porffor_object_getPrototypeWithHidden = (obj: any, trueType: i32): any => {
   const objectProto: any = __Porffor_object_getPrototype(obj);
-  if (Porffor.rawType(objectProto) == Porffor.TYPES.empty) {
+  if (Porffor.type(objectProto) == Porffor.TYPES.empty) {
     if (Porffor.comptime.flag\`hasFunc.#get___String_prototype\`) {
       if (Porffor.fastOr(
         trueType == Porffor.TYPES.string,

package/compiler/builtins/porffor.d.ts

@@ -23,6 +23,7 @@ type PorfforGlobal = {
     f64: {
       load(pointer: any, align: i32, offset: i32): i32;
       store(pointer: any, value: f64, align: i32, offset: i32): f64;
+      eq(a: f64, b: f64): boolean;
     }
   }
 
@@ -57,7 +58,7 @@ type PorfforGlobal = {
     lookup(obj: object, target: any): i32;
     get(obj: any, key: any): any;
 
-    writeKey(ptr: i32, key: any): void;
+    writeKey(ptr: i32, key: any, hash: i32): void;
     set(obj: object, key: any, value: any): any;
     define(obj: object, key: any, value: any, flags: i32): void;
     delete(obj: object, key: any): boolean;
@@ -97,8 +98,8 @@ type PorfforGlobal = {
 
   randomByte(): i32;
 
-  type(x: any): bytestring;
-  rawType(x: any): i32;
+  type(x: any): i32;
+  typeName(type: i32): bytestring;
   TYPES: {
     number: i32;
     boolean: i32;

package/compiler/builtins/promise.ts

@@ -31,7 +31,7 @@ export const __ecma262_TriggerPromiseReactions = (reactions: any[], argument: an
 // https://tc39.es/ecma262/#sec-ispromise
 export const __ecma262_IsPromise = (x: any): boolean => {
   // custom impl
-  return Porffor.rawType(x) == Porffor.TYPES.promise;
+  return Porffor.type(x) == Porffor.TYPES.promise;
 };
 
 // 27.2.1.4 FulfillPromise (promise, value)
@@ -227,7 +227,7 @@ export const __Porffor_promise_rejectActive = (reason: any): void => __Porffor_p
 
 export const Promise = function (executor: any): Promise {
   if (!new.target) throw new TypeError("Constructor Promise requires 'new'");
-  if (Porffor.rawType(executor) != Porffor.TYPES.function) throw new TypeError('Promise executor is not a function');
+  if (Porffor.type(executor) != Porffor.TYPES.function) throw new TypeError('Promise executor is not a function');
 
   const obj: any[] = __Porffor_promise_create();
   activePromise = obj;
@@ -279,8 +279,8 @@ export const __Promise_prototype_then = (_this: any, onFulfilled: any, onRejecte
   // 2. If IsPromise(promise) is false, throw a TypeError exception.
   if (!__ecma262_IsPromise(_this)) throw new TypeError('Promise.prototype.then called on non-Promise');
 
-  if (Porffor.rawType(onFulfilled) != Porffor.TYPES.function) onFulfilled = __Porffor_promise_noop;
-  if (Porffor.rawType(onRejected) != Porffor.TYPES.function) onRejected = __Porffor_promise_noop;
+  if (Porffor.type(onFulfilled) != Porffor.TYPES.function) onFulfilled = __Porffor_promise_noop;
+  if (Porffor.type(onRejected) != Porffor.TYPES.function) onRejected = __Porffor_promise_noop;
 
   const outPromise: any[] = __Porffor_promise_create();
 
@@ -304,7 +304,7 @@ export const __Promise_prototype_finally = (_this: any, onFinally: any) => {
   // custom impl based on then but also not (sorry)
   if (!__ecma262_IsPromise(_this)) throw new TypeError('Promise.prototype.then called on non-Promise');
 
-  if (Porffor.rawType(onFinally) != Porffor.TYPES.function) onFinally = __Porffor_promise_noop;
+  if (Porffor.type(onFinally) != Porffor.TYPES.function) onFinally = __Porffor_promise_noop;
 
   const promise: any[] = _this;
   const state: i32 = promise[1];
@@ -472,7 +472,7 @@ export const __Promise_prototype_toLocaleString = (_this: any) => __Promise_prot
 
 
 export const __Porffor_promise_await = (value: any): any => {
-  if (Porffor.rawType(value) != Porffor.TYPES.promise) return value;
+  if (Porffor.type(value) != Porffor.TYPES.promise) return value;
 
   // hack: peek value instead of awaiting
   const state: i32 = (value as any[])[1];

package/compiler/builtins/reflect.ts

@@ -89,7 +89,7 @@ export const __Reflect_ownKeys = (target: any) => {
   const out: any[] = Porffor.allocate();
 
   target = __Porffor_object_underlying(target);
-  const t: i32 = Porffor.rawType(target);
+  const t: i32 = Porffor.type(target);
   if (t == Porffor.TYPES.object) {
     let ptr: i32 = Porffor.wasm`local.get ${target}` + 8;
     const endPtr: i32 = ptr + Porffor.wasm.i32.load16_u(target, 0, 0) * 18;

package/compiler/builtins/set.ts

@@ -172,7 +172,7 @@ export const Set = function (iterable: any): Set {
 };
 
 export const __Set_prototype_union = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   const out: Set = new Set(_this);
   for (const x of other) {
@@ -183,7 +183,7 @@ export const __Set_prototype_union = (_this: Set, other: any) => {
 };
 
 export const __Set_prototype_intersection = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   const out: Set = new Set(_this);
   for (const x of other) {
@@ -194,7 +194,7 @@ export const __Set_prototype_intersection = (_this: Set, other: any) => {
 };
 
 export const __Set_prototype_difference = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   const out: Set = new Set(_this);
   for (const x of other) {
@@ -205,7 +205,7 @@ export const __Set_prototype_difference = (_this: Set, other: any) => {
 };
 
 export const __Set_prototype_symmetricDifference = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   const out: Set = new Set(_this);
   for (const x of other) {
@@ -217,7 +217,7 @@ export const __Set_prototype_symmetricDifference = (_this: Set, other: any) => {
 };
 
 export const __Set_prototype_isSubsetOf = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   for (const x of _this) {
     if (!other.has(x)) return false;
@@ -227,7 +227,7 @@ export const __Set_prototype_isSubsetOf = (_this: Set, other: any) => {
 };
 
 export const __Set_prototype_isSupersetOf = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   for (const x of other) {
     if (!_this.has(x)) return false;
@@ -237,7 +237,7 @@ export const __Set_prototype_isSupersetOf = (_this: Set, other: any) => {
 };
 
 export const __Set_prototype_isDisjointFrom = (_this: Set, other: any) => {
-  if (Porffor.rawType(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
+  if (Porffor.type(other) != Porffor.TYPES.set) throw new TypeError('other argument must be a Set');
 
   for (const x of _this) {
     if (other.has(x)) return false;

package/compiler/builtins/string_f64.ts

@@ -14,7 +14,7 @@ export const String = function (...args: any[]): string|bytestring|StringObject
     const value: any = args[0];
 
     // a. If NewTarget is undefined and value is a Symbol, return SymbolDescriptiveString(value).
-    if (!new.target && Porffor.rawType(value) == Porffor.TYPES.symbol) return __Symbol_prototype_toString(value);
+    if (!new.target && Porffor.type(value) == Porffor.TYPES.symbol) return __Symbol_prototype_toString(value);
 
     // b. Let s be ? ToString(value).
     s = ecma262.ToString(value);
@@ -26,7 +26,7 @@ export const String = function (...args: any[]): string|bytestring|StringObject
   // 4. Return StringCreate(s, ? GetPrototypeFromConstructor(NewTarget, "%String.prototype%")).
 
   // force bytestrings to strings
-  if (Porffor.rawType(s) == Porffor.TYPES.bytestring) s = Porffor.bytestringToString(s, s.length);
+  if (Porffor.type(s) == Porffor.TYPES.bytestring) s = Porffor.bytestringToString(s, s.length);
 
   return s as StringObject;
 };

package/compiler/builtins/symbol.ts

@@ -12,7 +12,7 @@ export const Symbol = (description: any): Symbol => {
   let descString: any = undefined;
 
   // 3. Else, let descString be ? ToString(description).
-  if (Porffor.rawType(description) != Porffor.TYPES.undefined) {
+  if (Porffor.type(description) != Porffor.TYPES.undefined) {
     descString = ecma262.ToString(description);
   }
 
@@ -74,7 +74,7 @@ export const __Symbol_for = (key: any): Symbol => {
 };
 
 export const __Symbol_keyFor = (arg: any): any => {
-  if (Porffor.rawType(arg) != Porffor.TYPES.symbol) throw new TypeError('Symbol.keyFor argument should be a Symbol');
+  if (Porffor.type(arg) != Porffor.TYPES.symbol) throw new TypeError('Symbol.keyFor argument should be a Symbol');
 
   const sym: Symbol = arg;
   const desc: any = sym.description;

package/compiler/builtins/typedarray.js

@@ -18,7 +18,7 @@ export default async () => {
   let len: i32 = 0;
   let bufferPtr: i32;
 
-  const type: i32 = Porffor.rawType(arg);
+  const type: i32 = Porffor.type(arg);
   if (Porffor.fastOr(
     type == Porffor.TYPES.arraybuffer,
     type == Porffor.TYPES.sharedarraybuffer
@@ -28,13 +28,13 @@ export default async () => {
     if (arg.detached) throw new TypeError('Constructed ${name} with a detached ArrayBuffer');
 
     let offset: i32 = 0;
-    if (Porffor.rawType(byteOffset) != Porffor.TYPES.undefined) offset = Math.trunc(byteOffset);
+    if (Porffor.type(byteOffset) != Porffor.TYPES.undefined) offset = Math.trunc(byteOffset);
     if (offset < 0) throw new RangeError('Invalid DataView byte offset (negative)');
 
     Porffor.wasm.i32.store(outPtr, offset, 0, 8);
     Porffor.wasm.i32.store(outPtr, bufferPtr + offset, 0, 4);
 
-    if (Porffor.rawType(length) == Porffor.TYPES.undefined) {
+    if (Porffor.type(length) == Porffor.TYPES.undefined) {
       const bufferLen: i32 = Porffor.wasm.i32.load(bufferPtr, 0, 0);
       len = (bufferLen - byteOffset) / ${name}.BYTES_PER_ELEMENT;
 
@@ -75,18 +75,18 @@ export const __${name}_from = (arg: any, mapFn: any): ${name} => {
   const arr: any[] = Porffor.allocate();
   let len: i32 = 0;
 
-  const type = Porffor.rawType(arg);
+  const type = Porffor.type(arg);
   if (Porffor.fastOr(
     type == Porffor.TYPES.array,
     type == Porffor.TYPES.string, type == Porffor.TYPES.bytestring,
     type == Porffor.TYPES.set,
     Porffor.fastAnd(type >= Porffor.TYPES.uint8array, type <= Porffor.TYPES.float64array)
   )) {
-    const hasMapFn = Porffor.rawType(mapFn) != Porffor.TYPES.undefined;
+    const hasMapFn = Porffor.type(mapFn) != Porffor.TYPES.undefined;
 
     let i: i32 = 0;
     if (hasMapFn) {
-      if (Porffor.rawType(mapFn) != Porffor.TYPES.function) throw new TypeError('Called Array.from with a non-function mapFn');
+      if (Porffor.type(mapFn) != Porffor.TYPES.function) throw new TypeError('Called Array.from with a non-function mapFn');
 
       for (const x of arg) {
         arr[i] = mapFn(x, i);
@@ -132,7 +132,7 @@ export const __${name}_prototype_at = (_this: ${name}, index: number) => {
 
 export const __${name}_prototype_slice = (_this: ${name}, start: number, end: number) => {
   const len: i32 = _this.length;
-  if (Porffor.rawType(end) == Porffor.TYPES.undefined) end = len;
+  if (Porffor.type(end) == Porffor.TYPES.undefined) end = len;
 
   start |= 0;
   end |= 0;

package/compiler/builtins/z_ecma262.ts

@@ -28,7 +28,7 @@ export const __ecma262_ToPrimitive_String = (input: any): any => {
 // 7.1.4 ToNumber (argument)
 // https://tc39.es/ecma262/#sec-tonumber
 export const __ecma262_ToNumber = (argument: unknown): number => {
-  const t: i32 = Porffor.rawType(argument);
+  const t: i32 = Porffor.type(argument);
 
   // 1. If argument is a Number, return argument.
   if (t == Porffor.TYPES.number) return argument;
@@ -73,12 +73,12 @@ export const __ecma262_ToNumeric = (value: unknown): number => {
   // 1. Let primValue be ? ToPrimitive(value, number).
   // only run ToPrimitive if pure object for perf
   let primValue: any = value;
-  if (Porffor.rawType(value) == Porffor.TYPES.object && Porffor.wasm`local.get ${value}` != 0)
+  if (Porffor.type(value) == Porffor.TYPES.object && Porffor.wasm`local.get ${value}` != 0)
     primValue = __ecma262_ToPrimitive_Number(value);
 
   // 2. If primValue is a BigInt, return primValue.
   if (Porffor.comptime.flag`hasType.bigint`) {
-    if (Porffor.rawType(primValue) == Porffor.TYPES.bigint) return primValue;
+    if (Porffor.type(primValue) == Porffor.TYPES.bigint) return primValue;
   }
 
   // 3. Return ? ToNumber(primValue).
@@ -124,7 +124,7 @@ export const __ecma262_ToIndex = (value: unknown): number => {
 // 7.1.17 ToString (argument)
 // https://tc39.es/ecma262/#sec-tostring
 export const __ecma262_ToString = (argument: unknown): any => {
-  const type: i32 = Porffor.rawType(argument);
+  const type: i32 = Porffor.type(argument);
 
   // 1. If argument is a String, return argument.
   if (Porffor.fastOr(
@@ -180,11 +180,11 @@ export const __ecma262_ToPropertyKey = (argument: any): any => {
   // 1. Let key be ? ToPrimitive(argument, string).
   // only run ToPrimitive if pure object for perf
   let key: any = argument;
-  if (Porffor.rawType(argument) == Porffor.TYPES.object && Porffor.wasm`local.get ${argument}` != 0)
+  if (Porffor.type(argument) == Porffor.TYPES.object && Porffor.wasm`local.get ${argument}` != 0)
     key = __ecma262_ToPrimitive_String(argument);
 
   // 2. If key is a Symbol, then
-  if (Porffor.rawType(key) == Porffor.TYPES.symbol) {
+  if (Porffor.type(key) == Porffor.TYPES.symbol) {
     // a. Return key.
     return key;
   }
@@ -194,6 +194,6 @@ export const __ecma262_ToPropertyKey = (argument: any): any => {
 };
 
 export const __ecma262_IsConstructor = (argument: any): boolean => {
-  if (Porffor.rawType(argument) != Porffor.TYPES.function) return false;
+  if (Porffor.type(argument) != Porffor.TYPES.function) return false;
   return (__Porffor_funcLut_flags(argument) & 0b10) == 2;
 };

package/compiler/builtins.js

@@ -735,19 +735,18 @@ export const BuiltinFuncs = function() {
   this.__performance_now.usesImports = true;
 
 
-  this.__Porffor_type = {
-    params: [ valtypeBinary, Valtype.i32 ],
-    typedParams: true,
-    locals: [ Valtype.i32, Valtype.i32 ],
+  this.__Porffor_typeName = {
+    params: [ Valtype.i32 ],
+    locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.bytestring,
     wasm: (scope, { typeSwitch, makeString }) => {
       const bc = {};
       for (const x in TYPE_NAMES) {
-        bc[x] = makeString(scope, TYPE_NAMES[x]);
+        bc[x] = () => makeString(scope, TYPE_NAMES[x]);
       }
 
-      return typeSwitch(scope, [ [ Opcodes.local_get, 1 ] ], bc);
+      return typeSwitch(scope, [ [ Opcodes.local_get, 0 ] ], bc);
     }
   };
 

package/compiler/builtins_objects.js

@@ -15,7 +15,7 @@ export default function({ builtinFuncs }, Prefs) {
 
     builtinFuncs['#get_' + name] = {
       params: [],
-      locals: [],
+      locals: [ Valtype.i32 ],
       returns: [ Valtype.i32 ],
       returnType: TYPES.object,
       wasm: (scope, { allocPage, makeString, generate, getNodeType, builtin, funcRef, glbl }) => {
@@ -41,7 +41,15 @@ export default function({ builtinFuncs }, Prefs) {
 
           // set cache & ptr for use
           number(ptr, Valtype.i32),
-          glbl(Opcodes.global_set, `getptr_${name}`, Valtype.i32)[0]
+          [ Opcodes.local_tee, 0 ],
+          glbl(Opcodes.global_set, `getptr_${name}`, Valtype.i32)[0],
+
+          [ Opcodes.local_get, 0 ],
+          Opcodes.i32_from_u,
+          number(existingFunc ? TYPES.function : TYPES.object, Valtype.i32),
+          [ Opcodes.call, builtin('__Porffor_object_underlying') ],
+          [ Opcodes.drop ],
+          [ Opcodes.local_set, 0 ]
         ];
 
         for (const x in props) {
@@ -50,6 +58,20 @@ export default function({ builtinFuncs }, Prefs) {
             name: prefix + x
           };
 
+          if (x === '__proto__') {
+            out.push(
+              [ Opcodes.local_get, 0 ],
+              number(TYPES.object, Valtype.i32),
+
+              ...generate(scope, value),
+              Opcodes.i32_to_u,
+              ...getNodeType(scope, value),
+
+              [ Opcodes.call, builtin('__Porffor_object_setPrototype') ]
+            );
+            continue;
+          }
+
           let flags = 0b0000;
 
           const d = props[x];
@@ -61,8 +83,8 @@ export default function({ builtinFuncs }, Prefs) {
           if (this[prefix + x]?.type === TYPES.object && this[prefix + x] !== this.null) value = { type: 'ObjectExpression', properties: [] };
 
           out.push(
-            getPtr,
-            number(existingFunc ? TYPES.function : TYPES.object, Valtype.i32),
+            [ Opcodes.local_get, 0 ],
+            number(TYPES.object, Valtype.i32),
 
             ...makeString(scope, x),
             Opcodes.i32_to_u,
@@ -74,7 +96,7 @@ export default function({ builtinFuncs }, Prefs) {
             number(flags, Valtype.i32),
             number(TYPES.number, Valtype.i32),
 
-            [ Opcodes.call, builtin('__Porffor_object_expr_initWithFlags') ]
+            [ Opcodes.call, builtin('__Porffor_object_fastAdd') ]
           );
         }