Uploaded image for project: 'core.typed'
  1. CTYP-132

typechecker fails when checking a Protocol whose method gets called using dot notation

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Minor
    • Resolution: Completed
    • Affects versions: None
    • Fix versions: None
    • Components: None
    • Labels:
      None
    • Environment:

      Clojure 1.6.0, core.typed 0.2.44

      Description

      The error message is

      No method in multimethod 'check' for dispatch value: :host-interop

      The following is a minimal test case which fails:

      core.clj
      (ns core-typed-bug.core
          (:require [clojure.core.typed :refer :all]))
       
      (defprotocol> ITypedTest
          (get-data [this]))
       
      (defn> testfn :- Any
          [asdf :- Keyword, in :- ITypedTest]
          (.get-data in))
      

      It works, however, when calling (get-data in) instead of (.get-data in).

        Attachments

          Activity

            People

            • Assignee:
              ambrosebs Ambrose Bonnaire-Sergeant
              Reporter:
              alex+import import
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: