ClojureScript

arithmetic type checking is too permissive

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Declined
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

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

Activity

Hide
David Nolen added a comment -

numeric type checking is improved, it will not advance much further until we have more sophisticated inference support

Show
David Nolen added a comment - numeric type checking is improved, it will not advance much further until we have more sophisticated inference support
Hide
David Nolen added a comment -

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.

Show
David Nolen added a comment - 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.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: