gobstones-code-runner 0.0.8 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4d096a3edbdc717aeee04ce0a9a6da2e49195707a35140f4f5a6116613a80dc3
-  data.tar.gz: fe6774c8b482b3af6b66bc35a4b0a267420b1ea2c94983c33310a337e0fede8e
+  metadata.gz: 6f7ef66628bf9b72a8a81c6a2bb22cf1fd2a219c5e3a34a1b939ae1d2cd4da3a
+  data.tar.gz: bc604bcb3c94bcbd4aa273afd35e234c5e834159babfaf3a181a3fd26b6c3906
 SHA512:
-  metadata.gz: 6104cf0e37e18b7c16ab9964835cf52de88f004a52598e7c98cc3013d4b0670de88382fc51daaefc6319b787dd7e1672567b51bd880a699b1516f7c507fd88b9
-  data.tar.gz: 64cc76cf22a63d2f68cff993cbf754975448b8160b1fd23ff6fdfe1847d7496ca41a5c9328bd606d3fcefb56412e8c68b2d83ceb87fece8e0c4073e83248e6b3
+  metadata.gz: af4ec3a49236ae4346e8279885c1786ffcbac4c96de3d3dc786a36e72034296c887761ceb34e6d923960aa7624ffbf1f4f3d7e1affc00fcd88de01d3f60964bd
+  data.tar.gz: d38df24298a0d95e10aa94186c4b887520999a3ed9a186710c374e2654a559b9d47efd8c426dbcd4ea60b16665075a93276dcef46d007aa4d46b5077b62d6317

data/app/assets/htmls/gobstones-code-runner.html

@@ -4474,7 +4474,7 @@ var GbsRuntimeError = exports.GbsRuntimeError = function (_GbsInterpreterExcept3
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.ASTConstructorDeclaration = exports.ASTFieldBinding = exports.ASTExprFunctionCall = exports.ASTExprStructureUpdate = exports.ASTExprStructure = exports.ASTExprTuple = exports.ASTExprRange = exports.ASTExprList = exports.ASTExprChoose = exports.ASTExprConstantString = exports.ASTExprConstantNumber = exports.ASTExprVariable = exports.ASTPatternTimeout = exports.ASTPatternTuple = exports.ASTPatternStructure = exports.ASTPatternNumber = exports.ASTPatternWildcard = exports.ASTStmtProcedureCall = exports.ASTStmtAssignTuple = exports.ASTStmtAssignVariable = exports.ASTSwitchBranch = exports.ASTStmtSwitch = exports.ASTStmtWhile = exports.ASTStmtForeach = exports.ASTStmtRepeat = exports.ASTStmtIf = exports.ASTStmtReturn = exports.ASTStmtBlock = exports.ASTDefType = exports.ASTDefFunction = exports.ASTDefProcedure = exports.ASTDefInteractiveProgram = exports.ASTDefProgram = exports.ASTMain = exports.ASTNode = exports.N_ConstructorDeclaration = exports.N_FieldBinding = exports.N_SwitchBranch = exports.N_ExprFunctionCall = exports.N_ExprStructureUpdate = exports.N_ExprStructure = exports.N_ExprTuple = exports.N_ExprRange = exports.N_ExprList = exports.N_ExprChoose = exports.N_ExprConstantString = exports.N_ExprConstantNumber = exports.N_ExprVariable = exports.N_PatternTimeout = exports.N_PatternTuple = exports.N_PatternStructure = exports.N_PatternNumber = exports.N_PatternWildcard = exports.N_StmtProcedureCall = exports.N_StmtAssignTuple = exports.N_StmtAssignVariable = exports.N_StmtSwitch = exports.N_StmtWhile = exports.N_StmtForeach = exports.N_StmtRepeat = exports.N_StmtIf = exports.N_StmtReturn = exports.N_StmtBlock = exports.N_DefType = exports.N_DefFunction = exports.N_DefProcedure = exports.N_DefInteractiveProgram = exports.N_DefProgram = exports.N_Main = undefined;
+exports.ASTConstructorDeclaration = exports.ASTFieldBinding = exports.ASTExprFunctionCall = exports.ASTExprStructureUpdate = exports.ASTExprStructure = exports.ASTExprTuple = exports.ASTExprRange = exports.ASTExprList = exports.ASTExprChoose = exports.ASTExprConstantString = exports.ASTExprConstantNumber = exports.ASTExprVariable = exports.ASTPatternTimeout = exports.ASTPatternTuple = exports.ASTPatternStructure = exports.ASTPatternNumber = exports.ASTPatternVariable = exports.ASTPatternWildcard = exports.ASTStmtProcedureCall = exports.ASTStmtAssignTuple = exports.ASTStmtAssignVariable = exports.ASTSwitchBranch = exports.ASTStmtSwitch = exports.ASTStmtWhile = exports.ASTStmtForeach = exports.ASTStmtRepeat = exports.ASTStmtIf = exports.ASTStmtReturn = exports.ASTStmtBlock = exports.ASTDefType = exports.ASTDefFunction = exports.ASTDefProcedure = exports.ASTDefInteractiveProgram = exports.ASTDefProgram = exports.ASTMain = exports.ASTNode = exports.N_ConstructorDeclaration = exports.N_FieldBinding = exports.N_SwitchBranch = exports.N_ExprFunctionCall = exports.N_ExprStructureUpdate = exports.N_ExprStructure = exports.N_ExprTuple = exports.N_ExprRange = exports.N_ExprList = exports.N_ExprChoose = exports.N_ExprConstantString = exports.N_ExprConstantNumber = exports.N_ExprVariable = exports.N_PatternTimeout = exports.N_PatternTuple = exports.N_PatternStructure = exports.N_PatternNumber = exports.N_PatternVariable = exports.N_PatternWildcard = exports.N_StmtProcedureCall = exports.N_StmtAssignTuple = exports.N_StmtAssignVariable = exports.N_StmtSwitch = exports.N_StmtWhile = exports.N_StmtForeach = exports.N_StmtRepeat = exports.N_StmtIf = exports.N_StmtReturn = exports.N_StmtBlock = exports.N_DefType = exports.N_DefFunction = exports.N_DefProcedure = exports.N_DefInteractiveProgram = exports.N_DefProgram = exports.N_Main = undefined;
 
 var _createClass = function () { function defineProperties(target, props) { for (var i = 0; i < props.length; i++) { var descriptor = props[i]; descriptor.enumerable = descriptor.enumerable || false; descriptor.configurable = true; if ("value" in descriptor) descriptor.writable = true; Object.defineProperty(target, descriptor.key, descriptor); } } return function (Constructor, protoProps, staticProps) { if (protoProps) defineProperties(Constructor.prototype, protoProps); if (staticProps) defineProperties(Constructor, staticProps); return Constructor; }; }();
 
@@ -4508,6 +4508,7 @@ var N_StmtAssignTuple = exports.N_StmtAssignTuple = Symbol.for('N_StmtAssignTupl
 var N_StmtProcedureCall = exports.N_StmtProcedureCall = Symbol.for('N_StmtProcedureCall');
 /* Patterns */
 var N_PatternWildcard = exports.N_PatternWildcard = Symbol.for('N_PatternWildcard');
+var N_PatternVariable = exports.N_PatternVariable = Symbol.for('N_PatternVariable');
 var N_PatternNumber = exports.N_PatternNumber = Symbol.for('N_PatternNumber');
 var N_PatternStructure = exports.N_PatternStructure = Symbol.for('N_PatternStructure');
 var N_PatternTuple = exports.N_PatternTuple = Symbol.for('N_PatternTuple');
@@ -4935,14 +4936,14 @@ var ASTStmtRepeat = exports.ASTStmtRepeat = function (_ASTNode10) {
 var ASTStmtForeach = exports.ASTStmtForeach = function (_ASTNode11) {
   _inherits(ASTStmtForeach, _ASTNode11);
 
-  function ASTStmtForeach(index, range, body) {
+  function ASTStmtForeach(pattern, range, body) {
     _classCallCheck(this, ASTStmtForeach);
 
-    return _possibleConstructorReturn(this, (ASTStmtForeach.__proto__ || Object.getPrototypeOf(ASTStmtForeach)).call(this, N_StmtForeach, [index, range, body]));
+    return _possibleConstructorReturn(this, (ASTStmtForeach.__proto__ || Object.getPrototypeOf(ASTStmtForeach)).call(this, N_StmtForeach, [pattern, range, body]));
   }
 
   _createClass(ASTStmtForeach, [{
-    key: 'index',
+    key: 'pattern',
     get: function get() {
       return this._children[0];
     }
@@ -5117,7 +5118,7 @@ var ASTPatternWildcard = exports.ASTPatternWildcard = function (_ASTNode18) {
   }
 
   _createClass(ASTPatternWildcard, [{
-    key: 'parameters',
+    key: 'boundVariables',
     get: function get() {
       return [];
     }
@@ -5126,8 +5127,32 @@ var ASTPatternWildcard = exports.ASTPatternWildcard = function (_ASTNode18) {
   return ASTPatternWildcard;
 }(ASTNode);
 
-var ASTPatternNumber = exports.ASTPatternNumber = function (_ASTNode19) {
-  _inherits(ASTPatternNumber, _ASTNode19);
+var ASTPatternVariable = exports.ASTPatternVariable = function (_ASTNode19) {
+  _inherits(ASTPatternVariable, _ASTNode19);
+
+  function ASTPatternVariable(variableName) {
+    _classCallCheck(this, ASTPatternVariable);
+
+    return _possibleConstructorReturn(this, (ASTPatternVariable.__proto__ || Object.getPrototypeOf(ASTPatternVariable)).call(this, N_PatternVariable, [variableName]));
+  }
+
+  _createClass(ASTPatternVariable, [{
+    key: 'variableName',
+    get: function get() {
+      return this._children[0];
+    }
+  }, {
+    key: 'boundVariables',
+    get: function get() {
+      return [this._children[0]];
+    }
+  }]);
+
+  return ASTPatternVariable;
+}(ASTNode);
+
+var ASTPatternNumber = exports.ASTPatternNumber = function (_ASTNode20) {
+  _inherits(ASTPatternNumber, _ASTNode20);
 
   function ASTPatternNumber(number) {
     _classCallCheck(this, ASTPatternNumber);
@@ -5141,7 +5166,7 @@ var ASTPatternNumber = exports.ASTPatternNumber = function (_ASTNode19) {
       return this._children[0];
     }
   }, {
-    key: 'parameters',
+    key: 'boundVariables',
     get: function get() {
       return [];
     }
@@ -5150,8 +5175,8 @@ var ASTPatternNumber = exports.ASTPatternNumber = function (_ASTNode19) {
   return ASTPatternNumber;
 }(ASTNode);
 
-var ASTPatternStructure = exports.ASTPatternStructure = function (_ASTNode20) {
-  _inherits(ASTPatternStructure, _ASTNode20);
+var ASTPatternStructure = exports.ASTPatternStructure = function (_ASTNode21) {
+  _inherits(ASTPatternStructure, _ASTNode21);
 
   function ASTPatternStructure(constructorName, parameters) {
     _classCallCheck(this, ASTPatternStructure);
@@ -5165,7 +5190,7 @@ var ASTPatternStructure = exports.ASTPatternStructure = function (_ASTNode20) {
       return this._children[0];
     }
   }, {
-    key: 'parameters',
+    key: 'boundVariables',
     get: function get() {
       return this._children[1];
     }
@@ -5174,8 +5199,8 @@ var ASTPatternStructure = exports.ASTPatternStructure = function (_ASTNode20) {
   return ASTPatternStructure;
 }(ASTNode);
 
-var ASTPatternTuple = exports.ASTPatternTuple = function (_ASTNode21) {
-  _inherits(ASTPatternTuple, _ASTNode21);
+var ASTPatternTuple = exports.ASTPatternTuple = function (_ASTNode22) {
+  _inherits(ASTPatternTuple, _ASTNode22);
 
   function ASTPatternTuple(parameters) {
     _classCallCheck(this, ASTPatternTuple);
@@ -5184,7 +5209,7 @@ var ASTPatternTuple = exports.ASTPatternTuple = function (_ASTNode21) {
   }
 
   _createClass(ASTPatternTuple, [{
-    key: 'parameters',
+    key: 'boundVariables',
     get: function get() {
       return this._children;
     }
@@ -5193,8 +5218,8 @@ var ASTPatternTuple = exports.ASTPatternTuple = function (_ASTNode21) {
   return ASTPatternTuple;
 }(ASTNode);
 
-var ASTPatternTimeout = exports.ASTPatternTimeout = function (_ASTNode22) {
-  _inherits(ASTPatternTimeout, _ASTNode22);
+var ASTPatternTimeout = exports.ASTPatternTimeout = function (_ASTNode23) {
+  _inherits(ASTPatternTimeout, _ASTNode23);
 
   function ASTPatternTimeout(timeout) {
     _classCallCheck(this, ASTPatternTimeout);
@@ -5203,7 +5228,7 @@ var ASTPatternTimeout = exports.ASTPatternTimeout = function (_ASTNode22) {
   }
 
   _createClass(ASTPatternTimeout, [{
-    key: 'parameters',
+    key: 'boundVariables',
     get: function get() {
       return [];
     }
@@ -5219,8 +5244,8 @@ var ASTPatternTimeout = exports.ASTPatternTimeout = function (_ASTNode22) {
 
 /* Expressions */
 
-var ASTExprVariable = exports.ASTExprVariable = function (_ASTNode23) {
-  _inherits(ASTExprVariable, _ASTNode23);
+var ASTExprVariable = exports.ASTExprVariable = function (_ASTNode24) {
+  _inherits(ASTExprVariable, _ASTNode24);
 
   function ASTExprVariable(variableName) {
     _classCallCheck(this, ASTExprVariable);
@@ -5238,8 +5263,8 @@ var ASTExprVariable = exports.ASTExprVariable = function (_ASTNode23) {
   return ASTExprVariable;
 }(ASTNode);
 
-var ASTExprConstantNumber = exports.ASTExprConstantNumber = function (_ASTNode24) {
-  _inherits(ASTExprConstantNumber, _ASTNode24);
+var ASTExprConstantNumber = exports.ASTExprConstantNumber = function (_ASTNode25) {
+  _inherits(ASTExprConstantNumber, _ASTNode25);
 
   function ASTExprConstantNumber(number) {
     _classCallCheck(this, ASTExprConstantNumber);
@@ -5257,8 +5282,8 @@ var ASTExprConstantNumber = exports.ASTExprConstantNumber = function (_ASTNode24
   return ASTExprConstantNumber;
 }(ASTNode);
 
-var ASTExprConstantString = exports.ASTExprConstantString = function (_ASTNode25) {
-  _inherits(ASTExprConstantString, _ASTNode25);
+var ASTExprConstantString = exports.ASTExprConstantString = function (_ASTNode26) {
+  _inherits(ASTExprConstantString, _ASTNode26);
 
   function ASTExprConstantString(string) {
     _classCallCheck(this, ASTExprConstantString);
@@ -5276,8 +5301,8 @@ var ASTExprConstantString = exports.ASTExprConstantString = function (_ASTNode25
   return ASTExprConstantString;
 }(ASTNode);
 
-var ASTExprChoose = exports.ASTExprChoose = function (_ASTNode26) {
-  _inherits(ASTExprChoose, _ASTNode26);
+var ASTExprChoose = exports.ASTExprChoose = function (_ASTNode27) {
+  _inherits(ASTExprChoose, _ASTNode27);
 
   function ASTExprChoose(condition, trueExpr, falseExpr) {
     _classCallCheck(this, ASTExprChoose);
@@ -5305,8 +5330,8 @@ var ASTExprChoose = exports.ASTExprChoose = function (_ASTNode26) {
   return ASTExprChoose;
 }(ASTNode);
 
-var ASTExprList = exports.ASTExprList = function (_ASTNode27) {
-  _inherits(ASTExprList, _ASTNode27);
+var ASTExprList = exports.ASTExprList = function (_ASTNode28) {
+  _inherits(ASTExprList, _ASTNode28);
 
   function ASTExprList(elements) {
     _classCallCheck(this, ASTExprList);
@@ -5324,8 +5349,8 @@ var ASTExprList = exports.ASTExprList = function (_ASTNode27) {
   return ASTExprList;
 }(ASTNode);
 
-var ASTExprRange = exports.ASTExprRange = function (_ASTNode28) {
-  _inherits(ASTExprRange, _ASTNode28);
+var ASTExprRange = exports.ASTExprRange = function (_ASTNode29) {
+  _inherits(ASTExprRange, _ASTNode29);
 
   // Note: second may be null
   function ASTExprRange(first, second, last) {
@@ -5354,8 +5379,8 @@ var ASTExprRange = exports.ASTExprRange = function (_ASTNode28) {
   return ASTExprRange;
 }(ASTNode);
 
-var ASTExprTuple = exports.ASTExprTuple = function (_ASTNode29) {
-  _inherits(ASTExprTuple, _ASTNode29);
+var ASTExprTuple = exports.ASTExprTuple = function (_ASTNode30) {
+  _inherits(ASTExprTuple, _ASTNode30);
 
   function ASTExprTuple(elements) {
     _classCallCheck(this, ASTExprTuple);
@@ -5373,8 +5398,8 @@ var ASTExprTuple = exports.ASTExprTuple = function (_ASTNode29) {
   return ASTExprTuple;
 }(ASTNode);
 
-var ASTExprStructure = exports.ASTExprStructure = function (_ASTNode30) {
-  _inherits(ASTExprStructure, _ASTNode30);
+var ASTExprStructure = exports.ASTExprStructure = function (_ASTNode31) {
+  _inherits(ASTExprStructure, _ASTNode31);
 
   function ASTExprStructure(constructorName, fieldBindings) {
     _classCallCheck(this, ASTExprStructure);
@@ -5428,8 +5453,8 @@ var ASTExprStructure = exports.ASTExprStructure = function (_ASTNode30) {
   return ASTExprStructure;
 }(ASTNode);
 
-var ASTExprStructureUpdate = exports.ASTExprStructureUpdate = function (_ASTNode31) {
-  _inherits(ASTExprStructureUpdate, _ASTNode31);
+var ASTExprStructureUpdate = exports.ASTExprStructureUpdate = function (_ASTNode32) {
+  _inherits(ASTExprStructureUpdate, _ASTNode32);
 
   function ASTExprStructureUpdate(constructorName, original, fieldBindings) {
     _classCallCheck(this, ASTExprStructureUpdate);
@@ -5488,8 +5513,8 @@ var ASTExprStructureUpdate = exports.ASTExprStructureUpdate = function (_ASTNode
   return ASTExprStructureUpdate;
 }(ASTNode);
 
-var ASTExprFunctionCall = exports.ASTExprFunctionCall = function (_ASTNode32) {
-  _inherits(ASTExprFunctionCall, _ASTNode32);
+var ASTExprFunctionCall = exports.ASTExprFunctionCall = function (_ASTNode33) {
+  _inherits(ASTExprFunctionCall, _ASTNode33);
 
   function ASTExprFunctionCall(functionName, args) {
     _classCallCheck(this, ASTExprFunctionCall);
@@ -5512,8 +5537,8 @@ var ASTExprFunctionCall = exports.ASTExprFunctionCall = function (_ASTNode32) {
   return ASTExprFunctionCall;
 }(ASTNode);
 
-var ASTFieldBinding = exports.ASTFieldBinding = function (_ASTNode33) {
-  _inherits(ASTFieldBinding, _ASTNode33);
+var ASTFieldBinding = exports.ASTFieldBinding = function (_ASTNode34) {
+  _inherits(ASTFieldBinding, _ASTNode34);
 
   function ASTFieldBinding(fieldName, value) {
     _classCallCheck(this, ASTFieldBinding);
@@ -5536,8 +5561,8 @@ var ASTFieldBinding = exports.ASTFieldBinding = function (_ASTNode33) {
   return ASTFieldBinding;
 }(ASTNode);
 
-var ASTConstructorDeclaration = exports.ASTConstructorDeclaration = function (_ASTNode34) {
-  _inherits(ASTConstructorDeclaration, _ASTNode34);
+var ASTConstructorDeclaration = exports.ASTConstructorDeclaration = function (_ASTNode35) {
+  _inherits(ASTConstructorDeclaration, _ASTNode35);
 
   function ASTConstructorDeclaration(constructorName, fieldNames) {
     _classCallCheck(this, ASTConstructorDeclaration);
@@ -8498,6 +8523,7 @@ var T_LBRACK = exports.T_LBRACK = Symbol.for('T_LBRACK');
 var T_RBRACK = exports.T_RBRACK = Symbol.for('T_RBRACK');
 var T_COMMA = exports.T_COMMA = Symbol.for('T_COMMA');
 var T_SEMICOLON = exports.T_SEMICOLON = Symbol.for('T_SEMICOLON');
+var T_ELLIPSIS = exports.T_ELLIPSIS = Symbol.for('T_ELLIPSIS');
 var T_RANGE = exports.T_RANGE = Symbol.for('T_RANGE');
 var T_GETS = exports.T_GETS = Symbol.for('T_GETS');
 var T_PIPE = exports.T_PIPE = Symbol.for('T_PIPE');
@@ -8829,6 +8855,10 @@ var LOCALE_ES = exports.LOCALE_ES = {
     return 'Se encontró un "' + delimiter + '" ' + 'pero no había ' + openingDelimiterName(delimiter) + '.';
   },
 
+  'errmsg:unknown-language-option': function errmsgUnknownLanguageOption(option) {
+    return 'Opción desconocida. "' + option + '".';
+  },
+
   /* Parser */
   'errmsg:empty-source': 'El programa está vacío.',
 
@@ -8947,6 +8977,10 @@ var LOCALE_ES = exports.LOCALE_ES = {
 
   'errmsg:wildcard-pattern-should-be-last': 'El comodín "_" tiene que ser la última rama del switch.',
 
+  'errmsg:variable-pattern-should-be-last': function errmsgVariablePatternShouldBeLast(name) {
+    return 'El patrón variable "' + name + '" tiene que ser la última rama del switch.';
+  },
+
   'errmsg:numeric-pattern-repeats-number': function errmsgNumericPatternRepeatsNumber(number) {
     return 'Hay dos ramas distintas para el número "' + number + '".';
   },
@@ -8985,7 +9019,13 @@ var LOCALE_ES = exports.LOCALE_ES = {
     return 'El constructor "' + constructorName + '" corresponde a un ' + 'evento, y solamente se puede manejar implícitamente ' + 'en un programa interactivo (el usuario no puede construir ' + 'instancias).';
   },
 
+  'errmsg:forbidden-extension-destructuring-foreach': 'El índice de la repetición indexada debe ser un identificador.',
+
+  'errmsg:patterns-in-foreach-must-not-be-events': 'El patrón de un foreach no puede ser un evento.',
+
   /* Runtime errors (virtual machine) */
+  'errmsg:ellipsis': 'El programa todavía no está completo.',
+
   'errmsg:undefined-variable': function errmsgUndefinedVariable(variableName) {
     return 'La variable "' + variableName + '" no está definida.';
   },
@@ -9064,6 +9104,8 @@ var LOCALE_ES = exports.LOCALE_ES = {
 
   'errmsg:switch-does-not-match': 'El valor analizado no coincide con ninguna de las ramas del switch.',
 
+  'errmsg:foreach-pattern-does-not-match': 'El elemento no coincide con el patrón esperado por el foreach.',
+
   'errmsg:cannot-divide-by-zero': 'No se puede dividir por cero.',
 
   'errmsg:list-cannot-be-empty': 'La lista no puede ser vacía.',
@@ -13228,7 +13270,33 @@ var Runner = exports.Runner = function () {
   }, {
     key: 'parse',
     value: function parse(input) {
-      this._ast = new _parser.Parser(input).parse();
+      var parser = new _parser.Parser(input);
+      this._ast = parser.parse();
+
+      var _iteratorNormalCompletion = true;
+      var _didIteratorError = false;
+      var _iteratorError = undefined;
+
+      try {
+        for (var _iterator = parser.getLanguageOptions()[Symbol.iterator](), _step; !(_iteratorNormalCompletion = (_step = _iterator.next()).done); _iteratorNormalCompletion = true) {
+          var option = _step.value;
+
+          this._setLanguageOption(option);
+        }
+      } catch (err) {
+        _didIteratorError = true;
+        _iteratorError = err;
+      } finally {
+        try {
+          if (!_iteratorNormalCompletion && _iterator.return) {
+            _iterator.return();
+          }
+        } finally {
+          if (_didIteratorError) {
+            throw _iteratorError;
+          }
+        }
+      }
     }
   }, {
     key: 'enableLintCheck',
@@ -13272,10 +13340,22 @@ var Runner = exports.Runner = function () {
       this._result = this._vm.runEventWithTimeout(eventValue, millisecs);
     }
   }, {
-    key: 'regionStack',
+    key: '_setLanguageOption',
+
 
+    /* Evaluate language options set by the LANGUAGE pragma */
+    value: function _setLanguageOption(option) {
+      if (option === 'DestructuringForeach') {
+        this.enableLintCheck('forbidden-extension-destructuring-foreach', false);
+      } else {
+        throw Error('Unknown language option: ' + option);
+      }
+    }
 
     /* Dynamic stack of regions */
+
+  }, {
+    key: 'regionStack',
     value: function regionStack() {
       return this._vm.regionStack();
     }
@@ -13289,45 +13369,18 @@ var Runner = exports.Runner = function () {
       var symtable = new _symtable.SymbolTable();
 
       /* Populate symbol table with primitive types */
-      var _iteratorNormalCompletion = true;
-      var _didIteratorError = false;
-      var _iteratorError = undefined;
-
-      try {
-        for (var _iterator = this._primitives.types()[Symbol.iterator](), _step; !(_iteratorNormalCompletion = (_step = _iterator.next()).done); _iteratorNormalCompletion = true) {
-          var type = _step.value;
-
-          symtable.defType(this._astDefType(type));
-        }
-
-        /* Populate symbol table with primitive procedures */
-      } catch (err) {
-        _didIteratorError = true;
-        _iteratorError = err;
-      } finally {
-        try {
-          if (!_iteratorNormalCompletion && _iterator.return) {
-            _iterator.return();
-          }
-        } finally {
-          if (_didIteratorError) {
-            throw _iteratorError;
-          }
-        }
-      }
-
       var _iteratorNormalCompletion2 = true;
       var _didIteratorError2 = false;
       var _iteratorError2 = undefined;
 
       try {
-        for (var _iterator2 = this._primitives.procedures()[Symbol.iterator](), _step2; !(_iteratorNormalCompletion2 = (_step2 = _iterator2.next()).done); _iteratorNormalCompletion2 = true) {
-          var procedureName = _step2.value;
+        for (var _iterator2 = this._primitives.types()[Symbol.iterator](), _step2; !(_iteratorNormalCompletion2 = (_step2 = _iterator2.next()).done); _iteratorNormalCompletion2 = true) {
+          var type = _step2.value;
 
-          symtable.defProcedure(this._astDefProcedure(procedureName));
+          symtable.defType(this._astDefType(type));
         }
 
-        /* Populate symbol table with primitive functions */
+        /* Populate symbol table with primitive procedures */
       } catch (err) {
         _didIteratorError2 = true;
         _iteratorError2 = err;
@@ -13348,11 +13401,13 @@ var Runner = exports.Runner = function () {
       var _iteratorError3 = undefined;
 
       try {
-        for (var _iterator3 = this._primitives.functions()[Symbol.iterator](), _step3; !(_iteratorNormalCompletion3 = (_step3 = _iterator3.next()).done); _iteratorNormalCompletion3 = true) {
-          var functionName = _step3.value;
+        for (var _iterator3 = this._primitives.procedures()[Symbol.iterator](), _step3; !(_iteratorNormalCompletion3 = (_step3 = _iterator3.next()).done); _iteratorNormalCompletion3 = true) {
+          var procedureName = _step3.value;
 
-          symtable.defFunction(this._astDefFunction(functionName));
+          symtable.defProcedure(this._astDefProcedure(procedureName));
         }
+
+        /* Populate symbol table with primitive functions */
       } catch (err) {
         _didIteratorError3 = true;
         _iteratorError3 = err;
@@ -13368,21 +13423,15 @@ var Runner = exports.Runner = function () {
         }
       }
 
-      return symtable;
-    }
-  }, {
-    key: '_astDefType',
-    value: function _astDefType(type) {
-      var constructorDeclarations = [];
       var _iteratorNormalCompletion4 = true;
       var _didIteratorError4 = false;
       var _iteratorError4 = undefined;
 
       try {
-        for (var _iterator4 = this._primitives.typeConstructors(type)[Symbol.iterator](), _step4; !(_iteratorNormalCompletion4 = (_step4 = _iterator4.next()).done); _iteratorNormalCompletion4 = true) {
-          var _constructor = _step4.value;
+        for (var _iterator4 = this._primitives.functions()[Symbol.iterator](), _step4; !(_iteratorNormalCompletion4 = (_step4 = _iterator4.next()).done); _iteratorNormalCompletion4 = true) {
+          var functionName = _step4.value;
 
-          constructorDeclarations.push(this._astConstructorDeclaration(type, _constructor));
+          symtable.defFunction(this._astDefFunction(functionName));
         }
       } catch (err) {
         _didIteratorError4 = true;
@@ -13399,6 +13448,37 @@ var Runner = exports.Runner = function () {
         }
       }
 
+      return symtable;
+    }
+  }, {
+    key: '_astDefType',
+    value: function _astDefType(type) {
+      var constructorDeclarations = [];
+      var _iteratorNormalCompletion5 = true;
+      var _didIteratorError5 = false;
+      var _iteratorError5 = undefined;
+
+      try {
+        for (var _iterator5 = this._primitives.typeConstructors(type)[Symbol.iterator](), _step5; !(_iteratorNormalCompletion5 = (_step5 = _iterator5.next()).done); _iteratorNormalCompletion5 = true) {
+          var _constructor = _step5.value;
+
+          constructorDeclarations.push(this._astConstructorDeclaration(type, _constructor));
+        }
+      } catch (err) {
+        _didIteratorError5 = true;
+        _iteratorError5 = err;
+      } finally {
+        try {
+          if (!_iteratorNormalCompletion5 && _iterator5.return) {
+            _iterator5.return();
+          }
+        } finally {
+          if (_didIteratorError5) {
+            throw _iteratorError5;
+          }
+        }
+      }
+
       return new _ast.ASTDefType(tok(_token.T_UPPERID, type), constructorDeclarations);
     }
   }, {
@@ -13425,27 +13505,27 @@ var Runner = exports.Runner = function () {
     key: '_astConstructorDeclaration',
     value: function _astConstructorDeclaration(type, constructor) {
       var fields = [];
-      var _iteratorNormalCompletion5 = true;
-      var _didIteratorError5 = false;
-      var _iteratorError5 = undefined;
+      var _iteratorNormalCompletion6 = true;
+      var _didIteratorError6 = false;
+      var _iteratorError6 = undefined;
 
       try {
-        for (var _iterator5 = this._primitives.constructorFields(type, constructor)[Symbol.iterator](), _step5; !(_iteratorNormalCompletion5 = (_step5 = _iterator5.next()).done); _iteratorNormalCompletion5 = true) {
-          var field = _step5.value;
+        for (var _iterator6 = this._primitives.constructorFields(type, constructor)[Symbol.iterator](), _step6; !(_iteratorNormalCompletion6 = (_step6 = _iterator6.next()).done); _iteratorNormalCompletion6 = true) {
+          var field = _step6.value;
 
           fields.push(tok(_token.T_LOWERID, field));
         }
       } catch (err) {
-        _didIteratorError5 = true;
-        _iteratorError5 = err;
+        _didIteratorError6 = true;
+        _iteratorError6 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion5 && _iterator5.return) {
-            _iterator5.return();
+          if (!_iteratorNormalCompletion6 && _iterator6.return) {
+            _iterator6.return();
           }
         } finally {
-          if (_didIteratorError5) {
-            throw _iteratorError5;
+          if (_didIteratorError6) {
+            throw _iteratorError6;
           }
         }
       }
@@ -13639,6 +13719,15 @@ var Parser = exports.Parser = function () {
       return new _ast.ASTMain(definitions);
     }
 
+    /* Return the list of all language options collected by the tokenizer.
+     * Language options are set by the LANGUAGE pragma. */
+
+  }, {
+    key: 'getLanguageOptions',
+    value: function getLanguageOptions() {
+      return this._lexer.getLanguageOptions();
+    }
+
     /** Definitions **/
 
   }, {
@@ -13819,6 +13908,8 @@ var Parser = exports.Parser = function () {
     key: '_parsePureStatement',
     value: function _parsePureStatement() {
       switch (this._currentToken.tag) {
+        case _token.T_ELLIPSIS:
+          return this._parseStmtEllipsis();
         case _token.T_RETURN:
           return this._parseStmtReturn();
         case _token.T_IF:
@@ -13869,6 +13960,16 @@ var Parser = exports.Parser = function () {
       result.endPos = endPos;
       return result;
     }
+  }, {
+    key: '_parseStmtEllipsis',
+    value: function _parseStmtEllipsis() {
+      var startPos = this._currentToken.startPos;
+      this._match(_token.T_ELLIPSIS);
+      var result = new _ast.ASTStmtProcedureCall(new _token.Token(_token.T_UPPERID, (0, _i18n.i18n)('PRIM:BOOM'), startPos, startPos), [new _ast.ASTExprConstantString(new _token.Token(_token.T_STRING, (0, _i18n.i18n)('errmsg:ellipsis')))]);
+      result.startPos = startPos;
+      result.endPos = this._currentToken.startPos;
+      return result;
+    }
   }, {
     key: '_parseStmtReturn',
     value: function _parseStmtReturn() {
@@ -13935,11 +14036,11 @@ var Parser = exports.Parser = function () {
     value: function _parseStmtForeach() {
       var startPos = this._currentToken.startPos;
       this._match(_token.T_FOREACH);
-      var index = this._parseLowerid();
+      var pattern = this._parsePattern();
       this._match(_token.T_IN);
       var range = this._parseExpression();
       var body = this._parseStmtBlock();
-      var result = new _ast.ASTStmtForeach(index, range, body);
+      var result = new _ast.ASTStmtForeach(pattern, range, body);
       result.startPos = startPos;
       result.endPos = body.endPos;
       return result;
@@ -14048,6 +14149,8 @@ var Parser = exports.Parser = function () {
       switch (this._currentToken.tag) {
         case _token.T_UNDERSCORE:
           return this._parsePatternWildcard();
+        case _token.T_LOWERID:
+          return this._parsePatternVariable();
         case _token.T_NUM:case _token.T_MINUS:
           return this._parsePatternNumber();
         case _token.T_UPPERID:
@@ -14071,6 +14174,16 @@ var Parser = exports.Parser = function () {
       result.endPos = endPos;
       return result;
     }
+  }, {
+    key: '_parsePatternVariable',
+    value: function _parsePatternVariable() {
+      var startPos = this._currentToken.startPos;
+      var id = this._parseLowerid();
+      var result = new _ast.ASTPatternVariable(id);
+      result.startPos = startPos;
+      result.endPos = id.endPos;
+      return result;
+    }
   }, {
     key: '_parsePatternNumber',
     value: function _parsePatternNumber() {
@@ -14258,6 +14371,8 @@ var Parser = exports.Parser = function () {
     key: '_parseExprAtom',
     value: function _parseExprAtom() {
       switch (this._currentToken.tag) {
+        case _token.T_ELLIPSIS:
+          return this._parseExprEllipsis();
         case _token.T_LOWERID:
           return this._parseExprVariableOrFunctionCall();
         case _token.T_NUM:
@@ -14276,6 +14391,16 @@ var Parser = exports.Parser = function () {
           return fail(this._currentToken.startPos, this._currentToken.endPos, 'expected-but-found', [(0, _i18n.i18n)('expression'), (0, _i18n.i18n)(Symbol.keyFor(this._currentToken.tag))]);
       }
     }
+  }, {
+    key: '_parseExprEllipsis',
+    value: function _parseExprEllipsis() {
+      var startPos = this._currentToken.startPos;
+      this._match(_token.T_ELLIPSIS);
+      var result = new _ast.ASTExprFunctionCall(new _token.Token(_token.T_LOWERID, (0, _i18n.i18n)('PRIM:boom'), startPos, startPos), [new _ast.ASTExprConstantString(new _token.Token(_token.T_STRING, (0, _i18n.i18n)('errmsg:ellipsis')))]);
+      result.startPos = startPos;
+      result.endPos = this._currentToken.startPos;
+      return result;
+    }
   }, {
     key: '_parseExprVariableOrFunctionCall',
     value: function _parseExprVariableOrFunctionCall() {
@@ -14829,7 +14954,7 @@ KEYWORDS[(0, _i18n.i18n)('CONS:TIMEOUT')] = _token.T_TIMEOUT;
 var SYMBOLS = [
 /* Various delimiters */
 ['(', _token.T_LPAREN], [')', _token.T_RPAREN], ['{', _token.T_LBRACE], ['}', _token.T_RBRACE], ['[', _token.T_LBRACK], // For lists and ranges
-[']', _token.T_RBRACK], [',', _token.T_COMMA], [';', _token.T_SEMICOLON],
+[']', _token.T_RBRACK], [',', _token.T_COMMA], [';', _token.T_SEMICOLON], ['...', _token.T_ELLIPSIS], // For intentionally incomplete programs
 /* Range operator */
 ['..', _token.T_RANGE],
 /* Assignment */
@@ -14846,6 +14971,9 @@ var SYMBOLS = [
 /* Functions */
 ['++', _token.T_CONCAT], ['+', _token.T_PLUS], ['-', _token.T_MINUS], ['*', _token.T_TIMES], ['^', _token.T_POW]];
 
+/* Valid language options accepted by the LANGUAGE pragma */
+var LANGUAGE_OPTIONS = ['DestructuringForeach'];
+
 function leadingZeroes(string) {
   return string.length >= 0 && string[0] === '0';
 }
@@ -14890,6 +15018,12 @@ var Lexer = exports.Lexer = function () {
      * Pending attributes are used by the parser to decorate any procedure
      * or function definition. */
     this._pendingAttributes = {};
+
+    /* A list of language options, enabled by the LANGUAGE pragma.
+     * Language options are interpreted by the runner to initialize.
+     * the remaining modules (linter, compiler, runtime, ...)
+     * accordingly. */
+    this._languageOptions = [];
   }
 
   /* Return the next token from the input */
@@ -15217,6 +15351,9 @@ var Lexer = exports.Lexer = function () {
         var key = pragma[1];
         var value = pragma.slice(2, pragma.length).join('@');
         this.setAttribute(key, value);
+      } else if (pragma[0] === 'LANGUAGE' && pragma.length === 2) {
+        var languageOption = pragma[1];
+        this.addLanguageOption(languageOption);
       } else {
         this._emitWarning(startPos, this._reader, 'unknown-pragma', [pragma[0]]);
       }
@@ -15275,6 +15412,30 @@ var Lexer = exports.Lexer = function () {
     value: function setAttribute(key, value) {
       this._pendingAttributes[key] = value;
     }
+
+    /*
+     * Interface for handling language options.
+     *
+     * The pragma LANGUAGE@option sets the given option.
+     *
+     * The runner module reads these options to initialize the
+     * linter/compiler/runtime.
+     */
+
+  }, {
+    key: 'getLanguageOptions',
+    value: function getLanguageOptions() {
+      return this._languageOptions;
+    }
+  }, {
+    key: 'addLanguageOption',
+    value: function addLanguageOption(option) {
+      if (LANGUAGE_OPTIONS.indexOf(option) !== -1) {
+        this._languageOptions.push(option);
+      } else {
+        fail(this._reader, this._reader, 'unknown-language-option', [option]);
+      }
+    }
   }]);
 
   return Lexer;
@@ -15343,17 +15504,20 @@ var Linter = exports.Linter = function () {
      * If a check is disabled, it does not produce a syntax error.
      */
     this._enabledLinterChecks = {
+      // Linter options
       'source-should-have-a-program-definition': true,
       'procedure-should-not-have-return': true,
       'function-should-have-return': true,
       'return-statement-not-allowed-here': true,
       'wildcard-pattern-should-be-last': true,
+      'variable-pattern-should-be-last': true,
       'structure-pattern-repeats-constructor': true,
       'structure-pattern-repeats-tuple-arity': true,
       'structure-pattern-repeats-timeout': true,
       'pattern-does-not-match-type': true,
       'patterns-in-interactive-program-must-be-events': true,
       'patterns-in-switch-must-not-be-events': true,
+      'patterns-in-foreach-must-not-be-events': true,
       'repeated-variable-in-tuple-assignment': true,
       'constructor-used-as-procedure': true,
       'undefined-procedure': true,
@@ -15368,7 +15532,9 @@ var Linter = exports.Linter = function () {
       'function-arity-mismatch': true,
       'type-used-as-constructor': true,
       'procedure-used-as-constructor': true,
-      'undeclared-constructor': true
+      'undeclared-constructor': true,
+      // Extensions
+      'forbidden-extension-destructuring-foreach': true
     };
   }
 
@@ -15694,37 +15860,17 @@ var Linter = exports.Linter = function () {
   }, {
     key: '_lintStmtForeach',
     value: function _lintStmtForeach(statement) {
+      this._lintStmtForeachPattern(statement.pattern);
       this._lintExpression(statement.range);
-      this._symtable.addNewLocalName(statement.index, _symtable.LocalIndex);
-      this._lintStatement(statement.body);
-      this._symtable.removeLocalName(statement.index);
-    }
-  }, {
-    key: '_lintStmtWhile',
-    value: function _lintStmtWhile(statement) {
-      this._lintExpression(statement.condition);
-      this._lintStatement(statement.body);
-    }
-  }, {
-    key: '_lintStmtSwitch',
-    value: function _lintStmtSwitch(statement) {
-      this._lintExpression(statement.subject);
-      this._lintSwitchBranches(statement.branches, false /* !isInteractiveProgram */
-      );
-    }
-  }, {
-    key: '_lintSwitchBranches',
-    value: function _lintSwitchBranches(branches, isInteractiveProgram) {
-      /* Check that each pattern is well-formed */
       var _iteratorNormalCompletion6 = true;
       var _didIteratorError6 = false;
       var _iteratorError6 = undefined;
 
       try {
-        for (var _iterator6 = branches[Symbol.iterator](), _step6; !(_iteratorNormalCompletion6 = (_step6 = _iterator6.next()).done); _iteratorNormalCompletion6 = true) {
-          var branch = _step6.value;
+        for (var _iterator6 = statement.pattern.boundVariables[Symbol.iterator](), _step6; !(_iteratorNormalCompletion6 = (_step6 = _iterator6.next()).done); _iteratorNormalCompletion6 = true) {
+          var variable = _step6.value;
 
-          this._lintPattern(branch.pattern);
+          this._symtable.addNewLocalName(variable, _symtable.LocalIndex);
         }
       } catch (err) {
         _didIteratorError6 = true;
@@ -15741,25 +15887,16 @@ var Linter = exports.Linter = function () {
         }
       }
 
-      this._switchBranchesCheckWildcard(branches);
-      this._switchBranchesCheckNoRepeats(branches);
-      this._switchBranchesCheckCompatible(branches);
-      if (isInteractiveProgram) {
-        this._switchBranchesCheckTypeEvent(branches);
-      } else {
-        this._switchBranchesCheckTypeNotEvent(branches);
-      }
-
-      /* Lint recursively each branch */
+      this._lintStatement(statement.body);
       var _iteratorNormalCompletion7 = true;
       var _didIteratorError7 = false;
       var _iteratorError7 = undefined;
 
       try {
-        for (var _iterator7 = branches[Symbol.iterator](), _step7; !(_iteratorNormalCompletion7 = (_step7 = _iterator7.next()).done); _iteratorNormalCompletion7 = true) {
-          var _branch = _step7.value;
+        for (var _iterator7 = statement.pattern.boundVariables[Symbol.iterator](), _step7; !(_iteratorNormalCompletion7 = (_step7 = _iterator7.next()).done); _iteratorNormalCompletion7 = true) {
+          var _variable = _step7.value;
 
-          this._lintSwitchBranchBody(_branch);
+          this._symtable.removeLocalName(_variable);
         }
       } catch (err) {
         _didIteratorError7 = true;
@@ -15776,14 +15913,41 @@ var Linter = exports.Linter = function () {
         }
       }
     }
+  }, {
+    key: '_lintStmtForeachPattern',
+    value: function _lintStmtForeachPattern(pattern) {
+      /* If "DestructuringForeach" is disabled, forbid complex patterns.
+       * Allow only variable patterns (indices). */
+      if (pattern.tag !== _ast.N_PatternVariable) {
+        this._lintCheck(pattern.startPos, pattern.endPos, 'forbidden-extension-destructuring-foreach', []);
+      }
 
-    /* Check that there is at most one wildcard at the end */
+      /* Check that the pattern itself is well-formed */
+      this._lintPattern(pattern);
 
+      /* The pattern in a foreach cannot be an event */
+      var patternType = this._patternType(pattern);
+      if (patternType === (0, _i18n.i18n)('TYPE:Event')) {
+        this._lintCheck(pattern.startPos, pattern.endPos, 'patterns-in-foreach-must-not-be-events', []);
+      }
+    }
   }, {
-    key: '_switchBranchesCheckWildcard',
-    value: function _switchBranchesCheckWildcard(branches) {
-      var i = 0;
-      var n = branches.length;
+    key: '_lintStmtWhile',
+    value: function _lintStmtWhile(statement) {
+      this._lintExpression(statement.condition);
+      this._lintStatement(statement.body);
+    }
+  }, {
+    key: '_lintStmtSwitch',
+    value: function _lintStmtSwitch(statement) {
+      this._lintExpression(statement.subject);
+      this._lintSwitchBranches(statement.branches, false /* !isInteractiveProgram */
+      );
+    }
+  }, {
+    key: '_lintSwitchBranches',
+    value: function _lintSwitchBranches(branches, isInteractiveProgram) {
+      /* Check that each pattern is well-formed */
       var _iteratorNormalCompletion8 = true;
       var _didIteratorError8 = false;
       var _iteratorError8 = undefined;
@@ -15792,11 +15956,7 @@ var Linter = exports.Linter = function () {
         for (var _iterator8 = branches[Symbol.iterator](), _step8; !(_iteratorNormalCompletion8 = (_step8 = _iterator8.next()).done); _iteratorNormalCompletion8 = true) {
           var branch = _step8.value;
 
-          if (branch.pattern.tag === _ast.N_PatternWildcard && i !== n - 1) {
-
-            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'wildcard-pattern-should-be-last', []);
-          }
-          i++;
+          this._lintPattern(branch.pattern);
         }
       } catch (err) {
         _didIteratorError8 = true;
@@ -15812,60 +15972,26 @@ var Linter = exports.Linter = function () {
           }
         }
       }
-    }
 
-    /* Check that there are no repeated constructors in a sequence
-     * of branches. */
+      this._switchBranchesCheckWildcardAndVariable(branches);
+      this._switchBranchesCheckNoRepeats(branches);
+      this._switchBranchesCheckCompatible(branches);
+      if (isInteractiveProgram) {
+        this._switchBranchesCheckTypeEvent(branches);
+      } else {
+        this._switchBranchesCheckTypeNotEvent(branches);
+      }
 
-  }, {
-    key: '_switchBranchesCheckNoRepeats',
-    value: function _switchBranchesCheckNoRepeats(branches) {
-      var coveredNumbers = {};
-      var coveredConstructors = {};
-      var coveredTuples = {};
-      var coveredTimeout = false;
+      /* Lint recursively each branch */
       var _iteratorNormalCompletion9 = true;
       var _didIteratorError9 = false;
       var _iteratorError9 = undefined;
 
       try {
         for (var _iterator9 = branches[Symbol.iterator](), _step9; !(_iteratorNormalCompletion9 = (_step9 = _iterator9.next()).done); _iteratorNormalCompletion9 = true) {
-          var branch = _step9.value;
+          var _branch = _step9.value;
 
-          switch (branch.pattern.tag) {
-            case _ast.N_PatternWildcard:
-              /* Already checked in _switchBranchesCheckWildcard */
-              break;
-            case _ast.N_PatternNumber:
-              var number = branch.pattern.number.value;
-              if (number in coveredNumbers) {
-                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'numeric-pattern-repeats-number', [number]);
-              }
-              coveredNumbers[number] = true;
-              break;
-            case _ast.N_PatternStructure:
-              var constructorName = branch.pattern.constructorName.value;
-              if (constructorName in coveredConstructors) {
-                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'structure-pattern-repeats-constructor', [constructorName]);
-              }
-              coveredConstructors[constructorName] = true;
-              break;
-            case _ast.N_PatternTuple:
-              var arity = branch.pattern.parameters.length;
-              if (arity in coveredTuples) {
-                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'structure-pattern-repeats-tuple-arity', [arity]);
-              }
-              coveredTuples[arity] = true;
-              break;
-            case _ast.N_PatternTimeout:
-              if (coveredTimeout) {
-                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'structure-pattern-repeats-timeout', []);
-              }
-              coveredTimeout = true;
-              break;
-            default:
-              throw Error('Linter: pattern "' + Symbol.keyFor(branch.pattern.tag) + '" not implemented.');
-          }
+          this._lintSwitchBranchBody(_branch);
         }
       } catch (err) {
         _didIteratorError9 = true;
@@ -15883,13 +16009,13 @@ var Linter = exports.Linter = function () {
       }
     }
 
-    /* Check that constructors are compatible,
-     * i.e. that they belong to the same type */
+    /* Check that there is at most one wildcard/variable pattern at the end */
 
   }, {
-    key: '_switchBranchesCheckCompatible',
-    value: function _switchBranchesCheckCompatible(branches) {
-      var expectedType = null;
+    key: '_switchBranchesCheckWildcardAndVariable',
+    value: function _switchBranchesCheckWildcardAndVariable(branches) {
+      var i = 0;
+      var n = branches.length;
       var _iteratorNormalCompletion10 = true;
       var _didIteratorError10 = false;
       var _iteratorError10 = undefined;
@@ -15898,12 +16024,13 @@ var Linter = exports.Linter = function () {
         for (var _iterator10 = branches[Symbol.iterator](), _step10; !(_iteratorNormalCompletion10 = (_step10 = _iterator10.next()).done); _iteratorNormalCompletion10 = true) {
           var branch = _step10.value;
 
-          var patternType = this._patternType(branch.pattern);
-          if (expectedType === null) {
-            expectedType = patternType;
-          } else if (patternType !== null && expectedType !== patternType) {
-            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'pattern-does-not-match-type', [(0, _i18n.i18n)('<pattern-type>')(expectedType), (0, _i18n.i18n)('<pattern-type>')(patternType)]);
+          if (branch.pattern.tag === _ast.N_PatternWildcard && i !== n - 1) {
+            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'wildcard-pattern-should-be-last', []);
+          }
+          if (branch.pattern.tag === _ast.N_PatternVariable && i !== n - 1) {
+            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'variable-pattern-should-be-last', [branch.pattern.variableName.value]);
           }
+          i++;
         }
       } catch (err) {
         _didIteratorError10 = true;
@@ -15921,11 +16048,16 @@ var Linter = exports.Linter = function () {
       }
     }
 
-    /* Check that there are patterns are of type Event */
+    /* Check that there are no repeated constructors in a sequence
+     * of branches. */
 
   }, {
-    key: '_switchBranchesCheckTypeEvent',
-    value: function _switchBranchesCheckTypeEvent(branches) {
+    key: '_switchBranchesCheckNoRepeats',
+    value: function _switchBranchesCheckNoRepeats(branches) {
+      var coveredNumbers = {};
+      var coveredConstructors = {};
+      var coveredTuples = {};
+      var coveredTimeout = false;
       var _iteratorNormalCompletion11 = true;
       var _didIteratorError11 = false;
       var _iteratorError11 = undefined;
@@ -15934,9 +16066,39 @@ var Linter = exports.Linter = function () {
         for (var _iterator11 = branches[Symbol.iterator](), _step11; !(_iteratorNormalCompletion11 = (_step11 = _iterator11.next()).done); _iteratorNormalCompletion11 = true) {
           var branch = _step11.value;
 
-          var patternType = this._patternType(branch.pattern);
-          if (patternType !== null && patternType !== (0, _i18n.i18n)('TYPE:Event')) {
-            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'patterns-in-interactive-program-must-be-events', []);
+          switch (branch.pattern.tag) {
+            case _ast.N_PatternWildcard:case _ast.N_PatternVariable:
+              /* Already checked in _switchBranchesCheckWildcardAndVariable */
+              break;
+            case _ast.N_PatternNumber:
+              var number = branch.pattern.number.value;
+              if (number in coveredNumbers) {
+                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'numeric-pattern-repeats-number', [number]);
+              }
+              coveredNumbers[number] = true;
+              break;
+            case _ast.N_PatternStructure:
+              var constructorName = branch.pattern.constructorName.value;
+              if (constructorName in coveredConstructors) {
+                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'structure-pattern-repeats-constructor', [constructorName]);
+              }
+              coveredConstructors[constructorName] = true;
+              break;
+            case _ast.N_PatternTuple:
+              var arity = branch.pattern.boundVariables.length;
+              if (arity in coveredTuples) {
+                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'structure-pattern-repeats-tuple-arity', [arity]);
+              }
+              coveredTuples[arity] = true;
+              break;
+            case _ast.N_PatternTimeout:
+              if (coveredTimeout) {
+                this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'structure-pattern-repeats-timeout', []);
+              }
+              coveredTimeout = true;
+              break;
+            default:
+              throw Error('Linter: pattern "' + Symbol.keyFor(branch.pattern.tag) + '" not implemented.');
           }
         }
       } catch (err) {
@@ -15955,11 +16117,13 @@ var Linter = exports.Linter = function () {
       }
     }
 
-    /* Check that there are no patterns of type Event */
+    /* Check that constructors are compatible,
+     * i.e. that they belong to the same type */
 
   }, {
-    key: '_switchBranchesCheckTypeNotEvent',
-    value: function _switchBranchesCheckTypeNotEvent(branches) {
+    key: '_switchBranchesCheckCompatible',
+    value: function _switchBranchesCheckCompatible(branches) {
+      var expectedType = null;
       var _iteratorNormalCompletion12 = true;
       var _didIteratorError12 = false;
       var _iteratorError12 = undefined;
@@ -15969,8 +16133,10 @@ var Linter = exports.Linter = function () {
           var branch = _step12.value;
 
           var patternType = this._patternType(branch.pattern);
-          if (patternType === (0, _i18n.i18n)('TYPE:Event')) {
-            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'patterns-in-switch-must-not-be-events', []);
+          if (expectedType === null) {
+            expectedType = patternType;
+          } else if (patternType !== null && expectedType !== patternType) {
+            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'pattern-does-not-match-type', [(0, _i18n.i18n)('<pattern-type>')(expectedType), (0, _i18n.i18n)('<pattern-type>')(patternType)]);
           }
         }
       } catch (err) {
@@ -15989,20 +16155,23 @@ var Linter = exports.Linter = function () {
       }
     }
 
-    /* Recursively lint the body of each branch. Locally bind parameters. */
+    /* Check that there are patterns are of type Event */
 
   }, {
-    key: '_lintSwitchBranchBody',
-    value: function _lintSwitchBranchBody(branch) {
+    key: '_switchBranchesCheckTypeEvent',
+    value: function _switchBranchesCheckTypeEvent(branches) {
       var _iteratorNormalCompletion13 = true;
       var _didIteratorError13 = false;
       var _iteratorError13 = undefined;
 
       try {
-        for (var _iterator13 = branch.pattern.parameters[Symbol.iterator](), _step13; !(_iteratorNormalCompletion13 = (_step13 = _iterator13.next()).done); _iteratorNormalCompletion13 = true) {
-          var parameter = _step13.value;
+        for (var _iterator13 = branches[Symbol.iterator](), _step13; !(_iteratorNormalCompletion13 = (_step13 = _iterator13.next()).done); _iteratorNormalCompletion13 = true) {
+          var branch = _step13.value;
 
-          this._symtable.addNewLocalName(parameter, _symtable.LocalParameter);
+          var patternType = this._patternType(branch.pattern);
+          if (patternType !== null && patternType !== (0, _i18n.i18n)('TYPE:Event')) {
+            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'patterns-in-interactive-program-must-be-events', []);
+          }
         }
       } catch (err) {
         _didIteratorError13 = true;
@@ -16018,17 +16187,25 @@ var Linter = exports.Linter = function () {
           }
         }
       }
+    }
 
-      this._lintStatement(branch.body);
+    /* Check that there are no patterns of type Event */
+
+  }, {
+    key: '_switchBranchesCheckTypeNotEvent',
+    value: function _switchBranchesCheckTypeNotEvent(branches) {
       var _iteratorNormalCompletion14 = true;
       var _didIteratorError14 = false;
       var _iteratorError14 = undefined;
 
       try {
-        for (var _iterator14 = branch.pattern.parameters[Symbol.iterator](), _step14; !(_iteratorNormalCompletion14 = (_step14 = _iterator14.next()).done); _iteratorNormalCompletion14 = true) {
-          var _parameter = _step14.value;
+        for (var _iterator14 = branches[Symbol.iterator](), _step14; !(_iteratorNormalCompletion14 = (_step14 = _iterator14.next()).done); _iteratorNormalCompletion14 = true) {
+          var branch = _step14.value;
 
-          this._symtable.removeLocalName(_parameter);
+          var patternType = this._patternType(branch.pattern);
+          if (patternType === (0, _i18n.i18n)('TYPE:Event')) {
+            this._lintCheck(branch.pattern.startPos, branch.pattern.endPos, 'patterns-in-switch-must-not-be-events', []);
+          }
         }
       } catch (err) {
         _didIteratorError14 = true;
@@ -16046,20 +16223,77 @@ var Linter = exports.Linter = function () {
       }
     }
 
+    /* Recursively lint the body of each branch. Locally bind variables. */
+
+  }, {
+    key: '_lintSwitchBranchBody',
+    value: function _lintSwitchBranchBody(branch) {
+      var _iteratorNormalCompletion15 = true;
+      var _didIteratorError15 = false;
+      var _iteratorError15 = undefined;
+
+      try {
+        for (var _iterator15 = branch.pattern.boundVariables[Symbol.iterator](), _step15; !(_iteratorNormalCompletion15 = (_step15 = _iterator15.next()).done); _iteratorNormalCompletion15 = true) {
+          var variable = _step15.value;
+
+          this._symtable.addNewLocalName(variable, _symtable.LocalParameter);
+        }
+      } catch (err) {
+        _didIteratorError15 = true;
+        _iteratorError15 = err;
+      } finally {
+        try {
+          if (!_iteratorNormalCompletion15 && _iterator15.return) {
+            _iterator15.return();
+          }
+        } finally {
+          if (_didIteratorError15) {
+            throw _iteratorError15;
+          }
+        }
+      }
+
+      this._lintStatement(branch.body);
+      var _iteratorNormalCompletion16 = true;
+      var _didIteratorError16 = false;
+      var _iteratorError16 = undefined;
+
+      try {
+        for (var _iterator16 = branch.pattern.boundVariables[Symbol.iterator](), _step16; !(_iteratorNormalCompletion16 = (_step16 = _iterator16.next()).done); _iteratorNormalCompletion16 = true) {
+          var _variable2 = _step16.value;
+
+          this._symtable.removeLocalName(_variable2);
+        }
+      } catch (err) {
+        _didIteratorError16 = true;
+        _iteratorError16 = err;
+      } finally {
+        try {
+          if (!_iteratorNormalCompletion16 && _iterator16.return) {
+            _iterator16.return();
+          }
+        } finally {
+          if (_didIteratorError16) {
+            throw _iteratorError16;
+          }
+        }
+      }
+    }
+
     /* Return a description of the type of a pattern */
 
   }, {
     key: '_patternType',
     value: function _patternType(pattern) {
       switch (pattern.tag) {
-        case _ast.N_PatternWildcard:
+        case _ast.N_PatternWildcard:case _ast.N_PatternVariable:
           return null;
         case _ast.N_PatternNumber:
           return (0, _i18n.i18n)('TYPE:Integer');
         case _ast.N_PatternStructure:
           return this._symtable.constructorType(pattern.constructorName.value);
         case _ast.N_PatternTuple:
-          return '_TUPLE_' + pattern.parameters.length.toString();
+          return '_TUPLE_' + pattern.boundVariables.length.toString();
         case _ast.N_PatternTimeout:
           return (0, _i18n.i18n)('TYPE:Event');
         default:
@@ -16076,13 +16310,13 @@ var Linter = exports.Linter = function () {
     key: '_lintStmtAssignTuple',
     value: function _lintStmtAssignTuple(statement) {
       var variables = {};
-      var _iteratorNormalCompletion15 = true;
-      var _didIteratorError15 = false;
-      var _iteratorError15 = undefined;
+      var _iteratorNormalCompletion17 = true;
+      var _didIteratorError17 = false;
+      var _iteratorError17 = undefined;
 
       try {
-        for (var _iterator15 = statement.variables[Symbol.iterator](), _step15; !(_iteratorNormalCompletion15 = (_step15 = _iterator15.next()).done); _iteratorNormalCompletion15 = true) {
-          var variable = _step15.value;
+        for (var _iterator17 = statement.variables[Symbol.iterator](), _step17; !(_iteratorNormalCompletion17 = (_step17 = _iterator17.next()).done); _iteratorNormalCompletion17 = true) {
+          var variable = _step17.value;
 
           this._symtable.setLocalName(variable, _symtable.LocalVariable);
           if (variable.value in variables) {
@@ -16091,16 +16325,16 @@ var Linter = exports.Linter = function () {
           variables[variable.value] = true;
         }
       } catch (err) {
-        _didIteratorError15 = true;
-        _iteratorError15 = err;
+        _didIteratorError17 = true;
+        _iteratorError17 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion15 && _iterator15.return) {
-            _iterator15.return();
+          if (!_iteratorNormalCompletion17 && _iterator17.return) {
+            _iterator17.return();
           }
         } finally {
-          if (_didIteratorError15) {
-            throw _iteratorError15;
+          if (_didIteratorError17) {
+            throw _iteratorError17;
           }
         }
       }
@@ -16129,27 +16363,27 @@ var Linter = exports.Linter = function () {
       }
 
       /* Check all the arguments */
-      var _iteratorNormalCompletion16 = true;
-      var _didIteratorError16 = false;
-      var _iteratorError16 = undefined;
+      var _iteratorNormalCompletion18 = true;
+      var _didIteratorError18 = false;
+      var _iteratorError18 = undefined;
 
       try {
-        for (var _iterator16 = statement.args[Symbol.iterator](), _step16; !(_iteratorNormalCompletion16 = (_step16 = _iterator16.next()).done); _iteratorNormalCompletion16 = true) {
-          var argument = _step16.value;
+        for (var _iterator18 = statement.args[Symbol.iterator](), _step18; !(_iteratorNormalCompletion18 = (_step18 = _iterator18.next()).done); _iteratorNormalCompletion18 = true) {
+          var argument = _step18.value;
 
           this._lintExpression(argument);
         }
       } catch (err) {
-        _didIteratorError16 = true;
-        _iteratorError16 = err;
+        _didIteratorError18 = true;
+        _iteratorError18 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion16 && _iterator16.return) {
-            _iterator16.return();
+          if (!_iteratorNormalCompletion18 && _iterator18.return) {
+            _iterator18.return();
           }
         } finally {
-          if (_didIteratorError16) {
-            throw _iteratorError16;
+          if (_didIteratorError18) {
+            throw _iteratorError18;
           }
         }
       }
@@ -16163,6 +16397,8 @@ var Linter = exports.Linter = function () {
       switch (pattern.tag) {
         case _ast.N_PatternWildcard:
           return this._lintPatternWildcard(pattern);
+        case _ast.N_PatternVariable:
+          return this._lintPatternVariable(pattern);
         case _ast.N_PatternNumber:
           return this._lintPatternNumber(pattern);
         case _ast.N_PatternStructure:
@@ -16180,6 +16416,11 @@ var Linter = exports.Linter = function () {
     value: function _lintPatternWildcard(pattern) {
       /* No restrictions */
     }
+  }, {
+    key: '_lintPatternVariable',
+    value: function _lintPatternVariable(pattern) {
+      /* No restrictions */
+    }
   }, {
     key: '_lintPatternNumber',
     value: function _lintPatternNumber(pattern) {
@@ -16201,7 +16442,7 @@ var Linter = exports.Linter = function () {
        * Note: constructor patterns with 0 arguments are always allowed.
        */
       var expected = this._symtable.constructorFields(name).length;
-      var received = pattern.parameters.length;
+      var received = pattern.boundVariables.length;
       if (received > 0 && expected !== received) {
         this._lintCheck(pattern.startPos, pattern.endPos, 'structure-pattern-arity-mismatch', [name, expected, received]);
       }
@@ -16274,27 +16515,27 @@ var Linter = exports.Linter = function () {
   }, {
     key: '_lintExprList',
     value: function _lintExprList(expression) {
-      var _iteratorNormalCompletion17 = true;
-      var _didIteratorError17 = false;
-      var _iteratorError17 = undefined;
+      var _iteratorNormalCompletion19 = true;
+      var _didIteratorError19 = false;
+      var _iteratorError19 = undefined;
 
       try {
-        for (var _iterator17 = expression.elements[Symbol.iterator](), _step17; !(_iteratorNormalCompletion17 = (_step17 = _iterator17.next()).done); _iteratorNormalCompletion17 = true) {
-          var element = _step17.value;
+        for (var _iterator19 = expression.elements[Symbol.iterator](), _step19; !(_iteratorNormalCompletion19 = (_step19 = _iterator19.next()).done); _iteratorNormalCompletion19 = true) {
+          var element = _step19.value;
 
           this._lintExpression(element);
         }
       } catch (err) {
-        _didIteratorError17 = true;
-        _iteratorError17 = err;
+        _didIteratorError19 = true;
+        _iteratorError19 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion17 && _iterator17.return) {
-            _iterator17.return();
+          if (!_iteratorNormalCompletion19 && _iterator19.return) {
+            _iterator19.return();
           }
         } finally {
-          if (_didIteratorError17) {
-            throw _iteratorError17;
+          if (_didIteratorError19) {
+            throw _iteratorError19;
           }
         }
       }
@@ -16311,27 +16552,27 @@ var Linter = exports.Linter = function () {
   }, {
     key: '_lintExprTuple',
     value: function _lintExprTuple(expression) {
-      var _iteratorNormalCompletion18 = true;
-      var _didIteratorError18 = false;
-      var _iteratorError18 = undefined;
+      var _iteratorNormalCompletion20 = true;
+      var _didIteratorError20 = false;
+      var _iteratorError20 = undefined;
 
       try {
-        for (var _iterator18 = expression.elements[Symbol.iterator](), _step18; !(_iteratorNormalCompletion18 = (_step18 = _iterator18.next()).done); _iteratorNormalCompletion18 = true) {
-          var element = _step18.value;
+        for (var _iterator20 = expression.elements[Symbol.iterator](), _step20; !(_iteratorNormalCompletion20 = (_step20 = _iterator20.next()).done); _iteratorNormalCompletion20 = true) {
+          var element = _step20.value;
 
           this._lintExpression(element);
         }
       } catch (err) {
-        _didIteratorError18 = true;
-        _iteratorError18 = err;
+        _didIteratorError20 = true;
+        _iteratorError20 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion18 && _iterator18.return) {
-            _iterator18.return();
+          if (!_iteratorNormalCompletion20 && _iterator20.return) {
+            _iterator20.return();
           }
         } finally {
-          if (_didIteratorError18) {
-            throw _iteratorError18;
+          if (_didIteratorError20) {
+            throw _iteratorError20;
           }
         }
       }
@@ -16380,27 +16621,27 @@ var Linter = exports.Linter = function () {
       }
 
       /* Recursively check expressions in field bindings */
-      var _iteratorNormalCompletion19 = true;
-      var _didIteratorError19 = false;
-      var _iteratorError19 = undefined;
+      var _iteratorNormalCompletion21 = true;
+      var _didIteratorError21 = false;
+      var _iteratorError21 = undefined;
 
       try {
-        for (var _iterator19 = expression.fieldBindings[Symbol.iterator](), _step19; !(_iteratorNormalCompletion19 = (_step19 = _iterator19.next()).done); _iteratorNormalCompletion19 = true) {
-          var fieldBinding = _step19.value;
+        for (var _iterator21 = expression.fieldBindings[Symbol.iterator](), _step21; !(_iteratorNormalCompletion21 = (_step21 = _iterator21.next()).done); _iteratorNormalCompletion21 = true) {
+          var fieldBinding = _step21.value;
 
           this._lintExpression(fieldBinding.value);
         }
       } catch (err) {
-        _didIteratorError19 = true;
-        _iteratorError19 = err;
+        _didIteratorError21 = true;
+        _iteratorError21 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion19 && _iterator19.return) {
-            _iterator19.return();
+          if (!_iteratorNormalCompletion21 && _iterator21.return) {
+            _iterator21.return();
           }
         } finally {
-          if (_didIteratorError19) {
-            throw _iteratorError19;
+          if (_didIteratorError21) {
+            throw _iteratorError21;
           }
         }
       }
@@ -16414,13 +16655,13 @@ var Linter = exports.Linter = function () {
     value: function _checkStructureNoRepeatedFields(constructorName, expression) {
       var declaredFields = expression.fieldNames();
       var seen = {};
-      var _iteratorNormalCompletion20 = true;
-      var _didIteratorError20 = false;
-      var _iteratorError20 = undefined;
+      var _iteratorNormalCompletion22 = true;
+      var _didIteratorError22 = false;
+      var _iteratorError22 = undefined;
 
       try {
-        for (var _iterator20 = declaredFields[Symbol.iterator](), _step20; !(_iteratorNormalCompletion20 = (_step20 = _iterator20.next()).done); _iteratorNormalCompletion20 = true) {
-          var fieldName = _step20.value;
+        for (var _iterator22 = declaredFields[Symbol.iterator](), _step22; !(_iteratorNormalCompletion22 = (_step22 = _iterator22.next()).done); _iteratorNormalCompletion22 = true) {
+          var fieldName = _step22.value;
 
           if (fieldName in seen) {
             this._lintCheck(expression.startPos, expression.endPos, 'structure-construction-repeated-field', [constructorName, fieldName]);
@@ -16428,16 +16669,16 @@ var Linter = exports.Linter = function () {
           seen[fieldName] = true;
         }
       } catch (err) {
-        _didIteratorError20 = true;
-        _iteratorError20 = err;
+        _didIteratorError22 = true;
+        _iteratorError22 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion20 && _iterator20.return) {
-            _iterator20.return();
+          if (!_iteratorNormalCompletion22 && _iterator22.return) {
+            _iterator22.return();
           }
         } finally {
-          if (_didIteratorError20) {
-            throw _iteratorError20;
+          if (_didIteratorError22) {
+            throw _iteratorError22;
           }
         }
       }
@@ -16451,29 +16692,29 @@ var Linter = exports.Linter = function () {
     value: function _checkStructureBindingsCorrect(constructorName, expression) {
       var declaredFields = expression.fieldNames();
       var constructorFields = this._symtable.constructorFields(constructorName);
-      var _iteratorNormalCompletion21 = true;
-      var _didIteratorError21 = false;
-      var _iteratorError21 = undefined;
+      var _iteratorNormalCompletion23 = true;
+      var _didIteratorError23 = false;
+      var _iteratorError23 = undefined;
 
       try {
-        for (var _iterator21 = declaredFields[Symbol.iterator](), _step21; !(_iteratorNormalCompletion21 = (_step21 = _iterator21.next()).done); _iteratorNormalCompletion21 = true) {
-          var fieldName = _step21.value;
+        for (var _iterator23 = declaredFields[Symbol.iterator](), _step23; !(_iteratorNormalCompletion23 = (_step23 = _iterator23.next()).done); _iteratorNormalCompletion23 = true) {
+          var fieldName = _step23.value;
 
           if (constructorFields.indexOf(fieldName) === -1) {
             this._lintCheck(expression.startPos, expression.endPos, 'structure-construction-invalid-field', [constructorName, fieldName]);
           }
         }
       } catch (err) {
-        _didIteratorError21 = true;
-        _iteratorError21 = err;
+        _didIteratorError23 = true;
+        _iteratorError23 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion21 && _iterator21.return) {
-            _iterator21.return();
+          if (!_iteratorNormalCompletion23 && _iterator23.return) {
+            _iterator23.return();
           }
         } finally {
-          if (_didIteratorError21) {
-            throw _iteratorError21;
+          if (_didIteratorError23) {
+            throw _iteratorError23;
           }
         }
       }
@@ -16487,29 +16728,29 @@ var Linter = exports.Linter = function () {
     value: function _checkStructureBindingsComplete(constructorName, expression) {
       var declaredFields = expression.fieldNames();
       var constructorFields = this._symtable.constructorFields(constructorName);
-      var _iteratorNormalCompletion22 = true;
-      var _didIteratorError22 = false;
-      var _iteratorError22 = undefined;
+      var _iteratorNormalCompletion24 = true;
+      var _didIteratorError24 = false;
+      var _iteratorError24 = undefined;
 
       try {
-        for (var _iterator22 = constructorFields[Symbol.iterator](), _step22; !(_iteratorNormalCompletion22 = (_step22 = _iterator22.next()).done); _iteratorNormalCompletion22 = true) {
-          var fieldName = _step22.value;
+        for (var _iterator24 = constructorFields[Symbol.iterator](), _step24; !(_iteratorNormalCompletion24 = (_step24 = _iterator24.next()).done); _iteratorNormalCompletion24 = true) {
+          var fieldName = _step24.value;
 
           if (declaredFields.indexOf(fieldName) === -1) {
             this._lintCheck(expression.startPos, expression.endPos, 'structure-construction-missing-field', [constructorName, fieldName]);
           }
         }
       } catch (err) {
-        _didIteratorError22 = true;
-        _iteratorError22 = err;
+        _didIteratorError24 = true;
+        _iteratorError24 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion22 && _iterator22.return) {
-            _iterator22.return();
+          if (!_iteratorNormalCompletion24 && _iterator24.return) {
+            _iterator24.return();
           }
         } finally {
-          if (_didIteratorError22) {
-            throw _iteratorError22;
+          if (_didIteratorError24) {
+            throw _iteratorError24;
           }
         }
       }
@@ -16550,27 +16791,27 @@ var Linter = exports.Linter = function () {
       }
 
       /* Recursively check arguments */
-      var _iteratorNormalCompletion23 = true;
-      var _didIteratorError23 = false;
-      var _iteratorError23 = undefined;
+      var _iteratorNormalCompletion25 = true;
+      var _didIteratorError25 = false;
+      var _iteratorError25 = undefined;
 
       try {
-        for (var _iterator23 = expression.args[Symbol.iterator](), _step23; !(_iteratorNormalCompletion23 = (_step23 = _iterator23.next()).done); _iteratorNormalCompletion23 = true) {
-          var argument = _step23.value;
+        for (var _iterator25 = expression.args[Symbol.iterator](), _step25; !(_iteratorNormalCompletion25 = (_step25 = _iterator25.next()).done); _iteratorNormalCompletion25 = true) {
+          var argument = _step25.value;
 
           this._lintExpression(argument);
         }
       } catch (err) {
-        _didIteratorError23 = true;
-        _iteratorError23 = err;
+        _didIteratorError25 = true;
+        _iteratorError25 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion23 && _iterator23.return) {
-            _iterator23.return();
+          if (!_iteratorNormalCompletion25 && _iterator25.return) {
+            _iterator25.return();
           }
         } finally {
-          if (_didIteratorError23) {
-            throw _iteratorError23;
+          if (_didIteratorError25) {
+            throw _iteratorError25;
           }
         }
       }
@@ -16968,10 +17209,10 @@ var Compiler = exports.Compiler = function () {
      *   PrimitiveCall "<", 2    ;|
      *   JumpIfFalse labelEnd    ;/
      *
-     *   PushVariable _list                 ;\  get the `pos`-th element of the
-     *   PushVariable _pos                  ;|  list and store it in the local
-     *   PrimitiveCall "_unsafeListNth", 2  ;|  variable "<index>"
-     *   SetVariable <index>                ;/
+     *   PushVariable _list                    ;\ get the `pos`-th element of the
+     *   PushVariable _pos                     ;| list and match the value
+     *   PrimitiveCall "_unsafeListNth", 2     ;| with the pattern of the foreach
+     *   [match with the pattern or fail]      ;/
      *
      *   <body>
      *
@@ -16985,7 +17226,7 @@ var Compiler = exports.Compiler = function () {
      * UnsetVariable _list
      * UnsetVariable _n
      * UnsetVariable _pos
-     * UnsetVariable <index>
+     * [unset all the variables bound by the pattern]
      */
 
   }, {
@@ -16999,9 +17240,45 @@ var Compiler = exports.Compiler = function () {
 
       this._compileExpression(statement.range);
       this._produceList(statement.range.startPos, statement.range.endPos, [new _instruction.ITypeCheck(new _value.TypeList(new _value.TypeAny())), new _instruction.ISetVariable(list), new _instruction.IPushVariable(list), new _instruction.IPrimitiveCall('_unsafeListLength', 1), new _instruction.ISetVariable(n)]);
-      this._produceList(statement.startPos, statement.endPos, [new _instruction.IPushInteger(0), new _instruction.ISetVariable(pos), new _instruction.ILabel(labelStart), new _instruction.IPushVariable(pos), new _instruction.IPushVariable(n), new _instruction.IPrimitiveCall('<', 2), new _instruction.IJumpIfFalse(labelEnd), new _instruction.IPushVariable(list), new _instruction.IPushVariable(pos), new _instruction.IPrimitiveCall('_unsafeListNth', 2), new _instruction.ISetVariable(statement.index.value)]);
+      this._produceList(statement.startPos, statement.endPos, [new _instruction.IPushInteger(0), new _instruction.ISetVariable(pos), new _instruction.ILabel(labelStart), new _instruction.IPushVariable(pos), new _instruction.IPushVariable(n), new _instruction.IPrimitiveCall('<', 2), new _instruction.IJumpIfFalse(labelEnd), new _instruction.IPushVariable(list), new _instruction.IPushVariable(pos), new _instruction.IPrimitiveCall('_unsafeListNth', 2)]);
+      this._compileMatchForeachPatternOrFail(statement.pattern);
       this._compileStatement(statement.body);
-      this._produceList(statement.startPos, statement.endPos, [new _instruction.IPushVariable(pos), new _instruction.IPushInteger(1), new _instruction.IPrimitiveCall('+', 2), new _instruction.ISetVariable(pos), new _instruction.IJump(labelStart), new _instruction.ILabel(labelEnd), new _instruction.IUnsetVariable(list), new _instruction.IUnsetVariable(n), new _instruction.IUnsetVariable(pos), new _instruction.IUnsetVariable(statement.index.value)]);
+      this._produceList(statement.startPos, statement.endPos, [new _instruction.IPushVariable(pos), new _instruction.IPushInteger(1), new _instruction.IPrimitiveCall('+', 2), new _instruction.ISetVariable(pos), new _instruction.IJump(labelStart), new _instruction.ILabel(labelEnd), new _instruction.IUnsetVariable(list), new _instruction.IUnsetVariable(n), new _instruction.IUnsetVariable(pos)]);
+      this._compilePatternUnbind(statement.pattern);
+    }
+
+    /* Attempt to match the pattern against the top of the stack.
+     * If the pattern matches, bind its variables.
+     * Otherwise, issue an error message.
+     * Always pops the top of the stack.
+     */
+
+  }, {
+    key: '_compileMatchForeachPatternOrFail',
+    value: function _compileMatchForeachPatternOrFail(pattern) {
+      switch (pattern.tag) {
+        case _ast.N_PatternWildcard:
+          this._produce(pattern.startPos, pattern.endPos, new _instruction.IPop());
+          return;
+        case _ast.N_PatternVariable:
+          this._produce(pattern.startPos, pattern.endPos, new _instruction.ISetVariable(pattern.variableName.value));
+          return;
+        default:
+          /* Attempt to match, issuing an error message if there is no match:
+           *
+           *   [if subject matches pattern, jump to L]
+           *   [error message: no match]
+           * L:
+           *   [bind pattern to subject]
+           *   [pop subject]
+           */
+          var label = this._freshLabel();
+          this._compilePatternCheck(pattern, label);
+          this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IPushString('foreach-pattern-does-not-match'), new _instruction.IPrimitiveCall('_FAIL', 1), new _instruction.ILabel(label)]);
+          this._compilePatternBind(pattern);
+          this._produce(pattern.startPos, pattern.endPos, new _instruction.IPop());
+          return;
+      }
     }
 
     /* labelStart:
@@ -17204,6 +17481,8 @@ var Compiler = exports.Compiler = function () {
       switch (pattern.tag) {
         case _ast.N_PatternWildcard:
           return this._compilePatternCheckWildcard(pattern, targetLabel);
+        case _ast.N_PatternVariable:
+          return this._compilePatternCheckVariable(pattern, targetLabel);
         case _ast.N_PatternNumber:
           return this._compilePatternCheckNumber(pattern, targetLabel);
         case _ast.N_PatternStructure:
@@ -17221,6 +17500,11 @@ var Compiler = exports.Compiler = function () {
     value: function _compilePatternCheckWildcard(pattern, targetLabel) {
       this._produce(pattern.startPos, pattern.endPos, new _instruction.IJump(targetLabel));
     }
+  }, {
+    key: '_compilePatternCheckVariable',
+    value: function _compilePatternCheckVariable(pattern, targetLabel) {
+      this._produce(pattern.startPos, pattern.endPos, new _instruction.IJump(targetLabel));
+    }
   }, {
     key: '_compilePatternCheckNumber',
     value: function _compilePatternCheckNumber(pattern, targetLabel) {
@@ -17245,14 +17529,14 @@ var Compiler = exports.Compiler = function () {
       /* Check that the type of the value coincides with the type
        * of the tuple */
       var anys = [];
-      for (var i = 0; i < pattern.parameters.length; i++) {
+      for (var i = 0; i < pattern.boundVariables.length; i++) {
         anys.push(new _value.TypeAny());
       }
       var expectedType = new _value.TypeTuple(anys);
       this._produce(pattern.startPos, pattern.endPos, new _instruction.ITypeCheck(expectedType));
 
       /* Jump if the value matches */
-      this._produce(pattern.startPos, pattern.endPos, new _instruction.IJumpIfTuple(pattern.parameters.length, targetLabel));
+      this._produce(pattern.startPos, pattern.endPos, new _instruction.IJumpIfTuple(pattern.boundVariables.length, targetLabel));
     }
   }, {
     key: '_compilePatternCheckTimeout',
@@ -17262,7 +17546,8 @@ var Compiler = exports.Compiler = function () {
 
     /* Pattern binding are instructions that bind the parameters
      * of a pattern to the corresponding parts of the value currently
-     * at the top of the stack.
+     * at the top of the stack. The value at the top of the stack
+     * is never popped (it must be duplicated if necessary).
      */
 
   }, {
@@ -17271,6 +17556,9 @@ var Compiler = exports.Compiler = function () {
       switch (pattern.tag) {
         case _ast.N_PatternWildcard:
           return; /* No parameters to bind */
+        case _ast.N_PatternVariable:
+          this._compilePatternBindVariable(pattern);
+          return;
         case _ast.N_PatternNumber:
           return; /* No parameters to bind */
         case _ast.N_PatternStructure:
@@ -17285,29 +17573,34 @@ var Compiler = exports.Compiler = function () {
           throw Error('Compiler: Pattern binding not implemented: ' + Symbol.keyFor(pattern.tag));
       }
     }
+  }, {
+    key: '_compilePatternBindVariable',
+    value: function _compilePatternBindVariable(pattern) {
+      this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IDup(), new _instruction.ISetVariable(pattern.variableName.value)]);
+    }
   }, {
     key: '_compilePatternBindStructure',
     value: function _compilePatternBindStructure(pattern) {
-      /* Allow pattern with no parameters, even if the constructor
+      /* Allow structure pattern with no parameters, even if the constructor
        * has parameters */
-      if (pattern.parameters.length === 0) {
+      if (pattern.boundVariables.length === 0) {
         return;
       }
 
       var constructorName = pattern.constructorName.value;
       var fieldNames = this._symtable.constructorFields(constructorName);
       for (var i = 0; i < fieldNames.length; i++) {
-        var parameter = pattern.parameters[i];
+        var variable = pattern.boundVariables[i];
         var fieldName = fieldNames[i];
-        this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IReadStructureField(fieldName), new _instruction.ISetVariable(parameter.value)]);
+        this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IReadStructureField(fieldName), new _instruction.ISetVariable(variable.value)]);
       }
     }
   }, {
     key: '_compilePatternBindTuple',
     value: function _compilePatternBindTuple(pattern) {
-      for (var index = 0; index < pattern.parameters.length; index++) {
-        var parameter = pattern.parameters[index];
-        this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IReadTupleComponent(index), new _instruction.ISetVariable(parameter.value)]);
+      for (var index = 0; index < pattern.boundVariables.length; index++) {
+        var variable = pattern.boundVariables[index];
+        this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IReadTupleComponent(index), new _instruction.ISetVariable(variable.value)]);
       }
     }
 
@@ -17317,35 +17610,15 @@ var Compiler = exports.Compiler = function () {
   }, {
     key: '_compilePatternUnbind',
     value: function _compilePatternUnbind(pattern) {
-      switch (pattern.tag) {
-        case _ast.N_PatternWildcard:
-          return; /* No parameters to unbind */
-        case _ast.N_PatternNumber:
-          return; /* No parameters to unbind */
-        case _ast.N_PatternStructure:
-          this._compilePatternUnbindStructure(pattern);
-          return;
-        case _ast.N_PatternTuple:
-          this._compilePatternUnbindTuple(pattern);
-          return;
-        case _ast.N_PatternTimeout:
-          return; /* No parameters to unbind */
-        default:
-          throw Error('Compiler: Pattern unbinding not implemented: ' + Symbol.keyFor(pattern.tag));
-      }
-    }
-  }, {
-    key: '_compilePatternUnbindStructure',
-    value: function _compilePatternUnbindStructure(pattern) {
       var _iteratorNormalCompletion6 = true;
       var _didIteratorError6 = false;
       var _iteratorError6 = undefined;
 
       try {
-        for (var _iterator6 = pattern.parameters[Symbol.iterator](), _step6; !(_iteratorNormalCompletion6 = (_step6 = _iterator6.next()).done); _iteratorNormalCompletion6 = true) {
-          var parameter = _step6.value;
+        for (var _iterator6 = pattern.boundVariables[Symbol.iterator](), _step6; !(_iteratorNormalCompletion6 = (_step6 = _iterator6.next()).done); _iteratorNormalCompletion6 = true) {
+          var variable = _step6.value;
 
-          this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IUnsetVariable(parameter.value)]);
+          this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IUnsetVariable(variable.value)]);
         }
       } catch (err) {
         _didIteratorError6 = true;
@@ -17362,34 +17635,6 @@ var Compiler = exports.Compiler = function () {
         }
       }
     }
-  }, {
-    key: '_compilePatternUnbindTuple',
-    value: function _compilePatternUnbindTuple(pattern) {
-      var _iteratorNormalCompletion7 = true;
-      var _didIteratorError7 = false;
-      var _iteratorError7 = undefined;
-
-      try {
-        for (var _iterator7 = pattern.parameters[Symbol.iterator](), _step7; !(_iteratorNormalCompletion7 = (_step7 = _iterator7.next()).done); _iteratorNormalCompletion7 = true) {
-          var parameter = _step7.value;
-
-          this._produceList(pattern.startPos, pattern.endPos, [new _instruction.IUnsetVariable(parameter.value)]);
-        }
-      } catch (err) {
-        _didIteratorError7 = true;
-        _iteratorError7 = err;
-      } finally {
-        try {
-          if (!_iteratorNormalCompletion7 && _iterator7.return) {
-            _iterator7.return();
-          }
-        } finally {
-          if (_didIteratorError7) {
-            throw _iteratorError7;
-          }
-        }
-      }
-    }
 
     /* Expressions are compiled to instructions that make the size
      * of the local stack grow in exactly one.
@@ -17489,27 +17734,27 @@ var Compiler = exports.Compiler = function () {
   }, {
     key: '_compileExprList',
     value: function _compileExprList(expression) {
-      var _iteratorNormalCompletion8 = true;
-      var _didIteratorError8 = false;
-      var _iteratorError8 = undefined;
+      var _iteratorNormalCompletion7 = true;
+      var _didIteratorError7 = false;
+      var _iteratorError7 = undefined;
 
       try {
-        for (var _iterator8 = expression.elements[Symbol.iterator](), _step8; !(_iteratorNormalCompletion8 = (_step8 = _iterator8.next()).done); _iteratorNormalCompletion8 = true) {
-          var element = _step8.value;
+        for (var _iterator7 = expression.elements[Symbol.iterator](), _step7; !(_iteratorNormalCompletion7 = (_step7 = _iterator7.next()).done); _iteratorNormalCompletion7 = true) {
+          var element = _step7.value;
 
           this._compileExpression(element);
         }
       } catch (err) {
-        _didIteratorError8 = true;
-        _iteratorError8 = err;
+        _didIteratorError7 = true;
+        _iteratorError7 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion8 && _iterator8.return) {
-            _iterator8.return();
+          if (!_iteratorNormalCompletion7 && _iterator7.return) {
+            _iterator7.return();
           }
         } finally {
-          if (_didIteratorError8) {
-            throw _iteratorError8;
+          if (_didIteratorError7) {
+            throw _iteratorError7;
           }
         }
       }
@@ -17539,27 +17784,27 @@ var Compiler = exports.Compiler = function () {
   }, {
     key: '_compileExprTuple',
     value: function _compileExprTuple(expression) {
-      var _iteratorNormalCompletion9 = true;
-      var _didIteratorError9 = false;
-      var _iteratorError9 = undefined;
+      var _iteratorNormalCompletion8 = true;
+      var _didIteratorError8 = false;
+      var _iteratorError8 = undefined;
 
       try {
-        for (var _iterator9 = expression.elements[Symbol.iterator](), _step9; !(_iteratorNormalCompletion9 = (_step9 = _iterator9.next()).done); _iteratorNormalCompletion9 = true) {
-          var element = _step9.value;
+        for (var _iterator8 = expression.elements[Symbol.iterator](), _step8; !(_iteratorNormalCompletion8 = (_step8 = _iterator8.next()).done); _iteratorNormalCompletion8 = true) {
+          var element = _step8.value;
 
           this._compileExpression(element);
         }
       } catch (err) {
-        _didIteratorError9 = true;
-        _iteratorError9 = err;
+        _didIteratorError8 = true;
+        _iteratorError8 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion9 && _iterator9.return) {
-            _iterator9.return();
+          if (!_iteratorNormalCompletion8 && _iterator8.return) {
+            _iterator8.return();
           }
         } finally {
-          if (_didIteratorError9) {
-            throw _iteratorError9;
+          if (_didIteratorError8) {
+            throw _iteratorError8;
           }
         }
       }
@@ -17570,28 +17815,28 @@ var Compiler = exports.Compiler = function () {
     key: '_compileExprStructure',
     value: function _compileExprStructure(expression) {
       var fieldNames = [];
-      var _iteratorNormalCompletion10 = true;
-      var _didIteratorError10 = false;
-      var _iteratorError10 = undefined;
+      var _iteratorNormalCompletion9 = true;
+      var _didIteratorError9 = false;
+      var _iteratorError9 = undefined;
 
       try {
-        for (var _iterator10 = expression.fieldBindings[Symbol.iterator](), _step10; !(_iteratorNormalCompletion10 = (_step10 = _iterator10.next()).done); _iteratorNormalCompletion10 = true) {
-          var fieldBinding = _step10.value;
+        for (var _iterator9 = expression.fieldBindings[Symbol.iterator](), _step9; !(_iteratorNormalCompletion9 = (_step9 = _iterator9.next()).done); _iteratorNormalCompletion9 = true) {
+          var fieldBinding = _step9.value;
 
           this._compileExpression(fieldBinding.value);
           fieldNames.push(fieldBinding.fieldName.value);
         }
       } catch (err) {
-        _didIteratorError10 = true;
-        _iteratorError10 = err;
+        _didIteratorError9 = true;
+        _iteratorError9 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion10 && _iterator10.return) {
-            _iterator10.return();
+          if (!_iteratorNormalCompletion9 && _iterator9.return) {
+            _iterator9.return();
           }
         } finally {
-          if (_didIteratorError10) {
-            throw _iteratorError10;
+          if (_didIteratorError9) {
+            throw _iteratorError9;
           }
         }
       }
@@ -17605,28 +17850,28 @@ var Compiler = exports.Compiler = function () {
     value: function _compileExprStructureUpdate(expression) {
       this._compileExpression(expression.original);
       var fieldNames = [];
-      var _iteratorNormalCompletion11 = true;
-      var _didIteratorError11 = false;
-      var _iteratorError11 = undefined;
+      var _iteratorNormalCompletion10 = true;
+      var _didIteratorError10 = false;
+      var _iteratorError10 = undefined;
 
       try {
-        for (var _iterator11 = expression.fieldBindings[Symbol.iterator](), _step11; !(_iteratorNormalCompletion11 = (_step11 = _iterator11.next()).done); _iteratorNormalCompletion11 = true) {
-          var fieldBinding = _step11.value;
+        for (var _iterator10 = expression.fieldBindings[Symbol.iterator](), _step10; !(_iteratorNormalCompletion10 = (_step10 = _iterator10.next()).done); _iteratorNormalCompletion10 = true) {
+          var fieldBinding = _step10.value;
 
           this._compileExpression(fieldBinding.value);
           fieldNames.push(fieldBinding.fieldName.value);
         }
       } catch (err) {
-        _didIteratorError11 = true;
-        _iteratorError11 = err;
+        _didIteratorError10 = true;
+        _iteratorError10 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion11 && _iterator11.return) {
-            _iterator11.return();
+          if (!_iteratorNormalCompletion10 && _iterator10.return) {
+            _iterator10.return();
           }
         } finally {
-          if (_didIteratorError11) {
-            throw _iteratorError11;
+          if (_didIteratorError10) {
+            throw _iteratorError10;
           }
         }
       }
@@ -17653,27 +17898,27 @@ var Compiler = exports.Compiler = function () {
       } else if (functionName === '||') {
         this._compileExprFunctionCallOr(expression);
       } else {
-        var _iteratorNormalCompletion12 = true;
-        var _didIteratorError12 = false;
-        var _iteratorError12 = undefined;
+        var _iteratorNormalCompletion11 = true;
+        var _didIteratorError11 = false;
+        var _iteratorError11 = undefined;
 
         try {
-          for (var _iterator12 = expression.args[Symbol.iterator](), _step12; !(_iteratorNormalCompletion12 = (_step12 = _iterator12.next()).done); _iteratorNormalCompletion12 = true) {
-            var argument = _step12.value;
+          for (var _iterator11 = expression.args[Symbol.iterator](), _step11; !(_iteratorNormalCompletion11 = (_step11 = _iterator11.next()).done); _iteratorNormalCompletion11 = true) {
+            var argument = _step11.value;
 
             this._compileExpression(argument);
           }
         } catch (err) {
-          _didIteratorError12 = true;
-          _iteratorError12 = err;
+          _didIteratorError11 = true;
+          _iteratorError11 = err;
         } finally {
           try {
-            if (!_iteratorNormalCompletion12 && _iterator12.return) {
-              _iterator12.return();
+            if (!_iteratorNormalCompletion11 && _iterator11.return) {
+              _iterator11.return();
             }
           } finally {
-            if (_didIteratorError12) {
-              throw _iteratorError12;
+            if (_didIteratorError11) {
+              throw _iteratorError11;
             }
           }
         }
@@ -17762,27 +18007,27 @@ var Compiler = exports.Compiler = function () {
   }, {
     key: '_produceList',
     value: function _produceList(startPos, endPos, instructions) {
-      var _iteratorNormalCompletion13 = true;
-      var _didIteratorError13 = false;
-      var _iteratorError13 = undefined;
+      var _iteratorNormalCompletion12 = true;
+      var _didIteratorError12 = false;
+      var _iteratorError12 = undefined;
 
       try {
-        for (var _iterator13 = instructions[Symbol.iterator](), _step13; !(_iteratorNormalCompletion13 = (_step13 = _iterator13.next()).done); _iteratorNormalCompletion13 = true) {
-          var instruction = _step13.value;
+        for (var _iterator12 = instructions[Symbol.iterator](), _step12; !(_iteratorNormalCompletion12 = (_step12 = _iterator12.next()).done); _iteratorNormalCompletion12 = true) {
+          var instruction = _step12.value;
 
           this._produce(startPos, endPos, instruction);
         }
       } catch (err) {
-        _didIteratorError13 = true;
-        _iteratorError13 = err;
+        _didIteratorError12 = true;
+        _iteratorError12 = err;
       } finally {
         try {
-          if (!_iteratorNormalCompletion13 && _iterator13.return) {
-            _iterator13.return();
+          if (!_iteratorNormalCompletion12 && _iterator12.return) {
+            _iterator12.return();
           }
         } finally {
-          if (_didIteratorError13) {
-            throw _iteratorError13;
+          if (_didIteratorError12) {
+            throw _iteratorError12;
           }
         }
       }