Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Type of binary - should be (double,double)->double. #72
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.
https://bugzilla.mozilla.org/show_bug.cgi?id=882008 is also related.