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(); |