Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Typechecker fails when checking involves an object from reify

Description

The error message is

No method in multimethod 'check' for dispatch value: :reify

The following is a minimal test case which fails:

Likely similar to bug CTYP-132.

Branch: https://github.com/clojure/core.typed/pull/28/files

Environment

Clojure 1.6.0, core.typed 0.2.44

Activity

Show:

importMarch 22, 2016 at 2:09 AM

Comment made by: donald.ball

This is still present in core.typed 0.3.22, and presents my sole use of ^:no-check in one of my libraries. I use protocols like they're going out of style and lean on reify a good bit, it'd be nice to not have to dodge around it thereby.

importJuly 25, 2014 at 10:36 AM

Comment made by: jot1109

Also on clojure 1.5.1, core.typed 0.2.65

No method in multimethod 'check' for dispatch value: :reify

Details

Assignee

Reporter

Components

Fix versions

Priority

Created April 13, 2014 at 11:27 AM
Updated July 10, 2018 at 9:09 PM