terser 5.0.0-beta.0 → 5.1.0

package/CHANGELOG.md

@@ -1,5 +1,38 @@
 # Changelog
 
+## v5.1.0
+
+ - `import.meta` is now supported
+ - Typescript typings have been improved
+
+## v5.0.0
+
+ - `in` operator now taken into account during property mangle.
+ - Fixed infinite loop in face of a reference loop in some situations.
+ - Kept exports and imports around even if there's something which will throw before them.
+ - The main exported bundle for commonjs, dist/bundle.min.js is no longer minified.
+
+## v5.0.0-beta.0
+
+ - BREAKING: `minify()` is now async and rejects a promise instead of returning an error.
+ - BREAKING: Internal AST is no longer exposed, so that it can be improved without releasing breaking changes.
+ - BREAKING: Lowest supported node version is 10
+ - BREAKING: There are no more warnings being emitted
+ - Module is now distributed as a dual package - You can `import` and `require()` too.
+ - Inline improvements were made
+
+## v4.8.0
+
+ - Support for numeric separators (`million = 1_000_000`) was added.
+ - Assigning properties to a class is now assumed to be pure.
+ - Fixed bug where `yield` wasn't considered a valid property key in generators.
+
+## v4.7.0
+
+ - A bug was fixed where an arrow function would have the wrong size
+ - `arguments` object is now considered safe to retrieve properties from (useful for `length`, or `0`) even when `pure_getters` is not set.
+ - Fixed erroneous `const` declarations without value (which is invalid) in some corner cases when using `collapse_vars`.
+
 ## v4.6.13
 
  - Fixed issue where ES5 object properties were being turned into ES6 object properties due to more lax unicode rules.

package/README.md

@@ -1251,6 +1251,7 @@ To allow for better optimizations, the compiler makes various assumptions:
   `Object.defineProperty()`, `Object.defineProperties()`, `Object.freeze()`,
   `Object.preventExtensions()` or `Object.seal()`).
 - `document.all` is not `== null`
+- Assigning properties to a class doesn't have side effects and does not throw.
 
 ### Build Tools and Adaptors using Terser
 

package/dist/bundle.min.js

@@ -672,12 +672,14 @@ function tokenizer($TEXT, filename, html5_comments, shebang) {
     }
 
     function read_num(prefix) {
-        var has_e = false, after_e = false, has_x = false, has_dot = prefix == ".", is_big_int = false;
+        var has_e = false, after_e = false, has_x = false, has_dot = prefix == ".", is_big_int = false, numeric_separator = false;
         var num = read_while(function(ch, i) {
             if (is_big_int) return false;
 
             var code = ch.charCodeAt(0);
             switch (code) {
+              case 95: // _
+                return (numeric_separator = true);
               case 98: case 66: // bB
                 return (has_x = true); // Can occur in hex sequence, don't return false yet
               case 111: case 79: // oO
@@ -705,6 +707,14 @@ function tokenizer($TEXT, filename, html5_comments, shebang) {
         if (RE_OCT_NUMBER.test(num) && next_token.has_directive("use strict")) {
             parse_error("Legacy octal literals are not allowed in strict mode");
         }
+        if (numeric_separator) {
+            if (num.endsWith("_")) {
+                parse_error("Numeric separators are not allowed at the end of numeric literals");
+            } else if (num.includes("__")) {
+                parse_error("Only one underscore is allowed as numeric separator");
+            }
+            num = num.replace(/_/g, "");
+        }
         if (num.endsWith("n")) {
             const without_n = num.slice(0, -1);
             const allow_e = RE_HEX_NUMBER.test(without_n);
@@ -1328,7 +1338,7 @@ function parse($TEXT, options) {
                 }
                 return function_(AST_Defun, false, true, is_export_default);
             }
-            if (S.token.value == "import" && !is_token(peek(), "punc", "(")) {
+            if (S.token.value == "import" && !is_token(peek(), "punc", "(") && !is_token(peek(), "punc", ".")) {
                 next();
                 var node = import_();
                 semicolon();
@@ -2376,6 +2386,9 @@ function parse($TEXT, options) {
         if (is("operator", "new")) {
             return new_(allow_calls);
         }
+        if (is("operator", "import")) {
+            return import_meta();
+        }
         var start = S.token;
         var peeked;
         var async = is("name", "async")
@@ -2753,6 +2766,7 @@ function parse($TEXT, options) {
 
     function import_() {
         var start = prev();
+
         var imported_name;
         var imported_names;
         if (is("name")) {
@@ -2787,6 +2801,17 @@ function parse($TEXT, options) {
         });
     }
 
+    function import_meta() {
+        var start = S.token;
+        expect_token("operator", "import");
+        expect_token("punc", ".");
+        expect_token("name", "meta");
+        return subscripts(new AST_ImportMeta({
+            start: start,
+            end: prev()
+        }), false);
+    }
+
     function map_name(is_import) {
         function make_symbol(type) {
             return new type({
@@ -2967,15 +2992,6 @@ function parse($TEXT, options) {
             }
             /* falls through */
           case "name":
-            if (tmp.value == "yield") {
-                if (is_in_generator()) {
-                    token_error(tmp, "Yield cannot be used as identifier inside generators");
-                } else if (!is_token(peek(), "punc", ":")
-                    && !is_token(peek(), "punc", "(")
-                    && S.input.has_directive("use strict")) {
-                    token_error(tmp, "Unexpected yield identifier inside strict mode");
-                }
-            }
           case "string":
           case "num":
           case "big_int":
@@ -4198,6 +4214,10 @@ var AST_Import = DEFNODE("Import", "imported_name imported_names module_name", {
     },
 });
 
+var AST_ImportMeta = DEFNODE("ImportMeta", null, {
+    $documentation: "A reference to import.meta",
+});
+
 var AST_Export = DEFNODE("Export", "exported_definition exported_value is_default exported_names module_name", {
     $documentation: "An `export` statement",
     $propdoc: {
@@ -4977,6 +4997,7 @@ AST_Function: AST_Function,
 AST_Hole: AST_Hole,
 AST_If: AST_If,
 AST_Import: AST_Import,
+AST_ImportMeta: AST_ImportMeta,
 AST_Infinity: AST_Infinity,
 AST_IterationStatement: AST_IterationStatement,
 AST_Jump: AST_Jump,
@@ -5759,6 +5780,11 @@ def_transform(AST_PrefixedTemplateString, function(self, tw) {
                     start: my_start_token(M),
                     end: my_end_token(M)
                 });
+            } else if (M.meta.name === "import" && M.property.name === "meta") {
+                return new AST_ImportMeta({
+                    start: my_start_token(M),
+                    end: my_end_token(M)
+                });
             }
         },
         Identifier: function(M) {
@@ -6050,6 +6076,20 @@ def_transform(AST_PrefixedTemplateString, function(self, tw) {
         };
     });
 
+    def_to_moz(AST_ImportMeta, function To_Moz_MetaProperty() {
+        return {
+            type: "MetaProperty",
+            meta: {
+                type: "Identifier",
+                name: "import"
+            },
+            property: {
+                type: "Identifier",
+                name: "meta"
+            }
+        };
+    });
+
     def_to_moz(AST_Sequence, function To_Moz_SequenceExpression(M) {
         return {
             type: "SequenceExpression",
@@ -7989,6 +8029,9 @@ function OutputStream(options) {
         self.module_name.print(output);
         output.semicolon();
     });
+    DEFPRINT(AST_ImportMeta, function(self, output) {
+        output.print("import.meta");
+    });
 
     DEFPRINT(AST_NameMapping, function(self, output) {
         var is_import = output.parent() instanceof AST_Import;
@@ -8716,6 +8759,8 @@ AST_Import.prototype.shallow_cmp = mkshallow({
     imported_names: "exist"
 });
 
+AST_ImportMeta.prototype.shallow_cmp = pass_through;
+
 AST_Export.prototype.shallow_cmp = mkshallow({
     exported_definition: "exist",
     exported_value: "exist",
@@ -9780,7 +9825,7 @@ AST_Arrow.prototype._size = function () {
         args_and_arrow += 2;
     }
 
-    return lambda_modifiers(this) + args_and_arrow + Array.isArray(this.body) ? list_overhead(this.body) : this.body._size();
+    return lambda_modifiers(this) + args_and_arrow + (Array.isArray(this.body) ? list_overhead(this.body) : this.body._size());
 };
 
 AST_Destructuring.prototype._size = () => 2;
@@ -9878,6 +9923,8 @@ AST_Import.prototype._size = function () {
     return size;
 };
 
+AST_ImportMeta.prototype._size = () => 11;
+
 AST_Export.prototype._size = function () {
     let size = 7 + (this.is_default ? 8 : 0);
 
@@ -11546,8 +11593,7 @@ function tighten_body(statements, compressor) {
                 extract_candidates(expr.condition);
                 extract_candidates(expr.consequent);
                 extract_candidates(expr.alternative);
-            } else if (expr instanceof AST_Definitions
-                && (compressor.option("unused") || !(expr instanceof AST_Const))) {
+            } else if (expr instanceof AST_Definitions) {
                 var len = expr.definitions.length;
                 // limit number of trailing variable definitions for consideration
                 var i = len - 200;
@@ -11715,7 +11761,9 @@ function tighten_body(statements, compressor) {
                 if (node === expr || node.body === expr) {
                     found = true;
                     if (node instanceof AST_VarDef) {
-                        node.value = null;
+                        node.value = node.name instanceof AST_SymbolConst
+                             ? make_node(AST_Undefined, node.value)  // `const` always needs value.
+                             : null;
                         return node;
                     }
                     return in_list ? MAP.skip : null;
@@ -12031,7 +12079,7 @@ function tighten_body(statements, compressor) {
         statements.length = n;
         CHANGED = n != len;
         if (has_quit) has_quit.forEach(function(stat) {
-            extract_declarations_from_unreachable_code(compressor, stat, statements);
+            trim_unreachable_code(compressor, stat, statements);
         });
     }
 
@@ -12289,7 +12337,7 @@ function tighten_body(statements, compressor) {
     }
 }
 
-function extract_declarations_from_unreachable_code(compressor, stat, target) {
+function trim_unreachable_code(compressor, stat, target) {
     walk(stat, node => {
         if (node instanceof AST_Var) {
             node.remove_initializers();
@@ -12310,6 +12358,10 @@ function extract_declarations_from_unreachable_code(compressor, stat, target) {
             }));
             return true;
         }
+        if (node instanceof AST_Export || node instanceof AST_Import) {
+            target.push(node);
+            return true;
+        }
         if (node instanceof AST_Scope) {
             return true;
         }
@@ -12361,6 +12413,10 @@ function is_undefined(node, compressor) {
             if (this.properties[i]._dot_throw(compressor)) return true;
         return false;
     });
+    // Do not be as strict with classes as we are with objects.
+    // Hopefully the community is not going to abuse static getters and setters.
+    // https://github.com/terser/terser/issues/724#issuecomment-643655656
+    def_may_throw_on_access(AST_Class, return_false);
     def_may_throw_on_access(AST_ObjectProperty, return_false);
     def_may_throw_on_access(AST_ObjectGetter, return_true);
     def_may_throw_on_access(AST_Expansion, function(compressor) {
@@ -12393,7 +12449,8 @@ function is_undefined(node, compressor) {
         return this.tail_node()._dot_throw(compressor);
     });
     def_may_throw_on_access(AST_SymbolRef, function(compressor) {
-        if (is_undefined(this, compressor)) return true;
+        if (this.name === "arguments") return false;
+        if (has_flag(this, UNDEFINED)) return true;
         if (!is_strict(compressor)) return false;
         if (is_undeclared_ref(this) && this.is_declared(compressor)) return false;
         if (this.is_immutable()) return false;
@@ -12795,13 +12852,33 @@ var static_fns = convert_to_predicate({
         return this;
     });
     var non_converting_binary = makePredicate("&& || ?? === !==");
+    const identity_comparison = makePredicate("== != === !==");
+    const has_identity = value =>
+        typeof value === "object"
+        || typeof value === "function"
+        || typeof value === "symbol";
+
     def_eval(AST_Binary, function(compressor, depth) {
         if (!non_converting_binary.has(this.operator)) depth++;
+
         var left = this.left._eval(compressor, depth);
         if (left === this.left) return this;
         var right = this.right._eval(compressor, depth);
         if (right === this.right) return this;
         var result;
+
+        if (
+            left != null
+            && right != null
+            && identity_comparison.has(this.operator)
+            && has_identity(left)
+            && has_identity(right)
+            && typeof left === typeof right
+        ) {
+            // Do not compare by reference
+            return this;
+        }
+
         switch (this.operator) {
           case "&&"  : result = left &&  right; break;
           case "||"  : result = left ||  right; break;
@@ -12842,20 +12919,24 @@ var static_fns = convert_to_predicate({
         var value = node._eval(compressor, depth);
         return value === node ? this : value;
     });
+
+    // Set of AST_SymbolRef which are currently being evaluated.
+    // Avoids infinite recursion of ._eval()
+    const reentrant_ref_eval = new Set();
     def_eval(AST_SymbolRef, function(compressor, depth) {
+        if (reentrant_ref_eval.has(this)) return this;
+
         var fixed = this.fixed_value();
         if (!fixed) return this;
         var value;
         if (HOP(fixed, "_eval")) {
             value = fixed._eval();
         } else {
-            this._eval = return_this;
+            reentrant_ref_eval.add(this);
             value = fixed._eval(compressor, depth);
-            delete this._eval;
+            reentrant_ref_eval.delete(this);
+
             if (value === fixed) return this;
-            fixed._eval = function() {
-                return value;
-            };
         }
         if (value && typeof value == "object") {
             var escaped = this.definition().escaped;
@@ -12863,13 +12944,7 @@ var static_fns = convert_to_predicate({
         }
         return value;
     });
-    var global_objs = {
-        Array: Array,
-        Math: Math,
-        Number: Number,
-        Object: Object,
-        String: String,
-    };
+    var global_objs = { Array, Math, Number, Object, String };
     var static_values = convert_to_predicate({
         Math: [
             "E",
@@ -14395,7 +14470,7 @@ function if_break_in_loop(self, compressor) {
                 body: self.condition
             }));
         }
-        extract_declarations_from_unreachable_code(compressor, self.body, body);
+        trim_unreachable_code(compressor, self.body, body);
         return make_node(AST_BlockStatement, self, {
             body: body
         });
@@ -14466,7 +14541,7 @@ def_optimize(AST_For, function(self, compressor) {
             if (cond instanceof AST_Node) cond = self.condition.tail_node().evaluate(compressor);
             if (!cond) {
                 var body = [];
-                extract_declarations_from_unreachable_code(compressor, self.body, body);
+                trim_unreachable_code(compressor, self.body, body);
                 if (self.init instanceof AST_Statement) {
                     body.push(self.init);
                 } else if (self.init) {
@@ -14502,7 +14577,7 @@ def_optimize(AST_If, function(self, compressor) {
         if (cond instanceof AST_Node) cond = self.condition.tail_node().evaluate(compressor);
         if (!cond) {
             var body = [];
-            extract_declarations_from_unreachable_code(compressor, self.body, body);
+            trim_unreachable_code(compressor, self.body, body);
             body.push(make_node(AST_SimpleStatement, self.condition, {
                 body: self.condition
             }));
@@ -14515,7 +14590,7 @@ def_optimize(AST_If, function(self, compressor) {
             }));
             body.push(self.body);
             if (self.alternative) {
-                extract_declarations_from_unreachable_code(compressor, self.alternative, body);
+                trim_unreachable_code(compressor, self.alternative, body);
             }
             return make_node(AST_BlockStatement, self, { body: body }).optimize(compressor);
         }
@@ -14727,7 +14802,7 @@ def_optimize(AST_Switch, function(self, compressor) {
         if (prev && !aborts(prev)) {
             prev.body = prev.body.concat(branch.body);
         } else {
-            extract_declarations_from_unreachable_code(compressor, branch, decl);
+            trim_unreachable_code(compressor, branch, decl);
         }
     }
 });
@@ -14738,7 +14813,7 @@ def_optimize(AST_Try, function(self, compressor) {
     if (compressor.option("dead_code") && self.body.every(is_empty)) {
         var body = [];
         if (self.bcatch) {
-            extract_declarations_from_unreachable_code(compressor, self.bcatch, body);
+            trim_unreachable_code(compressor, self.bcatch, body);
         }
         if (self.bfinally) body.push(...self.bfinally.body);
         return make_node(AST_BlockStatement, self, {
@@ -17267,7 +17342,7 @@ function lift_key(self, compressor) {
     if (!compressor.option("computed_props")) return self;
     // save a comparison in the typical case
     if (!(self.key instanceof AST_Constant)) return self;
-    // whitelist acceptable props as not all AST_Constants are true constants
+    // allow certain acceptable props as not all AST_Constants are true constants
     if (self.key instanceof AST_String || self.key instanceof AST_Number) {
         if (self.key.value === "__proto__") return self;
         if (self.key.value == "constructor"
@@ -23301,6 +23376,8 @@ function mangle_properties(ast, options) {
         } else if (node instanceof AST_Call
             && node.expression.print_to_string() == "Object.defineProperty") {
             addStrings(node.args[1], add);
+        } else if (node instanceof AST_Binary && node.operator === "in") {
+            addStrings(node.left, add);
         }
     }));
 
@@ -23325,6 +23402,8 @@ function mangle_properties(ast, options) {
         } else if (node instanceof AST_Call
             && node.expression.print_to_string() == "Object.defineProperty") {
             node.args[1] = mangleStrings(node.args[1]);
+        } else if (node instanceof AST_Binary && node.operator === "in") {
+            node.left = mangleStrings(node.left);
         }
     }));
 
@@ -23704,6 +23783,7 @@ async function run_cli({ program, packageJson, fs, path }) {
             options[name] = program[name];
         }
     });
+
     if ("ecma" in program) {
         if (program.ecma != (program.ecma | 0)) fatal("ERROR: ecma must be an integer");
         const ecma = program.ecma | 0;
@@ -23933,7 +24013,7 @@ async function run_cli({ program, packageJson, fs, path }) {
             }
         } else if (program.output) {
             fs.writeFileSync(program.output, result.code);
-            if (options.sourceMap.url !== "inline" && result.map) {
+            if (options.sourceMap && options.sourceMap.url !== "inline" && result.map) {
                 fs.writeFileSync(program.output + ".map", result.map);
             }
         } else {