gobstones-code-runner 0.4.2 → 0.5.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 0176887479fdb5b906fd02a0d35ecb5cb613be7d1d674649b597510b8a2bc2d3
-  data.tar.gz: 1af6bdc0a2687a0880b291142bd2dafc900ee3a7a9fdce9e681415062a44fc81
+  metadata.gz: a46689b03d4e539d3febe946a4caeefa933767b087f7307a2e4add9dc79bc8fb
+  data.tar.gz: 6578e5d6bc23fd76cf07e0e29e23a5920fce6bad0519e188187bf22a184db848
 SHA512:
-  metadata.gz: c13a3dd643aa71eaa4fe0ff02bc965ac8f69705dd55e3a537e3fc23b60c5ee9d0051b2ba673f10a18e8adca97e3e6e2f9fcc7e9f0e64081304e0b153b0931427
-  data.tar.gz: e289d6dea8649ceff3ac87723675b7946bc957b0d9988872464bcd009e768fcbf15b23d3e1e605bde52c6cdbf787bcd37205ff9f6d6ac316305318a47a09051b
+  metadata.gz: f35a4ee2c461c7608b2bc16ec63037667ae8a54b1669c011aa6153941d23ba31a2939867b4f277f79c21e6f1231942c10cdd1440d0acffe4cf233c83d690f750
+  data.tar.gz: cd2ea0b40c3c573fd570629c041ef254020adbc74c6bbb4bba25aaa77d8901866139fb72b6014aee17ba77fbd269d9bff30b9103abd0f3f4bb5858a108257f6a

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

@@ -4479,9 +4479,9 @@ exports.ASTConstructorDeclaration = exports.ASTFieldBinding = exports.ASTExprFun
 
 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; }; }();
 
-var _reader = __webpack_require__(5);
+var _reader = __webpack_require__(6);
 
-var _token = __webpack_require__(6);
+var _token = __webpack_require__(3);
 
 function _possibleConstructorReturn(self, call) { if (!self) { throw new ReferenceError("this hasn't been initialised - super() hasn't been called"); } return call && (typeof call === "object" || typeof call === "function") ? call : self; }
 
@@ -5593,6 +5593,141 @@ var ASTConstructorDeclaration = exports.ASTConstructorDeclaration = function (_A
 "use strict";
 
 
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+
+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; }; }();
+
+function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
+
+/* Token tags are constant symbols */
+var T_EOF = exports.T_EOF = Symbol.for('T_EOF'); // End of file
+var T_NUM = exports.T_NUM = Symbol.for('T_NUM'); // Number
+var T_STRING = exports.T_STRING = Symbol.for('T_STRING'); // String constant
+var T_UPPERID = exports.T_UPPERID = Symbol.for('T_UPPERID'); // Uppercase identifier
+var T_LOWERID = exports.T_LOWERID = Symbol.for('T_LOWERID'); // Lowercase identifier
+
+/* Keywords */
+var T_PROGRAM = exports.T_PROGRAM = Symbol.for('T_PROGRAM');
+var T_INTERACTIVE = exports.T_INTERACTIVE = Symbol.for('T_INTERACTIVE');
+var T_PROCEDURE = exports.T_PROCEDURE = Symbol.for('T_PROCEDURE');
+var T_FUNCTION = exports.T_FUNCTION = Symbol.for('T_FUNCTION');
+var T_RETURN = exports.T_RETURN = Symbol.for('T_RETURN');
+var T_IF = exports.T_IF = Symbol.for('T_IF');
+var T_THEN = exports.T_THEN = Symbol.for('T_THEN');
+var T_ELSEIF = exports.T_ELSEIF = Symbol.for('T_ELSEIF');
+var T_ELSE = exports.T_ELSE = Symbol.for('T_ELSE');
+var T_CHOOSE = exports.T_CHOOSE = Symbol.for('T_CHOOSE');
+var T_WHEN = exports.T_WHEN = Symbol.for('T_WHEN');
+var T_OTHERWISE = exports.T_OTHERWISE = Symbol.for('T_OTHERWISE');
+var T_REPEAT = exports.T_REPEAT = Symbol.for('T_REPEAT');
+var T_FOREACH = exports.T_FOREACH = Symbol.for('T_FOREACH');
+var T_IN = exports.T_IN = Symbol.for('T_IN');
+var T_WHILE = exports.T_WHILE = Symbol.for('T_WHILE');
+var T_SWITCH = exports.T_SWITCH = Symbol.for('T_SWITCH');
+var T_TO = exports.T_TO = Symbol.for('T_TO');
+var T_LET = exports.T_LET = Symbol.for('T_LET');
+var T_NOT = exports.T_NOT = Symbol.for('T_NOT');
+var T_DIV = exports.T_DIV = Symbol.for('T_DIV');
+var T_MOD = exports.T_MOD = Symbol.for('T_MOD');
+var T_TYPE = exports.T_TYPE = Symbol.for('T_TYPE');
+var T_IS = exports.T_IS = Symbol.for('T_IS');
+var T_RECORD = exports.T_RECORD = Symbol.for('T_RECORD');
+var T_VARIANT = exports.T_VARIANT = Symbol.for('T_VARIANT');
+var T_CASE = exports.T_CASE = Symbol.for('T_CASE');
+var T_FIELD = exports.T_FIELD = Symbol.for('T_FIELD');
+var T_UNDERSCORE = exports.T_UNDERSCORE = Symbol.for('T_UNDERSCORE');
+var T_TIMEOUT = exports.T_TIMEOUT = Symbol.for('T_TIMEOUT');
+
+/* Symbols */
+var T_LPAREN = exports.T_LPAREN = Symbol.for('T_LPAREN');
+var T_RPAREN = exports.T_RPAREN = Symbol.for('T_RPAREN');
+var T_LBRACE = exports.T_LBRACE = Symbol.for('T_LBRACE');
+var T_RBRACE = exports.T_RBRACE = Symbol.for('T_RBRACE');
+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');
+var T_ARROW = exports.T_ARROW = Symbol.for('T_ARROW');
+var T_ASSIGN = exports.T_ASSIGN = Symbol.for('T_ASSIGN');
+var T_EQ = exports.T_EQ = Symbol.for('T_EQ');
+var T_NE = exports.T_NE = Symbol.for('T_NE');
+var T_LE = exports.T_LE = Symbol.for('T_LE');
+var T_GE = exports.T_GE = Symbol.for('T_GE');
+var T_LT = exports.T_LT = Symbol.for('T_LT');
+var T_GT = exports.T_GT = Symbol.for('T_GT');
+var T_AND = exports.T_AND = Symbol.for('T_AND');
+var T_OR = exports.T_OR = Symbol.for('T_OR');
+var T_CONCAT = exports.T_CONCAT = Symbol.for('T_CONCAT');
+var T_PLUS = exports.T_PLUS = Symbol.for('T_PLUS');
+var T_MINUS = exports.T_MINUS = Symbol.for('T_MINUS');
+var T_TIMES = exports.T_TIMES = Symbol.for('T_TIMES');
+var T_POW = exports.T_POW = Symbol.for('T_POW');
+
+/* A token is given by:
+ * - A token tag (e.g. T_LOWERID, T_NUM).
+ * - Possibly, a value (e.g. 'nroBolitas', 8).
+ *   When the value is irrelevant, we provide null by convention.
+ * - Two positions, representing its location in the source. */
+
+var Token = exports.Token = function () {
+  function Token(tag, value, startPos, endPos) {
+    _classCallCheck(this, Token);
+
+    this._tag = tag;
+    this._value = value;
+    this._startPos = startPos;
+    this._endPos = endPos;
+  }
+
+  _createClass(Token, [{
+    key: 'toString',
+    value: function toString() {
+      var tag = Symbol.keyFor(this._tag).substring(2);
+      switch (tag) {
+        case 'NUM':case 'STRING':case 'UPPERID':case 'LOWERID':
+          return tag + '("' + this._value + '")';
+        default:
+          return tag;
+      }
+    }
+  }, {
+    key: 'tag',
+    get: function get() {
+      return this._tag;
+    }
+  }, {
+    key: 'value',
+    get: function get() {
+      return this._value;
+    }
+  }, {
+    key: 'startPos',
+    get: function get() {
+      return this._startPos;
+    }
+  }, {
+    key: 'endPos',
+    get: function get() {
+      return this._endPos;
+    }
+  }]);
+
+  return Token;
+}();
+
+/***/ }),
+/* 4 */
+/***/ (function(module, exports, __webpack_require__) {
+
+"use strict";
+
+
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
@@ -5606,7 +5741,7 @@ exports.typesWithOrder = typesWithOrder;
 
 var _i18n = __webpack_require__(0);
 
-var _value = __webpack_require__(4);
+var _value = __webpack_require__(5);
 
 var _exceptions = __webpack_require__(1);
 
@@ -5651,10 +5786,10 @@ function dirEnum() {
  * INIT and TIMEOUT. */
 function keyEventEnum() {
   var modifiers = ['', 'CTRL_', 'ALT_', 'SHIFT_', 'CTRL_ALT_', 'CTRL_SHIFT_', 'ALT_SHIFT_', 'CTRL_ALT_SHIFT_'];
-  var charKeys = ['A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X', 'Y', 'Z'];
-  var specialKeys = ['SPACE', 'ENTER', 'TAB', 'BACKSPACE', 'DELETE', 'ESCAPE'];
-  var symbolKeys = ['PLUS', 'MINUS', 'ASTERISK', 'SLASH', 'EQUALS', 'L_PARENT', 'R_PARENT', 'L_BRACKET', 'R_BRACKET', 'L_ANGLEBR', 'R_ANGLEBR'];
-  var arrowKeys = ['ARROW_LEFT', 'ARROW_RIGHT', 'ARROW_UP', 'ARROW_DOWN'];
+  var charKeys = ['A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X', 'Y', 'Z', '0', '1', '2', '3', '4', '5', '6', '7', '8', '9'];
+  var specialKeys = ['SPACE', 'RETURN', 'TAB', 'BACKSPACE', 'ESCAPE', 'INSERT', 'DELETE', 'HOME', 'END', 'PAGEUP', 'PAGEDOWN', 'F1', 'F2', 'F3', 'F4', 'F5', 'F6', 'F7', 'F8', 'F9', 'F10', 'F11', 'F12'];
+  var symbolKeys = ['AMPERSAND', 'ASTERISK', 'AT', 'BACKSLASH', 'CARET', 'COLON', 'DOLLAR', 'EQUALS', 'EXCLAIM', 'GREATER', 'HASH', 'LESS', 'PERCENT', 'PLUS', 'SEMICOLON', 'SLASH', 'QUESTION', 'QUOTE', 'QUOTEDBL', 'UNDERSCORE', 'LEFTPAREN', 'RIGHTPAREN', 'LEFTBRACKET', 'RIGHTBRACKET', 'LEFTBRACE', 'RIGHTBRACE'];
+  var arrowKeys = ['LEFT', 'RIGHT', 'UP', 'DOWN'];
   var keys = charKeys.concat(specialKeys).concat(symbolKeys).concat(arrowKeys);
 
   var eventNames = [];
@@ -6702,7 +6837,7 @@ var RuntimePrimitives = exports.RuntimePrimitives = function () {
 
     this._primitiveFunctions[(0, _i18n.i18n)('PRIM:boom')] = this._primitiveProcedures[(0, _i18n.i18n)('PRIM:BOOM')];
 
-    /* List opreators */
+    /* List operators */
     this._primitiveFunctions['++'] = new PrimitiveOperation([typeListAny, typeListAny], function (startPos, endPos, globalState, args) {
       var a = args[0];
       var b = args[1];
@@ -6711,6 +6846,10 @@ var RuntimePrimitives = exports.RuntimePrimitives = function () {
       return a.append(b);
     });
 
+    this._primitiveFunctions[(0, _i18n.i18n)('PRIM:isEmpty')] = new PrimitiveOperation([typeListAny], noValidation, function (globalState, a) {
+      return valueFromBool(a.length() === 0);
+    });
+
     this._primitiveFunctions[(0, _i18n.i18n)('PRIM:head')] = new PrimitiveOperation([typeListAny], function (startPos, endPos, globalState, args) {
       var a = args[0];
       if (a.length() === 0) {
@@ -6841,7 +6980,7 @@ var RuntimePrimitives = exports.RuntimePrimitives = function () {
 }();
 
 /***/ }),
-/* 4 */
+/* 5 */
 /***/ (function(module, exports, __webpack_require__) {
 
 "use strict";
@@ -7136,7 +7275,11 @@ var TypeList = exports.TypeList = function (_Type5) {
   _createClass(TypeList, [{
     key: 'toString',
     value: function toString() {
-      return (0, _i18n.i18n)('TYPE:List') + '(' + this._contentType.toString() + ')';
+      var suffix = '';
+      if (!this._contentType.isAny()) {
+        suffix = '(' + this._contentType.toString() + ')';
+      }
+      return (0, _i18n.i18n)('TYPE:List') + suffix;
     }
   }, {
     key: 'isList',
@@ -7205,11 +7348,8 @@ var TypeStructure = exports.TypeStructure = function (_Type6) {
             }
           }
 
-          var qualifiedConstructor = this._typeName + ':' + constructorName;
-          if (fieldStrings.length === 0) {
-            caseStrings.push(qualifiedConstructor);
-          } else {
-            caseStrings.push(qualifiedConstructor + '(' + fieldStrings.join(', ') + ')');
+          if (fieldStrings.length !== 0) {
+            caseStrings.push(constructorName + '(' + fieldStrings.join(', ') + ')');
           }
         }
       } catch (err) {
@@ -7230,7 +7370,7 @@ var TypeStructure = exports.TypeStructure = function (_Type6) {
       if (caseStrings.length === 0) {
         return this._typeName;
       } else {
-        return caseStrings.join(' + ');
+        return this._typeName + ' { ' + caseStrings.join(' | ') + ' }';
       }
     }
   }, {
@@ -8198,7 +8338,7 @@ var ValueStructure = exports.ValueStructure = function (_Value5) {
 }(Value);
 
 /***/ }),
-/* 5 */
+/* 6 */
 /***/ (function(module, exports, __webpack_require__) {
 
 "use strict";
@@ -8491,141 +8631,6 @@ var MultifileReader = exports.MultifileReader = function () {
   return MultifileReader;
 }();
 
-/***/ }),
-/* 6 */
-/***/ (function(module, exports, __webpack_require__) {
-
-"use strict";
-
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-
-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; }; }();
-
-function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
-
-/* Token tags are constant symbols */
-var T_EOF = exports.T_EOF = Symbol.for('T_EOF'); // End of file
-var T_NUM = exports.T_NUM = Symbol.for('T_NUM'); // Number
-var T_STRING = exports.T_STRING = Symbol.for('T_STRING'); // String constant
-var T_UPPERID = exports.T_UPPERID = Symbol.for('T_UPPERID'); // Uppercase identifier
-var T_LOWERID = exports.T_LOWERID = Symbol.for('T_LOWERID'); // Lowercase identifier
-
-/* Keywords */
-var T_PROGRAM = exports.T_PROGRAM = Symbol.for('T_PROGRAM');
-var T_INTERACTIVE = exports.T_INTERACTIVE = Symbol.for('T_INTERACTIVE');
-var T_PROCEDURE = exports.T_PROCEDURE = Symbol.for('T_PROCEDURE');
-var T_FUNCTION = exports.T_FUNCTION = Symbol.for('T_FUNCTION');
-var T_RETURN = exports.T_RETURN = Symbol.for('T_RETURN');
-var T_IF = exports.T_IF = Symbol.for('T_IF');
-var T_THEN = exports.T_THEN = Symbol.for('T_THEN');
-var T_ELSEIF = exports.T_ELSEIF = Symbol.for('T_ELSEIF');
-var T_ELSE = exports.T_ELSE = Symbol.for('T_ELSE');
-var T_CHOOSE = exports.T_CHOOSE = Symbol.for('T_CHOOSE');
-var T_WHEN = exports.T_WHEN = Symbol.for('T_WHEN');
-var T_OTHERWISE = exports.T_OTHERWISE = Symbol.for('T_OTHERWISE');
-var T_REPEAT = exports.T_REPEAT = Symbol.for('T_REPEAT');
-var T_FOREACH = exports.T_FOREACH = Symbol.for('T_FOREACH');
-var T_IN = exports.T_IN = Symbol.for('T_IN');
-var T_WHILE = exports.T_WHILE = Symbol.for('T_WHILE');
-var T_SWITCH = exports.T_SWITCH = Symbol.for('T_SWITCH');
-var T_TO = exports.T_TO = Symbol.for('T_TO');
-var T_LET = exports.T_LET = Symbol.for('T_LET');
-var T_NOT = exports.T_NOT = Symbol.for('T_NOT');
-var T_DIV = exports.T_DIV = Symbol.for('T_DIV');
-var T_MOD = exports.T_MOD = Symbol.for('T_MOD');
-var T_TYPE = exports.T_TYPE = Symbol.for('T_TYPE');
-var T_IS = exports.T_IS = Symbol.for('T_IS');
-var T_RECORD = exports.T_RECORD = Symbol.for('T_RECORD');
-var T_VARIANT = exports.T_VARIANT = Symbol.for('T_VARIANT');
-var T_CASE = exports.T_CASE = Symbol.for('T_CASE');
-var T_FIELD = exports.T_FIELD = Symbol.for('T_FIELD');
-var T_UNDERSCORE = exports.T_UNDERSCORE = Symbol.for('T_UNDERSCORE');
-var T_TIMEOUT = exports.T_TIMEOUT = Symbol.for('T_TIMEOUT');
-
-/* Symbols */
-var T_LPAREN = exports.T_LPAREN = Symbol.for('T_LPAREN');
-var T_RPAREN = exports.T_RPAREN = Symbol.for('T_RPAREN');
-var T_LBRACE = exports.T_LBRACE = Symbol.for('T_LBRACE');
-var T_RBRACE = exports.T_RBRACE = Symbol.for('T_RBRACE');
-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');
-var T_ARROW = exports.T_ARROW = Symbol.for('T_ARROW');
-var T_ASSIGN = exports.T_ASSIGN = Symbol.for('T_ASSIGN');
-var T_EQ = exports.T_EQ = Symbol.for('T_EQ');
-var T_NE = exports.T_NE = Symbol.for('T_NE');
-var T_LE = exports.T_LE = Symbol.for('T_LE');
-var T_GE = exports.T_GE = Symbol.for('T_GE');
-var T_LT = exports.T_LT = Symbol.for('T_LT');
-var T_GT = exports.T_GT = Symbol.for('T_GT');
-var T_AND = exports.T_AND = Symbol.for('T_AND');
-var T_OR = exports.T_OR = Symbol.for('T_OR');
-var T_CONCAT = exports.T_CONCAT = Symbol.for('T_CONCAT');
-var T_PLUS = exports.T_PLUS = Symbol.for('T_PLUS');
-var T_MINUS = exports.T_MINUS = Symbol.for('T_MINUS');
-var T_TIMES = exports.T_TIMES = Symbol.for('T_TIMES');
-var T_POW = exports.T_POW = Symbol.for('T_POW');
-
-/* A token is given by:
- * - A token tag (e.g. T_LOWERID, T_NUM).
- * - Possibly, a value (e.g. 'nroBolitas', 8).
- *   When the value is irrelevant, we provide null by convention.
- * - Two positions, representing its location in the source. */
-
-var Token = exports.Token = function () {
-  function Token(tag, value, startPos, endPos) {
-    _classCallCheck(this, Token);
-
-    this._tag = tag;
-    this._value = value;
-    this._startPos = startPos;
-    this._endPos = endPos;
-  }
-
-  _createClass(Token, [{
-    key: 'toString',
-    value: function toString() {
-      var tag = Symbol.keyFor(this._tag).substring(2);
-      switch (tag) {
-        case 'NUM':case 'STRING':case 'UPPERID':case 'LOWERID':
-          return tag + '("' + this._value + '")';
-        default:
-          return tag;
-      }
-    }
-  }, {
-    key: 'tag',
-    get: function get() {
-      return this._tag;
-    }
-  }, {
-    key: 'value',
-    get: function get() {
-      return this._value;
-    }
-  }, {
-    key: 'startPos',
-    get: function get() {
-      return this._startPos;
-    }
-  }, {
-    key: 'endPos',
-    get: function get() {
-      return this._endPos;
-    }
-  }]);
-
-  return Token;
-}();
-
 /***/ }),
 /* 7 */
 /***/ (function(module, exports, __webpack_require__) {
@@ -8922,6 +8927,8 @@ var LOCALE_ES = exports.LOCALE_ES = {
 
   'errmsg:pattern-number-cannot-be-negative-zero': 'El patrón numérico no puede ser "-0".',
 
+  'errmsg:return-tuple-cannot-be-empty': 'El return tiene que devolver algo.',
+
   'errmsg:pattern-tuple-cannot-be-singleton': 'El patrón para una tupla no puede tener una sola componente. ' + 'Las tuplas tienen 0, 2, 3, o más componentes, pero no 1.',
 
   'errmsg:assignment-tuple-cannot-be-singleton': 'La asignación a una tupla no puede constar de una sola componente. ' + 'Las tuplas tienen 0, 2, 3, o más componentes, pero no 1.',
@@ -9075,6 +9082,36 @@ var LOCALE_ES = exports.LOCALE_ES = {
 
   'errmsg:forbidden-extension-destructuring-foreach': 'El índice de la repetición indexada debe ser un identificador.',
 
+  'errmsg:forbidden-extension-allow-recursion': function errmsgForbiddenExtensionAllowRecursion(cycle) {
+    var msg = [];
+    var _iteratorNormalCompletion2 = true;
+    var _didIteratorError2 = false;
+    var _iteratorError2 = undefined;
+
+    try {
+      for (var _iterator2 = cycle[Symbol.iterator](), _step2; !(_iteratorNormalCompletion2 = (_step2 = _iterator2.next()).done); _iteratorNormalCompletion2 = true) {
+        var call = _step2.value;
+
+        msg.push('  ' + call.caller + ' llama a ' + call.callee + ' (' + call.location.startPos.filename.toString() + ':' + call.location.startPos.line.toString() + ':' + call.location.startPos.column.toString() + ')');
+      }
+    } catch (err) {
+      _didIteratorError2 = true;
+      _iteratorError2 = err;
+    } finally {
+      try {
+        if (!_iteratorNormalCompletion2 && _iterator2.return) {
+          _iterator2.return();
+        }
+      } finally {
+        if (_didIteratorError2) {
+          throw _iteratorError2;
+        }
+      }
+    }
+
+    return 'La recursión está deshabilitada. ' + 'Hay un ciclo en las invocaciones:\n' + msg.join('\n');
+  },
+
   'errmsg:patterns-in-foreach-must-not-be-events': 'El patrón de un foreach no puede ser un evento.',
 
   /* Runtime errors (virtual machine) */
@@ -9188,7 +9225,7 @@ var LOCALE_ES = exports.LOCALE_ES = {
 
   'TYPE:Integer': 'Number',
   'TYPE:String': 'String',
-  'TYPE:Tuple': 'Tuple',
+  'TYPE:Tuple': '',
   'TYPE:List': 'List',
 
   'TYPE:Event': 'Event',
@@ -9233,10 +9270,11 @@ var LOCALE_ES = exports.LOCALE_ES = {
   'PRIM:minDir': 'minDir',
   'PRIM:maxDir': 'maxDir',
 
+  'PRIM:isEmpty': 'vacía',
   'PRIM:head': 'primero',
   'PRIM:tail': 'resto',
   'PRIM:init': 'comienzo',
-  'PRIM:last': 'ultimo',
+  'PRIM:last': 'último',
 
   /* Helpers */
   '<alternative>': function alternative(strings) {
@@ -9833,7 +9871,7 @@ exports.ITypeCheck = exports.IRestoreState = exports.ISaveState = exports.IPrimi
 
 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; }; }();
 
-var _reader = __webpack_require__(5);
+var _reader = __webpack_require__(6);
 
 function _possibleConstructorReturn(self, call) { if (!self) { throw new ReferenceError("this hasn't been initialised - super() hasn't been called"); } return call && (typeof call === "object" || typeof call === "function") ? call : self; }
 
@@ -10687,15 +10725,15 @@ exports.GobstonesInterpreterAPI = 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; }; }();
 
-var _runtime = __webpack_require__(3);
+var _runtime = __webpack_require__(4);
 
 var _runner = __webpack_require__(14);
 
 var _i18n = __webpack_require__(0);
 
-var _board_formats = __webpack_require__(20);
+var _board_formats = __webpack_require__(21);
 
-var _value = __webpack_require__(4);
+var _value = __webpack_require__(5);
 
 var _ast = __webpack_require__(2);
 
@@ -11450,8 +11488,8 @@ LOCALE_EN['CONS:Dir1'] = 'East';
 LOCALE_EN['CONS:Dir2'] = 'South';
 LOCALE_EN['CONS:Dir3'] = 'West';
 
-LOCALE_EN['PRIM:PutStone'] = 'PutStone';
-LOCALE_EN['PRIM:RemoveStone'] = 'RemoveStone';
+LOCALE_EN['PRIM:PutStone'] = 'Drop';
+LOCALE_EN['PRIM:RemoveStone'] = 'Grab';
 LOCALE_EN['PRIM:Move'] = 'Move';
 LOCALE_EN['PRIM:GoToEdge'] = 'GoToEdge';
 LOCALE_EN['PRIM:EmptyBoardContents'] = 'EmptyBoardContents';
@@ -13260,15 +13298,15 @@ var _linter = __webpack_require__(17);
 
 var _symtable = __webpack_require__(8);
 
-var _compiler = __webpack_require__(18);
+var _compiler = __webpack_require__(19);
 
-var _runtime = __webpack_require__(3);
+var _runtime = __webpack_require__(4);
 
-var _vm = __webpack_require__(19);
+var _vm = __webpack_require__(20);
 
-var _reader = __webpack_require__(5);
+var _reader = __webpack_require__(6);
 
-var _token = __webpack_require__(6);
+var _token = __webpack_require__(3);
 
 var _ast = __webpack_require__(2);
 
@@ -13409,6 +13447,8 @@ var Runner = exports.Runner = function () {
     value: function _setLanguageOption(option) {
       if (option === 'DestructuringForeach') {
         this.enableLintCheck('forbidden-extension-destructuring-foreach', false);
+      } else if (option === 'AllowRecursion') {
+        this.enableLintCheck('forbidden-extension-allow-recursion', false);
       } else {
         throw Error('Unknown language option: ' + option);
       }
@@ -13649,7 +13689,7 @@ var _lexer = __webpack_require__(16);
 
 var _i18n = __webpack_require__(0);
 
-var _token = __webpack_require__(6);
+var _token = __webpack_require__(3);
 
 var _ast = __webpack_require__(2);
 
@@ -14037,7 +14077,7 @@ var Parser = exports.Parser = function () {
     value: function _parseStmtReturn() {
       var startPos = this._currentToken.startPos;
       this._match(_token.T_RETURN);
-      var tuple = this._parseExprTuple();
+      var tuple = this._parseExprTuple(false /* possiblyEmpty */);
       var result = new _ast.ASTStmtReturn(tuple);
       result.startPos = startPos;
       result.endPos = tuple.endPos;
@@ -14446,7 +14486,7 @@ var Parser = exports.Parser = function () {
         case _token.T_UPPERID:
           return this._parseExprStructureOrStructureUpdate();
         case _token.T_LPAREN:
-          return this._parseExprTuple();
+          return this._parseExprTuple(true /* possiblyEmpty */);
         case _token.T_LBRACK:
           return this._parseExprListOrRange();
         default:
@@ -14744,13 +14784,17 @@ var Parser = exports.Parser = function () {
 
   }, {
     key: '_parseExprTuple',
-    value: function _parseExprTuple() {
+    value: function _parseExprTuple(possiblyEmpty) {
       var startPos = this._currentToken.startPos;
       this._match(_token.T_LPAREN);
       var expressionList = this._parseExpressionSeq(_token.T_RPAREN);
       var endPos = this._currentToken.startPos;
       this._match(_token.T_RPAREN);
 
+      if (!possiblyEmpty && expressionList === 0) {
+        fail(startPos, endPos, 'return-tuple-cannot-be-empty', []);
+      }
+
       var result = void 0;
       if (expressionList.length === 1) {
         result = expressionList[0];
@@ -14933,9 +14977,9 @@ var _i18n = __webpack_require__(0);
 
 var _exceptions = __webpack_require__(1);
 
-var _reader = __webpack_require__(5);
+var _reader = __webpack_require__(6);
 
-var _token = __webpack_require__(6);
+var _token = __webpack_require__(3);
 
 function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
 
@@ -15034,7 +15078,7 @@ var SYMBOLS = [
 ['++', _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'];
+var LANGUAGE_OPTIONS = ['DestructuringForeach', 'AllowRecursion'];
 
 function leadingZeroes(string) {
   return string.length >= 0 && string[0] === '0';
@@ -15525,6 +15569,8 @@ var _exceptions = __webpack_require__(1);
 
 var _i18n = __webpack_require__(0);
 
+var _recursion_checker = __webpack_require__(18);
+
 function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
 
 function isBlockWithReturn(stmt) {
@@ -15596,7 +15642,8 @@ var Linter = exports.Linter = function () {
       'procedure-used-as-constructor': true,
       'undeclared-constructor': true,
       // Extensions
-      'forbidden-extension-destructuring-foreach': true
+      'forbidden-extension-destructuring-foreach': true,
+      'forbidden-extension-allow-recursion': true
     };
   }
 
@@ -15676,6 +15723,8 @@ var Linter = exports.Linter = function () {
 
           this._lintDefinition(_definition);
         }
+
+        /* Disable recursion */
       } catch (err) {
         _didIteratorError2 = true;
         _iteratorError2 = err;
@@ -15690,6 +15739,8 @@ var Linter = exports.Linter = function () {
           }
         }
       }
+
+      this._disableRecursion(ast);
     }
   }, {
     key: '_addDefinitionToSymbolTable',
@@ -16878,6 +16929,16 @@ var Linter = exports.Linter = function () {
         }
       }
     }
+  }, {
+    key: '_disableRecursion',
+    value: function _disableRecursion(ast) {
+      if (this._enabledLinterChecks['forbidden-extension-allow-recursion']) {
+        var cycle = new _recursion_checker.RecursionChecker().callCycle(ast);
+        if (cycle !== null) {
+          this._lintCheck(cycle[0].location.startPos, cycle[0].location.endPos, 'forbidden-extension-allow-recursion', [cycle]);
+        }
+      }
+    }
 
     /* Throw a syntax error indicating that we expected the name of a
      * constructor, but we got a name which is not a constructor.
@@ -16909,6 +16970,224 @@ var Linter = exports.Linter = function () {
 "use strict";
 
 
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.RecursionChecker = 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; }; }();
+
+var _ast = __webpack_require__(2);
+
+var _token = __webpack_require__(3);
+
+function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
+
+var RecursionChecker = exports.RecursionChecker = function () {
+
+  /*
+   * Each routine call (i.e. procedure or function call) in the source
+   * code is of the form:
+   *    R(e1, ..., en)
+   * where R is the identifier for the routine.
+   *
+   * The token R is called the 'location' of the call.
+   * Observe that the location includes not only the name of the
+   * routine but also its position in the source code.
+   *
+   * The call graph is a dictionary whose keys are strings
+   * and whose values are again dictionaries.
+   * The outer and the inner dictionaries are indexed by routine names
+   * in such a way that:
+   *
+   *   _callGraph[F][G]
+   *
+   * is the location of the first call to G inside the body of F.
+   */
+  function RecursionChecker() {
+    _classCallCheck(this, RecursionChecker);
+
+    this._currentRoutine = null;
+    this._callGraph = {};
+  }
+
+  /*
+   * If there is a cycle in the call graph (using either procedure calls
+   * or function calls), return a list:
+   *   [c1, ..., cn]
+   * where ci is the i-th call involved in a cycle.
+   * A call is of the form:
+   *   {caller: F , callee: G, location: L}
+   * where F is the name (string) of the caller,
+   *       G is the name (string) of the callee,
+   *   and L is the location of the call.
+   *
+   * Otherwise return null.
+   */
+
+
+  _createClass(RecursionChecker, [{
+    key: 'callCycle',
+    value: function callCycle(ast) {
+      /* Build the call graph */
+      this._visitNode(ast);
+
+      /* Find a cycle in the call graph */
+      return this._findCallCycle();
+    }
+
+    /* Visitor -- build the call graph */
+
+  }, {
+    key: '_addEdge',
+    value: function _addEdge(caller, callee) {
+      if (!(caller in this._callGraph)) {
+        this._callGraph[caller] = {};
+      }
+      if (!(callee.value in this._callGraph[caller])) {
+        this._callGraph[caller][callee.value] = callee;
+      }
+    }
+  }, {
+    key: '_visitNode',
+    value: function _visitNode(node) {
+      if (node === null || node instanceof _token.Token) {
+        /* Skip */
+      } else if (node instanceof Array) {
+        this._visitNodes(node);
+      } else {
+        this._visitTaggedNode(node);
+      }
+    }
+  }, {
+    key: '_visitNodes',
+    value: function _visitNodes(nodes) {
+      var _iteratorNormalCompletion = true;
+      var _didIteratorError = false;
+      var _iteratorError = undefined;
+
+      try {
+        for (var _iterator = nodes[Symbol.iterator](), _step; !(_iteratorNormalCompletion = (_step = _iterator.next()).done); _iteratorNormalCompletion = true) {
+          var node = _step.value;
+
+          this._visitNode(node);
+        }
+      } catch (err) {
+        _didIteratorError = true;
+        _iteratorError = err;
+      } finally {
+        try {
+          if (!_iteratorNormalCompletion && _iterator.return) {
+            _iterator.return();
+          }
+        } finally {
+          if (_didIteratorError) {
+            throw _iteratorError;
+          }
+        }
+      }
+    }
+  }, {
+    key: '_visitTaggedNode',
+    value: function _visitTaggedNode(node) {
+      switch (node.tag) {
+        case _ast.N_DefProgram:
+        case _ast.N_DefInteractiveProgram:
+          this._visitProgramDefinition(node);
+          break;
+        case _ast.N_DefProcedure:
+        case _ast.N_DefFunction:
+          this._visitRoutineDefinition(node);
+          break;
+        case _ast.N_StmtProcedureCall:
+          this._visitProcedureCall(node);
+          break;
+        case _ast.N_ExprFunctionCall:
+          this._visitFunctionCall(node);
+          break;
+      }
+      this._visitNodes(node.children);
+    }
+  }, {
+    key: '_visitProgramDefinition',
+    value: function _visitProgramDefinition(node) {
+      this._currentRoutine = 'program';
+    }
+  }, {
+    key: '_visitRoutineDefinition',
+    value: function _visitRoutineDefinition(node) {
+      this._currentRoutine = node.name.value;
+    }
+  }, {
+    key: '_visitProcedureCall',
+    value: function _visitProcedureCall(node) {
+      this._addEdge(this._currentRoutine, node.procedureName);
+    }
+  }, {
+    key: '_visitFunctionCall',
+    value: function _visitFunctionCall(node) {
+      this._addEdge(this._currentRoutine, node.functionName);
+    }
+
+    /* Find a cycle in the call graph */
+
+  }, {
+    key: '_findCallCycle',
+    value: function _findCallCycle() {
+      var visited = {};
+      var parents = {};
+      for (var f in this._callGraph) {
+        visited[f] = true;
+        parents[f] = true;
+        var cycle = this._findCallCycleFrom(visited, parents, [], f);
+        if (cycle != null) {
+          return cycle;
+        }
+        delete parents[f];
+      }
+      return null;
+    }
+  }, {
+    key: '_findCallCycleFrom',
+    value: function _findCallCycleFrom(visited, parents, path, f) {
+      for (var g in this._callGraph[f]) {
+        path.push({
+          'caller': f,
+          'callee': g,
+          'location': this._callGraph[f][g]
+        });
+        if (g in parents) {
+          while (path[0].caller !== g) {
+            path.shift();
+          }
+          path.push();
+          return path; /* Cycle */
+        }
+        if (!(g in visited)) {
+          visited[g] = true;
+          parents[g] = true;
+          var cycle = this._findCallCycleFrom(visited, parents, path, g);
+          if (cycle !== null) {
+            return cycle;
+          }
+          delete parents[g];
+        }
+        path.pop();
+      }
+      return null;
+    }
+  }]);
+
+  return RecursionChecker;
+}();
+
+/***/ }),
+/* 19 */
+/***/ (function(module, exports, __webpack_require__) {
+
+"use strict";
+
+
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
@@ -16920,9 +17199,9 @@ var _ast = __webpack_require__(2);
 
 var _instruction = __webpack_require__(9);
 
-var _value = __webpack_require__(4);
+var _value = __webpack_require__(5);
 
-var _runtime = __webpack_require__(3);
+var _runtime = __webpack_require__(4);
 
 var _i18n = __webpack_require__(0);
 
@@ -18120,7 +18399,7 @@ var Compiler = exports.Compiler = function () {
 }();
 
 /***/ }),
-/* 19 */
+/* 20 */
 /***/ (function(module, exports, __webpack_require__) {
 
 "use strict";
@@ -18135,13 +18414,13 @@ var _createClass = function () { function defineProperties(target, props) { for
 
 var _instruction = __webpack_require__(9);
 
-var _value = __webpack_require__(4);
+var _value = __webpack_require__(5);
 
 var _exceptions = __webpack_require__(1);
 
 var _i18n = __webpack_require__(0);
 
-var _runtime = __webpack_require__(3);
+var _runtime = __webpack_require__(4);
 
 function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
 
@@ -18202,6 +18481,13 @@ function fail(startPos, endPos, reason, args) {
  * - the current instruction pointer
  * - a stack of local values
  * - a map from local names to values
+ *
+ * Each local variable has a type and a value.
+ * - The actual type of the current value held by a variable
+ *   should always be an instance of the type.
+ * - The type of a variable should be the join of all the
+ *   types held historically by the variable.
+ * - The Frame does not impose these conditions.
  */
 
 var Frame = function () {
@@ -18210,6 +18496,7 @@ var Frame = function () {
 
     this._routineName = routineName;
     this._instructionPointer = instructionPointer;
+    this._variableTypes = {};
     this._variables = {};
     this._stack = [];
 
@@ -18221,7 +18508,16 @@ var Frame = function () {
 
   _createClass(Frame, [{
     key: 'setVariable',
-    value: function setVariable(name, value) {
+
+
+    /* Precondition:
+     *   Let oldType = this._variableTypes[name]
+     *   if this._variableTypes[name] is defined.
+     *   Otherwise, let oldType = new TypeAny().
+     *   Then the following condition must hold:
+     *     type = joinTypes(value.type(), oldType) */
+    value: function setVariable(name, type, value) {
+      this._variableTypes[name] = type;
       this._variables[name] = value;
     }
   }, {
@@ -18229,6 +18525,15 @@ var Frame = function () {
     value: function unsetVariable(name, value) {
       delete this._variables[name];
     }
+  }, {
+    key: 'getVariableType',
+    value: function getVariableType(name) {
+      if (name in this._variableTypes) {
+        return this._variableTypes[name];
+      } else {
+        return new _value.TypeAny();
+      }
+    }
   }, {
     key: 'getVariable',
     value: function getVariable(name) {
@@ -18596,17 +18901,15 @@ var VirtualMachine = exports.VirtualMachine = function () {
       var newValue = frame.popValue();
 
       /* Check that types are compatible */
-      var oldValue = frame.getVariable(instruction.variableName);
-      if (oldValue !== null) {
-        var oldType = oldValue.type();
-        var newType = newValue.type();
-        if ((0, _value.joinTypes)(oldType, newType) === null) {
-          fail(instruction.startPos, instruction.endPos, 'incompatible-types-on-assignment', [instruction.variableName, oldType, newType]);
-        }
+      var oldType = frame.getVariableType(instruction.variableName);
+      var valType = newValue.type();
+      var newType = (0, _value.joinTypes)(oldType, valType);
+      if (newType === null) {
+        fail(instruction.startPos, instruction.endPos, 'incompatible-types-on-assignment', [instruction.variableName, oldType, valType]);
       }
 
       /* Proceed with assignment */
-      frame.setVariable(instruction.variableName, newValue);
+      frame.setVariable(instruction.variableName, newType, newValue);
       frame.instructionPointer++;
     }
   }, {
@@ -19048,7 +19351,7 @@ var VirtualMachine = exports.VirtualMachine = function () {
 }();
 
 /***/ }),
-/* 20 */
+/* 21 */
 /***/ (function(module, exports, __webpack_require__) {
 
 "use strict";
@@ -19462,7 +19765,7 @@ function fileBoardFormat(filename) {
   return BOARD_FORMATS[DEFAULT_FORMAT];
 }
 
-var fs = __webpack_require__(21);
+var fs = __webpack_require__(22);
 
 function readJboardFromFile(filename) {
   var format = fileBoardFormat(filename);
@@ -19477,7 +19780,7 @@ function writeJboardToFile(filename, jboard) {
 }
 
 /***/ }),
-/* 21 */
+/* 22 */
 /***/ (function(module, exports) {
 
 

data/lib/gobstones/code-runner/version.rb

@@ -1,5 +1,5 @@
 module Gobstones
   module CodeRunner
-    VERSION = "0.4.2"
+    VERSION = "0.5.2"
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: gobstones-code-runner
 version: !ruby/object:Gem::Version
-  version: 0.4.2
+  version: 0.5.2
 platform: ruby
 authors:
 - Rodrigo Alfonso
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2018-07-24 00:00:00.000000000 Z
+date: 2018-10-03 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler