Type of binary - should be (double,double)->double.

asm-js / validator

A reference validator for asm.js.

Apache License 2.0

1.78k stars 148 forks source link

Type of binary - should be (double,double)->double. #72

Closed cscott closed 10 years ago

cscott commented 11 years ago

According to https://bugzilla.mozilla.org/show_bug.cgi?id=864600#c6 the signature of binary - was changed to only accept double. (The change to ~~ is covered in issue 62.)

I believe this change is not longer necessary, since we're getting the return type from an explicit grammar construction, not use-site coercion. But the spec should be consistent with the implementation.

jruderman commented 11 years ago

https://bugzilla.mozilla.org/show_bug.cgi?id=882008 is also related.

ghost commented 10 years ago

The spec now says (double?, double?)->double (doublish became double?), so closing this.