core.typed

Typechecker fails when checking involves an object from reify

Details

  • Type: Enhancement Enhancement
  • Status: Open Open
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: Backlog
  • Component/s: Core type system
  • Labels:
  • Environment:
    Clojure 1.6.0, core.typed 0.2.44

Description

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.

Activity

Hide
Jochen Hinrichsen added a comment -

Also on clojure 1.5.1, core.typed 0.2.65

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

Show
Jochen Hinrichsen added a comment - Also on clojure 1.5.1, core.typed 0.2.65 No method in multimethod 'check' for dispatch value: :reify
Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Component/s Core type system [ 10006 ]
Description The error message is
bq. No method in multimethod 'check' for dispatch value: :reify
The following is a minimal test case which fails:
{code:title=core.clj|borderStyle=solid}
(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))
{code}

Likely similar to bug http://dev.clojure.org/jira/browse/CTYP-132
The error message is
bq. No method in multimethod 'check' for dispatch value: :reify
The following is a minimal test case which fails:
{code}
(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))
{code}

Likely similar to bug [CTYP-132|http://dev.clojure.org/jira/browse/CTYP-132].
Priority Major [ 3 ] Minor [ 4 ]
Fix Version/s Backlog [ 10554 ]
Issue Type Defect [ 1 ] Enhancement [ 4 ]
Ambrose Bonnaire-Sergeant made changes -
Labels bug newbie

People

Vote (1)
Watch (2)

Dates

  • Created:
    Updated: