| Index: frog/world.dart
|
| diff --git a/frog/world.dart b/frog/world.dart
|
| index 6457a77b6f2e92f5628fbecc07e711535967695b..92e90250e6bb4346dc5d3b6138ffd1e8fad85f54 100644
|
| --- a/frog/world.dart
|
| +++ b/frog/world.dart
|
| @@ -84,21 +84,21 @@ class World {
|
| bool seenFatal = false;
|
|
|
| // Special types to Dart.
|
| - DefinedType varType;
|
| + Type varType;
|
| // TODO(jimhug): Is this ever not === varType?
|
| - DefinedType dynamicType;
|
| -
|
| - DefinedType voidType;
|
| -
|
| - DefinedType objectType;
|
| - DefinedType numType;
|
| - DefinedType intType;
|
| - DefinedType doubleType;
|
| - DefinedType boolType;
|
| - DefinedType stringType;
|
| - DefinedType listType;
|
| - DefinedType mapType;
|
| - DefinedType functionType;
|
| + Type dynamicType;
|
| +
|
| + Type voidType;
|
| +
|
| + Type objectType;
|
| + Type numType;
|
| + Type intType;
|
| + Type doubleType;
|
| + Type boolType;
|
| + Type stringType;
|
| + Type listType;
|
| + Type mapType;
|
| + Type functionType;
|
|
|
| World(this.files)
|
| : libraries = {}, _todo = [], _members = {}, _topNames = {},
|
|
|