<< Back to previous view

[CTYP-133] Typechecker fails when checking involves an object from reify Created: 13/Apr/14  Updated: 10/Jul/18

Status: Open
Project: core.typed
Component/s: Core type system
Affects Version/s: None
Fix Version/s: Backlog

Type: Enhancement Priority: Minor
Reporter: Daniel Ziltener Assignee: Unassigned
Resolution: Unresolved Votes: 4
Labels: None

Clojure 1.6.0, core.typed 0.2.44


The error message is

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

The following is a minimal test case which fails:

(ns core-typed-bug.core
  (:require [clojure.core.typed :refer :all]))

(ann-protocol ITypedTest
              get-data [ITypedTest -> Any])
(defprotocol> ITypedTest
  (get-data [this]))

(ann typed-test [String -> ITypedTest])
(defn typed-test [input]
  (reify ITypedTest
    (get-data [_] input)))

(defn> testfn :- Any
  [asdf :- Keyword, in :- ITypedTest]
  (get-data in))

Likely similar to bug CTYP-132.

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

Comment by Jochen Hinrichsen [ 25/Jul/14 4:36 AM ]

Also on clojure 1.5.1, core.typed 0.2.65

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

Comment by Donald Ball [ 21/Mar/16 8:09 PM ]

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.

Generated at Thu Oct 18 08:33:54 CDT 2018 using JIRA 4.4#649-r158309.