We're updating the issue view to help you get more done. 

Expected: IFn, Actual (Fn [Any -> Any])

Description

1 2 3 4 5 6 7 8 9 10 (def-alias Promise (clojure.lang.IDeref Any)) (ann ^:no-check clojure.core/promise [-> Promise]) (ann ^:no-check clojure.core/deliver (All [t] [Promise t -> t])) (ann primary-stage Stage) (defonce ^Stage primary-stage (when-not *compile-files* (let [s (promise)] (SplendidJFX/launchApplication (fn> [x :- Any] (deliver s x))) @s)))

When doing (check-ns) it results in an unexpected error:
Type Error (splendid.jfx:27:7) Type mismatch:
Expected: IFn
Actual: (Fn [Any -> Any])
in: (splendid.SplendidJFX/launchApplication (clojure.core.typed/fn>-ann (fn* (# #)) (quote (#))))

Environment

None

Status

Assignee

Unassigned

Reporter

import

Labels

Approval

None

Patch

None

Priority

Major