"swap!" doesn't work anymore due to missing type translation

Description

Minimal test case:

The error message is: "Type Error (server/minimal.clj:8:1) Internal Error (server/minimal.clj:8:1) First argument to TApp must be TFn, actual: clojure.lang.Fn

Environment

Clojure 1.6.0, core.typed 0.2.52

Activity

Show:
Ambrose Bonnaire-Sergeant
July 20, 2014, 10:44 AM

Does this still appear in 0.2.58? It might have been fixed.

Note that the inference for swap! is a bit volatile; you may have to annotate the second argument's parameter types now.

Reno Reckling
February 28, 2015, 2:01 AM

In 0.2.80, this type-checks :ok so i think this can be closed

Completed

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import

Labels

None

Approval

None

Patch

None

Affects versions

Priority

Critical
Configure