| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 // TODO(jmesserly, sigmund): remove these two lines: | 5 // TODO(jmesserly, sigmund): remove these two lines: |
| 6 var math = Math; | 6 var math = Math; |
| 7 var core = core || {int: { parse: Number }, print: e => console.log(e) }; | 7 var core = core || {int: { parse: Number }, print: e => console.log(e) }; |
| 8 | 8 |
| 9 var dart; | 9 var dart; |
| 10 (function (dart) { | 10 (function (dart) { |
| (...skipping 99 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 110 function is(obj, type) { | 110 function is(obj, type) { |
| 111 // TODO(vsm): Implement. | 111 // TODO(vsm): Implement. |
| 112 throw new core.UnimplementedError(); | 112 throw new core.UnimplementedError(); |
| 113 } | 113 } |
| 114 dart.is = is; | 114 dart.is = is; |
| 115 | 115 |
| 116 function closureWrap(obj, type) { | 116 function closureWrap(obj, type) { |
| 117 // TODO(vsm): Remove this once we handle in the checker. | 117 // TODO(vsm): Remove this once we handle in the checker. |
| 118 return obj; | 118 return obj; |
| 119 } | 119 } |
| 120 dart.closureWrap = closureWrap; |
| 120 | 121 |
| 121 function isGroundType(type) { | 122 function isGroundType(type) { |
| 122 // TODO(vsm): Implement. | 123 // TODO(vsm): Implement. |
| 123 throw new core.UnimplementedError(); | 124 throw new core.UnimplementedError(); |
| 124 } | 125 } |
| 125 dart.isGroundType = isGroundType; | 126 dart.isGroundType = isGroundType; |
| 126 | 127 |
| 127 function arity(f) { | 128 function arity(f) { |
| 128 // TODO(vsm): Implement. | 129 // TODO(vsm): Implement. |
| 129 throw new core.UnimplementedError(); | 130 throw new core.UnimplementedError(); |
| (...skipping 204 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 334 return value; | 335 return value; |
| 335 } | 336 } |
| 336 return makeGenericType; | 337 return makeGenericType; |
| 337 } | 338 } |
| 338 dart.generic = generic; | 339 dart.generic = generic; |
| 339 | 340 |
| 340 // TODO(jmesserly): this is just a placeholder. | 341 // TODO(jmesserly): this is just a placeholder. |
| 341 dart.dynamic = Object.create(null); | 342 dart.dynamic = Object.create(null); |
| 342 | 343 |
| 343 })(dart || (dart = {})); | 344 })(dart || (dart = {})); |
| OLD | NEW |