[CLJS-695] arithmetic type checking is too permissive Created: 22/Nov/13 Updated: 23/Nov/13 Resolved: 23/Nov/13
Current we allow any. We should only allow numbers and expressions whose type we cannot infer.
|Comment by David Nolen [ 22/Nov/13 12:06 PM ]|
Actually if we really get any that should be ok. It should be possible to put a union on the meta of any so we can verify that it's truly any and not some union of non-numeric types.
|Comment by David Nolen [ 23/Nov/13 11:46 PM ]|
numeric type checking is improved, it will not advance much further until we have more sophisticated inference support