core.typed

Annotations for function types don't work in ClojureScript

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
  • Environment:
    Safari 6.0.5 and Firefox 22.0 on Mac OS X 10.8.4

Description

Function type annotation in ClojureScript causes a failure in the type checker:

AssertionError Assert failed: No check-fn bound for rest type
check-fn-method1-rest-type clojure.core.typed.check/check-fn-method1 (check.clj:2953)

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

This should be fixed in 0.2.5-20130907.135349-4

Please give it a shot.

Show
Ambrose Bonnaire-Sergeant added a comment - This should be fixed in 0.2.5-20130907.135349-4 Please give it a shot.
Hide
Chris Frisz added a comment -

Tried the same code again with the suggested revision and the issue seems to be fixed. Thanks!

Show
Chris Frisz added a comment - Tried the same code again with the suggested revision and the issue seems to be fixed. Thanks!
Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
Ambrose Bonnaire-Sergeant made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: