Skip to content

Instantly share code, notes, and snippets.

@zilti
Created April 13, 2014 10:23
Show Gist options
  • Save zilti/10577988 to your computer and use it in GitHub Desktop.
Save zilti/10577988 to your computer and use it in GitHub Desktop.
No method in multimethod 'check' for dispatch value: :reify
(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))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment