Allow interpolated strings and adjacent strings to be compile-time constants.

frog/minfrog

 #!/usr/bin/env node
 //  ********** Library dart:core **************
 //  ********** Natives dart:core **************
 function $defProp(obj, prop, value) {
   Object.defineProperty(obj, prop,
       {value: value, enumerable: false, writable: true, configurable: true});
 }
 Function.prototype.bind = Function.prototype.bind ||
   function(thisObj) {
     var func = this;
@@ skipping 2122 matching lines @@
 }
 MethodAnalyzer.prototype.visitBool = function(node) {
   return this.visitTypedValue(node, $globals.world.boolType);
 }
 MethodAnalyzer.prototype.visitValue = function(node) {
   if (node == null) return null;
   var value = node.visit(this);
   value.checkFirstClass(node.span);
   return value;
 }
-MethodAnalyzer.prototype.get$visitValue = function() {
-  return this.visitValue.bind(this);
-}
 MethodAnalyzer.prototype.visitTypedValue = function(node, expectedType) {
   var val = this.visitValue(node);
   return null == val ? null : val.convertTo(this._frame, expectedType);
 }
 MethodAnalyzer.prototype.visitVoid = function(node) {
   return this.visitValue(node);
 }
 MethodAnalyzer.prototype._visitArgs = function(arguments) {
   var args = [];
   var seenLabel = false;
@@ skipping 489 matching lines @@
 MethodAnalyzer.prototype.visitThisExpression = function(node) {
   return this._frame.makeThisValue(node);
 }
 MethodAnalyzer.prototype.visitSuperExpression = function(node) {
   return this._frame.makeSuperValue(node);
 }
 MethodAnalyzer.prototype.visitLiteralExpression = function(node) {
   return new PureStaticValue(node.value.get$type(), node.span, true, false);
 }
 MethodAnalyzer.prototype.visitStringConcatExpression = function(node) {
-  node.strings.forEach(this.get$visitValue());
-  return this._frame._makeValue($globals.world.stringType, node);
+  var $this = this; // closure support
+  var isConst = true;
+  node.strings.forEach((function (each) {
+    if (!$this.visitValue(each).get$isConst()) isConst = false;
+  })
+  );
+  return new PureStaticValue($globals.world.stringType, node.span, isConst, false);
 }
 MethodAnalyzer.prototype.visitStringInterpExpression = function(node) {
-  node.pieces.forEach(this.get$visitValue());
-  return this._frame._makeValue($globals.world.stringType, node);
+  var $this = this; // closure support
+  var isConst = true;
+  node.pieces.forEach((function (each) {
+    if (!$this.visitValue(each).get$isConst()) isConst = false;
+  })
+  );
+  return new PureStaticValue($globals.world.stringType, node.span, isConst, false);
 }
 MethodAnalyzer.prototype._pushBlock$1 = MethodAnalyzer.prototype._pushBlock;
 MethodAnalyzer.prototype.analyze$1 = MethodAnalyzer.prototype.analyze;
 MethodAnalyzer.prototype.visitBinaryExpression$1 = function($0) {
   return this.visitBinaryExpression($0, false);
 };
 MethodAnalyzer.prototype.visitCallExpression$1 = function($0) {
   return this.visitCallExpression($0, false);
 };
 MethodAnalyzer.prototype.visitPostfixExpression$1 = function($0) {
@@ skipping 2462 matching lines @@
 }
 MethodGenerator.prototype._isUnaryIncrement = function(item) {
   if ((item instanceof UnaryExpression)) {
     var u = item;
     return u.op.kind == (16) || u.op.kind == (17);
   }
   else {
     return false;
   }
 }
+MethodGenerator.prototype.foldStrings = function(strings) {
+  var buffer = new StringBufferImpl("");
+  for (var $$i = strings.iterator(); $$i.hasNext(); ) {
+    var part = $$i.next();
+    buffer.add(part.get$constValue().get$actualValue());
+  }
+  return buffer.toString();
+}
 MethodGenerator.prototype.visitStringConcatExpression = function(node) {
   var items = [];
+  var itemsConst = [];
   var $$list = node.strings;
   for (var $$i = $$list.iterator(); $$i.hasNext(); ) {
     var item = $$i.next();
     var val = this.visitValue(item);
+    if (val.get$isConst()) itemsConst.add(val);
     items.add(val.get$code());
   }
-  return new Value($globals.world.stringType, ("(" + Strings.join(items, " + ") + ")"), node.span);
+  if (items.get$length() == itemsConst.get$length()) {
+    return new StringValue(this.foldStrings(itemsConst), true, node.span);
+  }
+  else {
+    var code = ("(" + Strings.join(items, " + ") + ")");
+    return new Value($globals.world.stringType, code, node.span);
+  }
 }
 MethodGenerator.prototype.visitStringInterpExpression = function(node) {
   var items = [];
+  var itemsConst = [];
   var $$list = node.pieces;
   for (var $$i = $$list.iterator(); $$i.hasNext(); ) {
     var item = $$i.next();
     var val = this.visitValue(item);
-    val.invoke(this, "toString", item, Arguments.get$EMPTY());
+    var isConst = val.get$isConst() && val.get$type().get$isString();
+    if (!isConst) {
+      val.invoke(this, "toString", item, Arguments.get$EMPTY());
+    }
     var code = val.get$code();
     if (this._expressionNeedsParens(item)) {
       code = ("(" + code + ")");
     }
     if (items.get$length() == (0) || ($ne$(code, "''") && $ne$(code, "\"\""))) {
       items.add(code);
+      if (isConst) itemsConst.add(val);
     }
   }
-  return new Value($globals.world.stringType, ("(" + Strings.join(items, " + ") + ")"), node.span);
+  if (items.get$length() == itemsConst.get$length()) {
+    return new StringValue(this.foldStrings(itemsConst), true, node.span);
+  }
+  else {
+    var code = ("(" + Strings.join(items, " + ") + ")");
+    return new Value($globals.world.stringType, code, node.span);
+  }
 }
 MethodGenerator.prototype._pushBlock$1 = function($0) {
   return this._pushBlock($0, false);
 };
 MethodGenerator.prototype.run$0 = MethodGenerator.prototype.run;
 MethodGenerator.prototype.visitBinaryExpression$1 = function($0) {
   return this.visitBinaryExpression($0, false);
 };
 MethodGenerator.prototype.visitCallExpression$1 = MethodGenerator.prototype.visitCallExpression;
 MethodGenerator.prototype.visitPostfixExpression$1 = function($0) {
@@ skipping 7356 matching lines @@
 }
 Value.prototype.get$isFinal = function() {
   return false;
 }
 Value.prototype.get$needsTemp = function() {
   return true;
 }
 Value.prototype.get$staticType = function() {
   return this.get$type();
 }
+Value.prototype.get$constValue = function() {
+  return null;
+}
 Value.comma = function(x, y) {
   return new Value(y.get$type(), ("(" + x.get$code() + ", " + y.get$code() + ")"), null);
 }
 Value.union = function(x, y) {
   if (null == y || $eq$(x, y)) return x;
   if (null == x) return y;
   var ret = x._tryUnion(y);
   if ($ne$(ret)) return ret;
   ret = y._tryUnion(x);
   if ($ne$(ret)) return ret;
@@ skipping 590 matching lines @@
 // ********** Code for EvaluatedValue **************
 $inherits(EvaluatedValue, Value);
 function EvaluatedValue(isConst, type, span) {
   this.isConst = isConst;
   Value.call(this, type, "@@@", span);
 }
 EvaluatedValue.prototype.get$isConst = function() { return this.isConst; };
 EvaluatedValue.prototype.get$code = function() {
   $globals.world.internalError("Should not be getting code from raw EvaluatedValue", this.span);
 }
+EvaluatedValue.prototype.get$actualValue = function() {
+  $globals.world.internalError("Should not be getting actual value from raw EvaluatedValue", this.span);
+}
 EvaluatedValue.prototype.get$needsTemp = function() {
   return false;
 }
+EvaluatedValue.prototype.get$constValue = function() {
+  return this;
+}
 EvaluatedValue.prototype.hashCode = function() {
   return this.get$code().hashCode();
 }
 EvaluatedValue.prototype.$eq = function(other) {
   return (other instanceof EvaluatedValue) && $eq$(other.get$type(), this.get$type()) && $eq$(other.get$code(), this.get$code());
 }
 // ********** Code for NullValue **************
 $inherits(NullValue, EvaluatedValue);
 function NullValue(isConst, span) {
   EvaluatedValue.call(this, isConst, $globals.world.varType, span);
@@ skipping 654 matching lines @@
     }
   }
 }
 GlobalValue.prototype.get$field = function() { return this.field; };
 GlobalValue.prototype.get$name = function() { return this.name; };
 GlobalValue.prototype.get$exp = function() { return this.exp; };
 GlobalValue.prototype.get$isConst = function() { return this.isConst; };
 GlobalValue.prototype.get$actualValue = function() {
   return this.exp.get$dynamic().get$actualValue();
 }
+GlobalValue.prototype.get$constValue = function() {
+  return this.isConst ? this.exp.get$constValue() : null;
+}
 GlobalValue.prototype.get$dependencies = function() { return this.dependencies; };
 GlobalValue.prototype.get$needsTemp = function() {
   return !this.isConst;
 }
 GlobalValue.prototype.compareTo = function(other) {
   if ($eq$(other, this)) {
     return (0);
   }
   else if (this.dependencies.indexOf(other) >= (0)) {
     return (1);
@@ skipping 1103 matching lines @@
 var const$0002 = Object.create(EmptyQueueException.prototype, {});
 var const$0006 = Object.create(IllegalAccessException.prototype, {});
 var const$0007 = ImmutableList.ImmutableList$from$factory([]);
 var const$0009 = new JSSyntaxRegExp("^[a-zA-Z]:/");
 var const$0010 = ImmutableList.ImmutableList$from$factory(["__PROTO__", "prototype", "constructor"]);
 var const$0011 = ImmutableList.ImmutableList$from$factory(["NaN", "Infinity", "undefined", "eval", "parseInt", "parseFloat", "isNan", "isFinite", "decodeURI", "decodeURIComponent", "encodeURI", "encodeURIComponent", "Object", "Function", "Array", "String", "Boolean", "Number", "Date", "RegExp", "Error", "EvalError", "RangeError", "ReferenceError", "SyntaxError", "TypeError", "URIError", "Math", "arguments", "escape", "unescape", "applicationCache", "closed", "Components", "content", "controllers", "crypto", "defaultStatus", "dialogArguments", "directories", "document", "frameElement", "frames", "fullScreen", "globalStorage", "history", "innerHeight", "innerWidth", "length", "location", "locationbar", "localStorage", "menubar", "mozInnerScreenX", "mozInnerScreenY", "mozScreenPixelsPerCssPixel", "name", "navigator", "opener", "outerHeight", "outerWidth", "pageXOffset", "pageYOffset", "parent", "personalbar", "pkcs11", "returnValue", "screen", "scrollbars", "scrollMaxX", "scrollMaxY", "self", "sessionStorage", "sidebar", "status", "statusbar", "toolbar", "top", "window", "alert", "addEventListener", "atob", "back", "blur", "btoa", "captureEvents", "clearInterval", "clearTimeout", "close", "confirm", "disableExternalCapture", "dispatchEvent", "dump", "enableExternalCapture", "escape", "find", "focus", "forward", "GeckoActiveXObject", "getAttention", "getAttentionWithCycleCount", "getComputedStyle", "getSelection", "home", "maximize", "minimize", "moveBy", "moveTo", "open", "openDialog", "postMessage", "print", "prompt", "QueryInterface", "releaseEvents", "removeEventListener", "resizeBy", "resizeTo", "restore", "routeEvent", "scroll", "scrollBy", "scrollByLines", "scrollByPages", "scrollTo", "setInterval", "setResizeable", "setTimeout", "showModalDialog", "sizeToContent", "stop", "uuescape", "updateCommands", "XPCNativeWrapper", "XPCSafeJSOjbectWrapper", "onabort", "onbeforeunload", "onchange", "onclick", "onclose", "oncontextmenu", "ondragdrop", "onerror", "onfocus", "onhashchange", "onkeydown", "onkeypress", "onkeyup", "onload", "onmousedown", "onmousemove", "onmouseout", "onmouseover", "onmouseup", "onmozorientation", "onpaint", "onreset", "onresize", "onscroll", "onselect", "onsubmit", "onunload", "ontouchcancel", "ontouchend", "ontouchmove", "ontouchstart", "ongesturestart", "ongesturechange", "ongestureend", "uneval", "getPrototypeOf", "let", "yield", "abstract", "int", "short", "boolean", "interface", "static", "byte", "long", "char", "final", "native", "synchronized", "float", "package", "throws", "goto", "private", "transient", "implements", "protected", "volatile", "double", "public", "attachEvent", "clientInformation", "clipboardData", "createPopup", "dialogHeight", "dialogLeft", "dialogTop", "dialogWidth", "onafterprint", "onbeforedeactivate", "onbeforeprint", "oncontrolselect", "ondeactivate", "onhelp", "onresizeend", "event", "external", "Debug", "Enumerator", "Global", "Image", "ActiveXObject", "VBArray", "Components", "toString", "getClass", "constructor", "prototype", "valueOf", "Anchor", "Applet", "Attr", "Canvas", "CanvasGradient", "CanvasPattern", "CanvasRenderingContext2D", "CDATASection", "CharacterData", "Comment", "CSS2Properties", "CSSRule", "CSSStyleSheet", "Document", "DocumentFragment", "DocumentType", "DOMException", "DOMImplementation", "DOMParser", "Element", "Event", "ExternalInterface", "FlashPlayer", "Form", "Frame", "History", "HTMLCollection", "HTMLDocument", "HTMLElement", "IFrame", "Image", "Input", "JSObject", "KeyEvent", "Link", "Location", "MimeType", "MouseEvent", "Navigator", "Node", "NodeList", "Option", "Plugin", "ProcessingInstruction", "Range", "RangeException", "Screen", "Select", "Table", "TableCell", "TableRow", "TableSelection", "Text", "TextArea", "UIEvent", "Window", "XMLHttpRequest", "XMLSerializer", "XPathException", "XPathResult", "XSLTProcessor", "java", "Packages", "netscape", "sun", "JavaObject", "JavaClass", "JavaArray", "JavaMember", "$wnd", "$doc", "$entry", "$moduleName", "$moduleBase", "$gwt_version", "$sessionId", "$stack", "$stackDepth", "$location", "call"]);
 var const$0012 = ImmutableList.ImmutableList$from$factory(["break", "delete", "function", "return", "typeof", "case", "do", "if", "switch", "var", "catch", "else", "in", "this", "void", "continue", "false", "instanceof", "throw", "while", "debugger", "finally", "new", "true", "with", "default", "for", "null", "try", "abstract", "double", "goto", "native", "static", "boolean", "enum", "implements", "package", "super", "byte", "export", "import", "private", "synchronized", "char", "extends", "int", "protected", "throws", "class", "final", "interface", "public", "transient", "const", "float", "long", "short", "volatile"]);
 var $globals = {};
 $static_init();
 main();