Skip to content

Instantly share code, notes, and snippets.

@zilti
Created April 12, 2014 23:33
Show Gist options
  • Save zilti/10562073 to your computer and use it in GitHub Desktop.
Save zilti/10562073 to your computer and use it in GitHub Desktop.
core.typed fails as soon as protocols are around, no matter if typed or not.
(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))
(defproject core-typed-bug "0.1.0-SNAPSHOT"
:description "FIXME: write description"
:url "http://example.com/FIXME"
:license {:name "Eclipse Public License"
:url "http://www.eclipse.org/legal/epl-v10.html"}
:dependencies [[org.clojure/clojure "1.6.0"]
[org.clojure/core.typed "0.2.44"]]
:plugins [[lein-typed "0.3.4"]]
:core.typed {:check [core-typed-bug.core]})
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment