Annotations for function types don't work in ClojureScript

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)

Environment

Safari 6.0.5 and Firefox 22.0 on Mac OS X 10.8.4

Activity

Show:
Ambrose Bonnaire-Sergeant
September 7, 2013, 3:00 PM

This should be fixed in 0.2.5-20130907.135349-4

Please give it a shot.

import
September 11, 2013, 4:41 AM

Comment made by: cjfrisz

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

Completed

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import

Labels

Approval

None

Patch

None

Priority

Major