porffor 0.17.0-048c6f2ee → 0.17.0-0564424f4

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

@@ -182,7 +182,15 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
   }, {});
   const invGlobals = inv(globals, x => x.idx);
 
-  const sanitize = str => str.replace(/[^0-9a-zA-Z_]/g, _ => String.fromCharCode(97 + _.charCodeAt(0) % 32));
+  const codeToSanitizedStr = code => {
+    let out = '';
+    while (code > 0) {
+      out += String.fromCharCode(97 + code % 26);
+      code -= 26;
+    }
+    return out;
+  };
+  const sanitize = str => str.replace(/[^0-9a-zA-Z_]/g, _ => codeToSanitizedStr(_.charCodeAt(0)));
 
   for (const x in invGlobals) {
     invGlobals[x] = sanitize(invGlobals[x]);
@@ -273,10 +281,11 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
     }
 
     const returns = f.returns.length > 0;
+    const typedReturns = f.returnType == null;
 
     const shouldInline = false; // f.internal;
     if (f.name === 'main') out += `int main(${prependMain.has('argv') ? 'int argc, char* argv[]' : ''}) {\n`;
-      else out += `${f.internal ? (returns ? 'f64' : 'void') : 'struct ReturnValue'} ${shouldInline ? 'inline ' : ''}${sanitize(f.name)}(${f.params.map((x, i) => `${CValtype[x]} ${invLocals[i]}`).join(', ')}) {\n`;
+      else out += `${!typedReturns ? (returns ? CValtype[f.returns[0]] : 'void') : 'struct ReturnValue'} ${shouldInline ? 'inline ' : ''}${sanitize(f.name)}(${f.params.map((x, i) => `${CValtype[x]} ${invLocals[i]}`).join(', ')}) {\n`;
 
     if (f.name === 'main') {
       out += '  ' + [...prependMain.values()].join('\n  ');
@@ -418,11 +427,14 @@ export default ({ funcs, globals, tags, data, exceptions, pages }) => {
           continue;
 
         case Opcodes.return:
-          // line(`return${returns ? ` ${removeBrackets(vals.pop())}` : ''}`);
-          const b = vals.pop();
-          const a = vals.pop();
+          if (!typedReturns) {
+            line(`return${returns ? ` ${removeBrackets(vals.pop())}` : ''}`);
+            break;
+          }
+
+          const b = returns ? vals.pop() : -1;
+          const a = returns ? vals.pop() : -1;
           line(`return${returns ? ` (struct ReturnValue){ ${removeBrackets(a)}, ${removeBrackets(b)} }` : ''}`);
-          // line(`return${returns ? ` (struct ReturnValue){ ${removeBrackets(vals.pop())}, ${removeBrackets(vals.pop())} }` : ''}`);
           break;
 
         case Opcodes.if: {
@@ -549,10 +561,15 @@ _time_out = _time.tv_nsec / 1000000. + _time.tv_sec * 1000.;`);
 
                 prepend.set('__Porffor_readFile',
 `i32 __Porffor_readFile(u32 pathPtr, u32 outPtr) {
-  char* path = _memory + pathPtr + 4;
-  FILE* fp = fopen(path, "r");
-  if (fp == NULL) {
-    return -1;
+  FILE* fp;
+  if (pathPtr == 0) {
+    fp = stdin;
+  } else {
+    char* path = _memory + pathPtr + 4;
+    fp = fopen(path, "r");
+    if (fp == NULL) {
+      return -1;
+    }
   }
 
   u32 read = 0;
@@ -585,7 +602,7 @@ _time_out = _time.tv_nsec / 1000000. + _time.tv_sec * 1000.;`);
           for (let j = 0; j < func.params.length; j++) args.unshift(removeBrackets(vals.pop()));
 
           if (func.returns.length > 0) {
-            if (func.internal) {
+            if (func.returnType != null) {
               vals.push(`${sanitize(func.name)}(${args.join(', ')})`);
             } else {
               const id = retTmpId++;

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,10 @@ export const __Array_prototype_slice = (_this: any[], start: number, end: number
   }
 
   out.length = end - start;
-
   return out;
 };
 
+// @porf-typed-array
 export const __Array_prototype_indexOf = (_this: any[], searchElement: any, position: number) => {
   const len: i32 = _this.length;
   if (position > 0) {
@@ -60,6 +61,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 +76,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 +91,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 +105,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 +114,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 +130,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 +148,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 +163,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 +193,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 +203,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 +212,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 +221,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 +229,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 +240,18 @@ 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;
+  while (i < len) {
+    if (Boolean(callbackFn(_this[i], i++, _this))) return true;
+  }
+
+  return false;
+};
+
+// @porf-typed-array
 export const __Array_prototype_reduce = (_this: any[], callbackFn: any, initialValue: any) => {
   let acc: any = initialValue ?? _this[0];
 
@@ -237,6 +264,20 @@ 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];
+
+  let i: i32 = len;
+  while (i > 0) {
+    acc = callbackFn(acc, _this[--i], i, _this);
+  }
+
+  return acc;
+};
+
+// @porf-typed-array
 export const __Array_prototype_toString = (_this: any[]) => {
   // todo: this is bytestring only!
 
@@ -261,6 +302,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/math.ts

@@ -16,7 +16,7 @@ export const __Math_exp = (x: number): number => {
     return 1 / Math.exp(-x);
   }
 
-  const k: number = Math.floor(x / Math.LN2);
+  let k: number = Math.floor(x / Math.LN2);
   const r: number = x - k * Math.LN2;
 
   // Taylor series via Horner's method
@@ -30,7 +30,11 @@ export const __Math_exp = (x: number): number => {
     i++;
   }
 
-  return sum * (1 << k);
+  while (k-- > 0) {
+    sum *= 2;
+  }
+
+  return sum;
 };
 
 export const __Math_log2 = (y: number): number => {

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,22 +164,13 @@ 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();
 
-  const type: number = Porffor.rawType(iterable);
-  if (Porffor.fastOr(
-    type == Porffor.TYPES.array,
-    type == Porffor.TYPES.string, type == Porffor.TYPES.bytestring,
-    type == Porffor.TYPES.set
-  )) {
-    for (const x of iterable) {
-      __Set_prototype_add(out, x);
-    }
+  if (Porffor.rawType(iterable) != Porffor.TYPES.undefined) for (const x of iterable) {
+    __Set_prototype_add(out, x);
   }
 
   return out;
@@ -189,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);
   }