Optimize boolean asserts

frog/type.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.
 
 class Type implements Named, Hashable {
   final String name;
   bool isTested;
 
   /**
    * For core types (int, String, etc) this is the generated type assertion
@@ skipping 43 matching lines @@
   bool get isObject() => false;
   bool get isString() => false;
   bool get isBool() => false;
   bool get isFunction() => false;
   bool get isList() => false;
   bool get isNum() => false;
   bool get isInt() => false;
   bool get isDouble() => false;
   bool get isVoid() => false;
 
+  // True for all types in the Dart type system. We track non-nullabiltity
+  // as an optimization for booleans to generate better code in checked mode.

[jimhug, 2011/11/12 00:26:36]

Nice!

+  bool get isNullable() => true;
+
   // Strangely Dart treats calls on Function much like calls on var.
   bool get isVarOrFunction() => isVar || isFunction;
 
   /** Gets the $call method for a function type. */
   MethodMember getCallMethod() => null;
 
   /** These types may not be implemented or extended by user code. */
   bool get isClosed() => isString || isBool || isNum || isFunction || isVar;
 
   bool get isUsed() => false;
@@ skipping 237 matching lines @@
   SourceSpan get span()  => typeParameter.span;
 
   ParameterType(String name, this.typeParameter): super(name);
 
   Map<String, MethodMember> get constructors() {
     world.internalError('no constructors on type parameters yet');
   }
 
   MethodMember getCallMethod() => extendsType.getCallMethod();