core.typed

No matching arities when defining multiple arity protocol method

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: 0.2
  • Fix Version/s: Backlog
  • Component/s: None
  • Environment:
    Clojure 1.6.0 and 1.7.0-alpha5

Description

When defining multiple-arity protocol methods with clojure.core.typed/defprotocol, deftypes implementing these methods fail to typecheck with "No matching arities" errors. See attached test case.

  1. arity.clj
    25/Jan/15 4:37 PM
    0.3 kB
    Joshua Griffith
  2. typecheck.log
    25/Jan/15 4:37 PM
    0.6 kB
    Joshua Griffith

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Assignee Ambrose Bonnaire-Sergeant [ ambrosebs ]
Ambrose Bonnaire-Sergeant made changes -
Fix Version/s Backlog [ 10554 ]

People

Vote (1)
Watch (3)

Dates

  • Created:
    Updated: