Call the compile-time constant handler inside bodies.

frog/leg/compile_time_constants.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class Constant implements Hashable {
   const Constant();
 
   bool isNull() => false;
   bool isBool() => false;
   bool isTrue() => false;
@@ skipping 491 matching lines @@
     }
     // TODO(floitsch): keep track of currently compiling elements so that we
     // don't end up in an infinite loop: final x = y; final y = x;
     TreeElements definitions = compiler.analyzeElement(element);
     Constant constant =  compileVariableWithDefinitions(element, definitions);
     return constant;
   }
 
   Constant compileVariableWithDefinitions(VariableElement element,
                                           TreeElements definitions) {
+

[ngeoffray, 2012/03/20 08:26:07]

Why is this one not measuring anymore? Even if it calls a function that calls
measure, i think it should still do it.

[floitsch, 2012/03/21 07:14:24]

done.
Wanted to do the same for compileVariable, but this doesn't work. Maybe a vm
bug.

+    Node node = element.parseNode(compiler);
+    if (pendingVariables.contains(element)) {
+      MessageKind kind = MessageKind.CYCLIC_COMPILE_TIME_CONSTANTS;
+      compiler.reportError(node,
+                           new CompileTimeConstantError(kind, const []));

[ahe, 2012/03/20 08:28:40]

While trying to make our errors non-fatal, I noticed this would lead to a stack
overflow. Would it make sense to return "new NullConstant()"?

[ngeoffray, 2012/03/20 08:30:52]

IMO, I don't see any trouble in returning something here.

[floitsch, 2012/03/21 07:14:24]

It could lead to another cryptic error right afterwards.

[ngeoffray, 2012/03/21 07:41:11]

Considering what Peter is trying to achieve (making our errors non-fatal),
that's a tautology :)

[ahe, 2012/03/21 10:13:37]

Which is definitely an improvement over the same error message repeated until
you get a stack overflow :-)

One proven technique is to return an erroneous element that shuts up the other
parts of the evaluator. I think returning a NullConstant is a good short-term
solution, possibly with a TODO.

+    }
+    pendingVariables.add(element);
+
+    SendSet assignment = node.asSendSet();
+    Constant value;
+    if (assignment === null) {
+      // No initial value.
+      value = new NullConstant();
+    } else {
+      Node right = assignment.arguments.head;
+      value = compileNodeWithDefinitions(right, definitions);
+    }
+    initialVariableValues[element] = value;
+    pendingVariables.remove(element);
+    return value;
+  }
+
+  Constant compileNodeWithDefinitions(Node node, TreeElements definitions) {
     return measure(() {
-      Node node = element.parseNode(compiler);
       assert(node !== null);
-      SendSet assignment = node.asSendSet();
-      var value;
-      if (assignment === null) {
-        // No initial value.
-        value = new NullConstant();
-      } else {
-        if (pendingVariables.contains(element)) {
-          MessageKind kind = MessageKind.CYCLIC_COMPILE_TIME_CONSTANTS;
-          compiler.reportError(node,
-                               new CompileTimeConstantError(kind, const []));
-        }
-        pendingVariables.add(element);
-
-        Node right = assignment.arguments.head;
-        CompileTimeConstantEvaluator evaluator =
-            new CompileTimeConstantEvaluator(this, definitions, compiler);
-        value = evaluator.evaluate(right);
-
-        pendingVariables.remove(element);
-      }
-      initialVariableValues[element] = value;
-      return value;
+      CompileTimeConstantEvaluator evaluator =
+          new CompileTimeConstantEvaluator(this, definitions, compiler);
+      return evaluator.evaluate(node);
     });
   }
 
   /**
    * Returns a [List] of static non final fields that need to be initialized.
    * The list must be evaluated in order since the fields might depend on each
    * other.
    */
   List<VariableElement> getStaticNonFinalFieldsForEmission() {
     return initialVariableValues.getKeys().filter((element) {
@@ skipping 469 matching lines @@
     return constant;
   }
 
   error(Node node) {
     // TODO(floitsch): get the list of constants that are currently compiled
     // and present some kind of stack-trace.
     MessageKind kind = MessageKind.NOT_A_COMPILE_TIME_CONSTANT;
     compiler.reportError(node, new CompileTimeConstantError(kind, const []));
   }
 }