asm-js / validator

A reference validator for asm.js.
Apache License 2.0
1.78k stars 148 forks source link

Type of binary + in 8.2 should be (double?,double?)->double #90

Open ghost opened 10 years ago

ghost commented 10 years ago

A double? is either a number of undefined. Since both are primitives and neither is a string:

undefined+undefined === number+undefined === undefined+number === NaN

OdinMonkey already uses this signature.