Check for compile-time constants in DartCompiler

client/base/AnimationScheduler.dart

 // Copyright (c) 2011, 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.
 
 typedef void AnimationCallback(num currentTime);
 
 class CallbackData {
   final AnimationCallback callback;
   final num minTime;
   int id;
@@ skipping 15 matching lines @@
  * Animation scheduler implementing the functionality provided by
  * [:window.requestAnimationFrame:] for platforms that do not support it
  * or support it badly.  When multiple UI components are animating at once,
  * this approach yields superior performance to calling setTimeout directly as
  * all pieces of the UI will animate at the same time resulting in fewer
  * layouts.
  */
 // TODO(jacobr): use window.requestAnimationFrame when it is available and
 // 60fps for the current browser.
 class AnimationScheduler {
-  static final FRAMES_PER_SECOND = 60;
-  static final MS_PER_FRAME = 1000 ~/ FRAMES_PER_SECOND;
-  static final USE_INTERVALS = false;
+  static final int FRAMES_PER_SECOND = 60;
+  static final int MS_PER_FRAME = 1000 ~/ FRAMES_PER_SECOND;
+  static final bool USE_INTERVALS = false;
 
   /** List of callbacks to be executed next animation frame. */
   List<CallbackData> _callbacks;
   int _intervalId;
   bool _isMobileSafari = false;
   Css _safariHackCss;
   int _frameCount = 0;
   bool _webkitAnimationFrameMaybeAvailable = true;
 
   AnimationScheduler()
@@ skipping 108 matching lines @@
     _frameCount++;
     if (_isMobileSafari) {
       // Hack to work around an iOS bug where sometimes animations do not
       // render if only webkit transforms were modified.
       // TODO(jacobr): find a cleaner workaround.
       int offset = _frameCount % 2;
       _safariHackCss.left = '${offset}px';
     }
   }
 }