porffor 0.17.0-f43ba190c → 0.18.2

package/README.md

@@ -148,27 +148,29 @@ These include some early (stage 1/0) and/or dead (last commit years ago) proposa
 - Array constructor (`Array(5)`, `new Array(1, 2, 3)`)
 - Labelled statements (`foo: while (...)`)
 - `do...while` loops
+- Optional parameters (`(foo = 'bar') => { ... }`)
 
 ### Built-ins
 
 - `NaN` and `Infinity`
 - `isNaN()` and `isFinite()`
 - Most of `Number` (`MAX_VALUE`, `MIN_VALUE`, `MAX_SAFE_INTEGER`, `MIN_SAFE_INTEGER`, `POSITIVE_INFINITY`, `NEGATIVE_INFINITY`, `EPSILON`, `NaN`, `isNaN`, `isFinite`, `isInteger`, `isSafeInteger`)
-- Some `Math` funcs (`sqrt`, `abs`, `floor`, `sign`, `round`, `trunc`, `clz32`, `fround`, `random`)
+- Most `Math` funcs (`sqrt`, `abs`, `floor`, `sign`, `round`, `trunc`, `clz32`, `fround`, `random`, `exp`, `log`, `log2`, `log10`, `pow`, `expm1`, `log1p`, `sqrt`, `cbrt`, `hypot`, `sin`, `cos`, `tan`, `sinh`, `cosh`, `tanh`, `asinh`, `acosh`, `atanh`, `asin`, `acos`, `atan`, `atan2`)
 - Basic `globalThis` support
 - Basic `Boolean` and `Number`
 - Basic `eval` for literals
 - `Math.random()` using self-made xorshift128+ PRNG
 - Some of `performance` (`now()`, `timeOrigin`)
-- Some of `Array.prototype` (`at`, `push`, `pop`, `shift`, `fill`, `slice`, `indexOf`, `lastIndexOf`, `includes`, `with`, `reverse`, `toReversed`)
-- Some of `Array` (`of`, `isArray`)
-- Most of `String.prototype` (`at`, `charAt`, `charCodeAt`, `toUpperCase`, `toLowerCase`, `startsWith`, `endsWith`, `indexOf`, `lastIndexOf`, `includes`, `padStart`, `padEnd`, `substring`, `substr`, `slice`, `trimStart`, `trimEnd`, `trim`, `toString`, `big`, `blink`, `bold`, `fixed`, `italics`, `small`, `strike`, `sub`, `sup`,  `trimLeft`, `trimRight`, )
+- Most of `Array.prototype` (`at`, `push`, `pop`, `shift`, `fill`, `slice`, `indexOf`, `lastIndexOf`, `includes`, `with`, `reverse`, `toReversed`, `forEach`, `filter`, `map`, `find`, `findLast`, `findIndex`, `findLastIndex`, `every`, `some`, `reduce`, `reduceRight`, `join`, `toString`)
+- Most of `Array` (`of`, `isArray`)
+- Most of `String.prototype` (`at`, `charAt`, `charCodeAt`, `toUpperCase`, `toLowerCase`, `startsWith`, `endsWith`, `indexOf`, `lastIndexOf`, `includes`, `padStart`, `padEnd`, `substring`, `substr`, `slice`, `trimStart`, `trimEnd`, `trim`, `toString`, `big`, `blink`, `bold`, `fixed`, `italics`, `small`, `strike`, `sub`, `sup`,  `trimLeft`, `trimRight`, `trim`)
 - Some of `crypto` (`randomUUID`)
 - `escape`
 - `btoa`
 - Most of `Number.prototype` (`toString`, `toFixed`, `toExponential`)
 - `parseInt`
 - Spec-compliant `Date`
+- WIP typed arrays (`Uint8Array`, `Int32Array`, etc)
 
 ### Custom
 

package/compiler/2c.js

@@ -705,5 +705,5 @@ _time_out = _time.tv_nsec / 1000000. + _time.tv_sec * 1000.;`);
   const makeIncludes = includes => [...includes.keys()].map(x => `#include <${x}>\n`).join('');
   out = platformSpecific(makeIncludes(winIncludes), makeIncludes(unixIncludes), false) + '\n' + makeIncludes(includes) + '\n' + alwaysPreface + [...prepend.values()].join('\n') + '\n\n' + out;
 
-  return out.trim();
+  return `// generated by porffor ${globalThis.version ?? '0.17.0'}\n` + out.trim();
 };

package/compiler/assemble.js

@@ -82,7 +82,17 @@ export default (funcs, globals, tags, pages, data, flags, noTreeshake = false) =
             params.push(valtypeBinary, Valtype.i32);
           }
 
-          const returns = [ valtypeBinary, Valtype.i32 ];
+          if (inst.at(-1) === 'constr') {
+            inst.pop();
+            params.unshift(Valtype.i32);
+          }
+
+          let returns = [ valtypeBinary, Valtype.i32 ];
+          if (inst.at(-1) === 'no_type_return') {
+            inst.pop();
+            returns = [ valtypeBinary ];
+          }
+
           inst[1] = getType(params, returns);
         }
       }
@@ -116,16 +126,21 @@ export default (funcs, globals, tags, pages, data, flags, noTreeshake = false) =
     ] ])
   );
 
-  if (pages.has('func argc lut') && !data.addedFuncArgcLut) {
-    // generate func argc lut data
+  if (pages.has('func lut') && !data.addedFuncArgcLut) {
+    // generate func lut data
     const bytes = [];
     for (let i = 0; i < funcs.length; i++) {
       const argc = Math.floor(funcs[i].params.length / 2);
       bytes.push(argc % 256, (argc / 256 | 0) % 256);
+
+      let flags = 0b00000000; // 8 flag bits
+      if (funcs[i].returnType != null) flags |= 0b1;
+      if (funcs[i].constr) flags |= 0b10;
+      bytes.push(flags);
     }
 
     data.push({
-      offset: pages.get('func argc lut').ind * pageSize,
+      offset: pages.get('func lut').ind * pageSize,
       bytes
     });
     data.addedFuncArgcLut = true;

package/compiler/builtins/array.ts

@@ -4,6 +4,7 @@ export const __Array_isArray = (x: unknown): boolean =>
   // Porffor.wasm`local.get ${x+1}` == Porffor.TYPES.array;
   Porffor.rawType(x) == Porffor.TYPES.array;
 
+
 export const __Array_prototype_slice = (_this: any[], start: number, end: number) => {
   const len: i32 = _this.length;
   if (Porffor.rawType(end) == Porffor.TYPES.undefined) end = len;
@@ -22,7 +23,7 @@ export const __Array_prototype_slice = (_this: any[], start: number, end: number
   }
   if (end > len) end = len;
 
-  let out: any[] = [];
+  let out: any[] = Porffor.allocate();
 
   if (start > end) return out;
 
@@ -42,10 +43,38 @@ export const __Array_prototype_slice = (_this: any[], start: number, end: number
   }
 
   out.length = end - start;
-
   return out;
 };
 
+// @porf-typed-array
+export const __Array_prototype_fill = (_this: any[], value: any, start: any, end: any) => {
+  const len: i32 = _this.length;
+
+  if (Porffor.rawType(start) == Porffor.TYPES.undefined) start = 0;
+  if (Porffor.rawType(end) == Porffor.TYPES.undefined) end = len;
+
+  start |= 0;
+  end |= 0;
+
+  if (start < 0) {
+    start = len + start;
+    if (start < 0) start = 0;
+  }
+  if (start > len) start = len;
+  if (end < 0) {
+    end = len + end;
+    if (end < 0) end = 0;
+  }
+  if (end > len) end = len;
+
+  for (let i: i32 = start; i < end; i++) {
+    _this[i] = value;
+  }
+
+  return _this;
+};
+
+// @porf-typed-array
 export const __Array_prototype_indexOf = (_this: any[], searchElement: any, position: number) => {
   const len: i32 = _this.length;
   if (position > 0) {
@@ -60,6 +89,7 @@ export const __Array_prototype_indexOf = (_this: any[], searchElement: any, posi
   return -1;
 };
 
+// @porf-typed-array
 export const __Array_prototype_lastIndexOf = (_this: any[], searchElement: any, position: number) => {
   const len: i32 = _this.length;
   if (position > 0) {
@@ -74,6 +104,7 @@ export const __Array_prototype_lastIndexOf = (_this: any[], searchElement: any,
   return -1;
 };
 
+// @porf-typed-array
 export const __Array_prototype_includes = (_this: any[], searchElement: any, position: number) => {
   const len: i32 = _this.length;
   if (position > 0) {
@@ -88,6 +119,7 @@ export const __Array_prototype_includes = (_this: any[], searchElement: any, pos
   return false;
 };
 
+// @porf-typed-array
 export const __Array_prototype_with = (_this: any[], index: number, value: any) => {
   const len: i32 = _this.length;
   if (index < 0) {
@@ -101,8 +133,7 @@ export const __Array_prototype_with = (_this: any[], index: number, value: any)
     throw new RangeError('Invalid index');
   }
 
-  // todo: allocator is bad here?
-  let out: any[] = [];
+  let out: any[] = Porffor.allocate();
 
   Porffor.clone(_this, out);
 
@@ -111,6 +142,7 @@ export const __Array_prototype_with = (_this: any[], index: number, value: any)
   return out;
 };
 
+// @porf-typed-array
 export const __Array_prototype_reverse = (_this: any[]) => {
   const len: i32 = _this.length;
 
@@ -126,14 +158,14 @@ export const __Array_prototype_reverse = (_this: any[]) => {
   return _this;
 };
 
-// todo: this has memory/allocation bugs so sometimes crashes :(
+// @porf-typed-array
 export const __Array_prototype_toReversed = (_this: any[]) => {
   const len: i32 = _this.length;
 
   let start: i32 = 0;
   let end: i32 = len - 1;
 
-  let out: any[] = [];
+  let out: any[] = Porffor.allocate();
   out.length = len;
 
   while (start < end) {
@@ -144,11 +176,13 @@ export const __Array_prototype_toReversed = (_this: any[]) => {
   return out;
 };
 
+// @porf-typed-array
 export const __Array_prototype_valueOf = (_this: any[]) => {
   return _this;
 };
 
 
+// @porf-typed-array
 export const __Array_prototype_forEach = (_this: any[], callbackFn: any) => {
   const len: i32 = _this.length;
   let i: i32 = 0;
@@ -157,22 +191,26 @@ export const __Array_prototype_forEach = (_this: any[], callbackFn: any) => {
   }
 };
 
+// @porf-typed-array
 export const __Array_prototype_filter = (_this: any[], callbackFn: any) => {
-  const out: any[] = [];
+  const out: any[] = Porffor.allocate();
 
   const len: i32 = _this.length;
   let i: i32 = 0;
+  let j: i32 = 0;
   while (i < len) {
     const el: any = _this[i];
-    if (Boolean(callbackFn(el, i++, _this))) out.push(el);
+    if (Boolean(callbackFn(el, i++, _this))) out[j++] = el;
   }
 
+  out.length = j;
   return out;
 };
 
+// @porf-typed-array
 export const __Array_prototype_map = (_this: any[], callbackFn: any) => {
   const len: i32 = _this.length;
-  const out: any[] = [];
+  const out: any[] = Porffor.allocate();
   out.length = len;
 
   let i: i32 = 0;
@@ -183,6 +221,7 @@ export const __Array_prototype_map = (_this: any[], callbackFn: any) => {
   return out;
 };
 
+// @porf-typed-array
 export const __Array_prototype_find = (_this: any[], callbackFn: any) => {
   const len: i32 = _this.length;
   let i: i32 = 0;
@@ -192,6 +231,7 @@ export const __Array_prototype_find = (_this: any[], callbackFn: any) => {
   }
 };
 
+// @porf-typed-array
 export const __Array_prototype_findLast = (_this: any[], callbackFn: any) => {
   let i: i32 = _this.length;
   while (i > 0) {
@@ -200,6 +240,7 @@ export const __Array_prototype_findLast = (_this: any[], callbackFn: any) => {
   }
 };
 
+// @porf-typed-array
 export const __Array_prototype_findIndex = (_this: any[], callbackFn: any) => {
   const len: i32 = _this.length;
   let i: i32 = 0;
@@ -208,6 +249,7 @@ export const __Array_prototype_findIndex = (_this: any[], callbackFn: any) => {
   }
 };
 
+// @porf-typed-array
 export const __Array_prototype_findLastIndex = (_this: any[], callbackFn: any) => {
   let i: i32 = _this.length;
   while (i > 0) {
@@ -215,6 +257,7 @@ export const __Array_prototype_findLastIndex = (_this: any[], callbackFn: any) =
   }
 };
 
+// @porf-typed-array
 export const __Array_prototype_every = (_this: any[], callbackFn: any) => {
   const len: i32 = _this.length;
   let i: i32 = 0;
@@ -225,6 +268,7 @@ export const __Array_prototype_every = (_this: any[], callbackFn: any) => {
   return true;
 };
 
+// @porf-typed-array
 export const __Array_prototype_some = (_this: any[], callbackFn: any) => {
   const len: i32 = _this.length;
   let i: i32 = 0;
@@ -235,6 +279,7 @@ export const __Array_prototype_some = (_this: any[], callbackFn: any) => {
   return false;
 };
 
+// @porf-typed-array
 export const __Array_prototype_reduce = (_this: any[], callbackFn: any, initialValue: any) => {
   let acc: any = initialValue ?? _this[0];
 
@@ -247,6 +292,7 @@ export const __Array_prototype_reduce = (_this: any[], callbackFn: any, initialV
   return acc;
 };
 
+// @porf-typed-array
 export const __Array_prototype_reduceRight = (_this: any[], callbackFn: any, initialValue: any) => {
   const len: i32 = _this.length;
   let acc: any = initialValue ?? _this[len - 1];
@@ -259,6 +305,52 @@ export const __Array_prototype_reduceRight = (_this: any[], callbackFn: any, ini
   return acc;
 };
 
+// @porf-typed-array
+export const __Array_prototype_sort = (_this: any[], callbackFn: any) => {
+  // todo: default callbackFn
+
+  // insertion sort, i guess
+  const len: i32 = _this.length;
+  for (let i: i32 = 0; i < len; i++) {
+    const x: any = _this[i];
+    let j: i32 = i;
+    while (j > 0) {
+      const y: any = _this[j - 1];
+
+      // 23.1.3.30.2 CompareArrayElements (x, y, comparefn)
+      // https://tc39.es/ecma262/#sec-comparearrayelements
+      const xt: i32 = Porffor.rawType(x);
+      const yt: i32 = Porffor.rawType(y);
+      let v: number;
+
+      // 1. If x and y are both undefined, return +0𝔽.
+      if (xt == Porffor.TYPES.undefined && yt == Porffor.TYPES.undefined) v = 0;
+        // 2. If x is undefined, return 1𝔽.
+        else if (xt == Porffor.TYPES.undefined) v = 1;
+        // 3. If y is undefined, return -1𝔽.
+        else if (yt == Porffor.TYPES.undefined) v = -1;
+        else {
+          // 4. If comparefn is not undefined, then
+          // a. Let v be ? ToNumber(? Call(comparefn, undefined, « x, y »)).
+          v = callbackFn(x, y);
+
+          // b. If v is NaN, return +0𝔽.
+          // if (Number.isNaN(v)) v = 0;
+
+          // c. Return v.
+        }
+
+      if (v >= 0) break;
+      _this[j--] = y;
+    }
+
+    _this[j] = x;
+  }
+
+  return _this;
+};
+
+// @porf-typed-array
 export const __Array_prototype_toString = (_this: any[]) => {
   // todo: this is bytestring only!
 
@@ -283,6 +375,7 @@ export const __Array_prototype_toString = (_this: any[]) => {
   return out;
 };
 
+// @porf-typed-array
 export const __Array_prototype_join = (_this: any[], _separator: any) => {
   // todo: this is bytestring only!
   // todo/perf: optimize single char separators

package/compiler/builtins/date.ts

@@ -718,108 +718,6 @@ export const __Porffor_date_write = (ptr: Date, val: number) => {
   Porffor.wasm.f64.store(ptr, val, 0, 0);
 };
 
-// 21.4.2.1 Date (...values)
-// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date
-export const Date$constructor = (v0: unknown, v1: unknown, v2: unknown, v3: unknown, v4: unknown, v5: unknown, v6: unknown): Date => {
-  // todo: passing undefined to params should not act like no arg was passed
-
-  // 2. Let numberOfArgs be the number of elements in values.
-  // sorry.
-  const numberOfArgs: i32 =
-    (Porffor.rawType(v0) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v1) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v2) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v3) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v4) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v5) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v6) != Porffor.TYPES.undefined);
-
-  let dv: number = 0;
-
-  // 3. If numberOfArgs = 0, then
-  if (numberOfArgs == 0) {
-    // a. Let dv be the time value (UTC) identifying the current time.
-    dv = __Date_now();
-  } else if (numberOfArgs == 1) {
-    // 4. Else if numberOfArgs = 1, the n
-    // a. Let value be values[0].
-    const value: any = v0;
-
-    const valueType: i32 = Porffor.rawType(v0);
-
-    let tv: number = 0;
-
-    // b. If value is an Object and value has a [[DateValue]] internal slot, then
-    if (valueType == Porffor.TYPES.date) {
-      // i. Let tv be value.[[DateValue]].
-      tv = __Porffor_date_read(value);
-    } else {
-      // c. Else,
-      // ii. If v is a String, then
-      if (Porffor.fastOr(valueType == Porffor.TYPES.string, valueType == Porffor.TYPES.bytestring)) {
-        // 1. Assert: The next step never returns an abrupt completion because v is a String.
-
-        // 2. Let tv be the result of parsing v as a date, in exactly the same manner as for the parse method (21.4.3.2).
-        tv = __Date_parse(value);
-      } else {
-        // iii. Else,
-        // 1. Let tv be ? ToNumber(v).
-        tv = Number(value);
-      }
-    }
-
-    // d. Let dv be TimeClip(tv).
-    dv = __ecma262_TimeClip(tv);
-  } else {
-    // 5. Else,
-    // a. Assert: numberOfArgs ≥ 2.
-
-    // b. Let y be ? ToNumber(values[0]).
-    const y: number = Number(v0);
-
-    // c. Let m be ? ToNumber(values[1]).
-    const m: number = Number(v1);
-
-    // d. If numberOfArgs > 2, let dt be ? ToNumber(values[2]); else let dt be 1𝔽.
-    let dt: number = 1;
-    if (numberOfArgs > 2) dt = Number(v2);
-
-    // e. If numberOfArgs > 3, let h be ? ToNumber(values[3]); else let h be +0𝔽.
-    let h: number = 0;
-    if (numberOfArgs > 3) h = Number(v3);
-
-    // f. If numberOfArgs > 4, let min be ? ToNumber(values[4]); else let min be +0𝔽.
-    let min: number = 0;
-    if (numberOfArgs > 4) min = Number(v4);
-
-    // g. If numberOfArgs > 5, let s be ? ToNumber(values[5]); else let s be +0𝔽.
-    let s: number = 0;
-    if (numberOfArgs > 5) s = Number(v5);
-
-    // h. If numberOfArgs > 6, let milli be ? ToNumber(values[6]); else let milli be +0𝔽.
-    let milli: number = 0;
-    if (numberOfArgs > 6) milli = Number(v6);
-
-    // i. Let yr be MakeFullYear(y).
-    const yr: number = __ecma262_MakeFullYear(y);
-
-    // j. Let finalDate be MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli)).
-    const finalDate: number = __ecma262_MakeDate(__ecma262_MakeDay(yr, m, dt), __ecma262_MakeTime(h, min, s, milli));
-
-    // k. Let dv be TimeClip(UTC(finalDate)).
-    dv = __ecma262_TimeClip(__ecma262_UTC(finalDate));
-  }
-
-  // 6. Let O be ? OrdinaryCreateFromConstructor(NewTarget, "%Date.prototype%", « [[DateValue]] »).
-  const O: Date = __Porffor_date_allocate();
-
-  // 7. Set O.[[DateValue]] to dv.
-  __Porffor_date_write(O, dv);
-
-  // 8. Return O.
-  return O;
-};
-
 
 // 21.4.4 Properties of the Date Prototype Object
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-properties-of-the-date-prototype-object
@@ -2034,9 +1932,109 @@ export const __Date_prototype_valueOf = (_this: Date) => {
 
 // 21.4.2.1 Date (...values)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date
-export const Date = (): bytestring => {
+export const Date = function (v0: unknown, v1: unknown, v2: unknown, v3: unknown, v4: unknown, v5: unknown, v6: unknown): bytestring|Date {
   // 1. If NewTarget is undefined, then
-  //   a. Let now be the time value (UTC) identifying the current time.
-  //   b. Return ToDateString(now).
-  return __ecma262_ToDateString(__Date_now());
+  if (!new.target) {
+    // a. Let now be the time value (UTC) identifying the current time.
+    // b. Return ToDateString(now).
+    return __ecma262_ToDateString(__Date_now());
+  }
+
+  // todo: passing undefined to params should not act like no arg was passed
+
+  // 2. Let numberOfArgs be the number of elements in values.
+  // sorry.
+  const numberOfArgs: i32 =
+    (Porffor.rawType(v0) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v1) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v2) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v3) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v4) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v5) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v6) != Porffor.TYPES.undefined);
+
+  let dv: number = 0;
+
+  // 3. If numberOfArgs = 0, then
+  if (numberOfArgs == 0) {
+    // a. Let dv be the time value (UTC) identifying the current time.
+    dv = __Date_now();
+  } else if (numberOfArgs == 1) {
+    // 4. Else if numberOfArgs = 1, the n
+    // a. Let value be values[0].
+    const value: any = v0;
+
+    const valueType: i32 = Porffor.rawType(v0);
+
+    let tv: number = 0;
+
+    // b. If value is an Object and value has a [[DateValue]] internal slot, then
+    if (valueType == Porffor.TYPES.date) {
+      // i. Let tv be value.[[DateValue]].
+      tv = __Porffor_date_read(value);
+    } else {
+      // c. Else,
+      // ii. If v is a String, then
+      if (Porffor.fastOr(valueType == Porffor.TYPES.string, valueType == Porffor.TYPES.bytestring)) {
+        // 1. Assert: The next step never returns an abrupt completion because v is a String.
+
+        // 2. Let tv be the result of parsing v as a date, in exactly the same manner as for the parse method (21.4.3.2).
+        tv = __Date_parse(value);
+      } else {
+        // iii. Else,
+        // 1. Let tv be ? ToNumber(v).
+        tv = Number(value);
+      }
+    }
+
+    // d. Let dv be TimeClip(tv).
+    dv = __ecma262_TimeClip(tv);
+  } else {
+    // 5. Else,
+    // a. Assert: numberOfArgs ≥ 2.
+
+    // b. Let y be ? ToNumber(values[0]).
+    const y: number = Number(v0);
+
+    // c. Let m be ? ToNumber(values[1]).
+    const m: number = Number(v1);
+
+    // d. If numberOfArgs > 2, let dt be ? ToNumber(values[2]); else let dt be 1𝔽.
+    let dt: number = 1;
+    if (numberOfArgs > 2) dt = Number(v2);
+
+    // e. If numberOfArgs > 3, let h be ? ToNumber(values[3]); else let h be +0𝔽.
+    let h: number = 0;
+    if (numberOfArgs > 3) h = Number(v3);
+
+    // f. If numberOfArgs > 4, let min be ? ToNumber(values[4]); else let min be +0𝔽.
+    let min: number = 0;
+    if (numberOfArgs > 4) min = Number(v4);
+
+    // g. If numberOfArgs > 5, let s be ? ToNumber(values[5]); else let s be +0𝔽.
+    let s: number = 0;
+    if (numberOfArgs > 5) s = Number(v5);
+
+    // h. If numberOfArgs > 6, let milli be ? ToNumber(values[6]); else let milli be +0𝔽.
+    let milli: number = 0;
+    if (numberOfArgs > 6) milli = Number(v6);
+
+    // i. Let yr be MakeFullYear(y).
+    const yr: number = __ecma262_MakeFullYear(y);
+
+    // j. Let finalDate be MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli)).
+    const finalDate: number = __ecma262_MakeDate(__ecma262_MakeDay(yr, m, dt), __ecma262_MakeTime(h, min, s, milli));
+
+    // k. Let dv be TimeClip(UTC(finalDate)).
+    dv = __ecma262_TimeClip(__ecma262_UTC(finalDate));
+  }
+
+  // 6. Let O be ? OrdinaryCreateFromConstructor(NewTarget, "%Date.prototype%", « [[DateValue]] »).
+  const O: Date = __Porffor_date_allocate();
+
+  // 7. Set O.[[DateValue]] to dv.
+  __Porffor_date_write(O, dv);
+
+  // 8. Return O.
+  return O;
 };

package/compiler/builtins/error.js

@@ -1,11 +1,8 @@
 export default () => {
   let out = '';
 
-  const error = name => out += `export const ${name} = (message: bytestring) => {
-  return {};
-};
-
-export const ${name}$constructor = (message: bytestring) => {
+  const error = name => out += `export const ${name} = function (message: bytestring) {
+  new.target;
   return {};
 };`;
 

package/compiler/builtins/set.ts

@@ -8,6 +8,7 @@ memory.grow 0
 i32.const 65536
 i32.mul
 i32.from_u
+i32.const 0
 return`;
 };
 
@@ -163,11 +164,9 @@ export const __Set_prototype_clear = (_this: Set) => {
   Porffor.wasm.i32.store(_this, 0, 0, 0);
 };
 
-export const Set = () => {
-  throw new TypeError("Constructor Set requires 'new'");
-};
+export const Set = function (iterable: any): any {
+  if (!new.target) throw new TypeError("Constructor Set requires 'new'");
 
-export const Set$constructor = (iterable: any): Set => {
   const out: Set = __Porffor_allocate();
 
   if (Porffor.rawType(iterable) != Porffor.TYPES.undefined) for (const x of iterable) {
@@ -182,7 +181,7 @@ export const __Set_prototype_union = (_this: Set, other: any) => {
     throw new TypeError("Set.prototype.union\'s \'other\' argument must be a Set");
   }
 
-  const out: Set = Set$constructor(_this);
+  const out: Set = new Set(_this);
   for (const x of other) {
     out.add(x);
   }

package/compiler/builtins/string_f64.ts

@@ -1,10 +1,8 @@
-// todo: support non-bytestring properly
-export const String = (value: any): bytestring => {
-  if (Porffor.rawType(value) == Porffor.TYPES.symbol) return __Symbol_prototype_toString(value);
-  return __ecma262_ToString(value);
-};
+import type {} from './porffor.d.ts';
 
+// todo: support non-bytestring properly
 // todo: support constructor/string objects properly
-export const String$constructor = (value: any): bytestring => {
+export const String = function (value: any): bytestring {
+  if (!new.target && Porffor.rawType(value) == Porffor.TYPES.symbol) return __Symbol_prototype_toString(value);
   return __ecma262_ToString(value);
 };

package/compiler/builtins/symbol.ts

@@ -17,7 +17,8 @@ export const __Porffor_symbol_descStore = (op: boolean, value: any): any => {
 
 export const Symbol = (description: any): Symbol => {
   // 1-based so always truthy as numeric value
-  return __Porffor_symbol_descStore(true, description) + 1;
+  const ptr: Symbol = __Porffor_symbol_descStore(true, description) + 1;
+  return ptr;
 };
 
 export const __Symbol_prototype_description$get = (_this: Symbol) => {