Resolve operators to int/double instead of num where possible

Resolve operators to int/double instead of num where possible


R=messick@google.com
BUG=
TEST=

Committed: https://code.google.com/p/dart/source/detail?r=7933

[messick, 2012-05-23 21:08:19]

LGTM after verifying ~/

https://chromiumcodereview.appspot.com/10425002/diff/1/compiler/java/com/goog...
File compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java (right):

https://chromiumcodereview.appspot.com/10425002/diff/1/compiler/java/com/goog...
compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java:314: case TRUNC:
Have you verified that both dart2js and the vm return an int in the case of
<int> ~/ <int>? In any case, <double> ~/ <num> is specified to return <double>
so you could add that.

[scheglov, 2012-05-23 22:43:42]

https://chromiumcodereview.appspot.com/10425002/diff/1/compiler/java/com/goog...
File compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java (right):

https://chromiumcodereview.appspot.com/10425002/diff/1/compiler/java/com/goog...
compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java:314: case TRUNC:
On 2012/05/23 21:08:19, messick wrote:
> Have you verified that both dart2js and the vm return an int in the case of
> <int> ~/ <int>? In any case, <double> ~/ <num> is specified to return <double>
> so you could add that.

1. Yes, I've checked that <int> ~/ <int> is <int> in VM and dart2js.

2. <double> ~/ <num> is already declared in type "double" as returning <double>,
so no need to tweaks here. But I've added test to ensure this.