| Index: tool/input_sdk/private/js_number.dart
|
| diff --git a/tool/input_sdk/private/js_number.dart b/tool/input_sdk/private/js_number.dart
|
| index 9d0b1b937310fa6f26e6ddb2df634c4975a68617..ced02db358b9ef666af8bdb1d48b3668134a56b8 100644
|
| --- a/tool/input_sdk/private/js_number.dart
|
| +++ b/tool/input_sdk/private/js_number.dart
|
| @@ -343,6 +343,8 @@ class JSNumber extends Interceptor implements num {
|
| */
|
| // TODO(jmesserly): for dev_compiler all numbers will get `int` members at
|
| // runtime for dynamic dispatch. We can fix by checking it at dispatch time.
|
| +// TODO(jmesserly): merge with JSNumber? That would simplify generated code,
|
| +// and dart_runtime's extension mechanism.
|
| @JsPeerInterface(name: 'Number')
|
| class JSInt extends JSNumber implements int, double {
|
| const JSInt();
|
|
|