<< Back to previous view

[CLJS-695] arithmetic type checking is too permissive Created: 22/Nov/13  Updated: 23/Nov/13  Resolved: 23/Nov/13

Status: Closed
Project: ClojureScript
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: David Nolen Assignee: Unassigned
Resolution: Declined Votes: 0
Labels: None


 Description   

Current we allow any. We should only allow numbers and expressions whose type we cannot infer.



 Comments   
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

Generated at Fri Sep 19 17:00:20 CDT 2014 using JIRA 4.4#649-r158309.