SHARE
TWEET

Untitled

a guest May 8th, 2015 204 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (ns core-typed-bug.core
  2.   (:require [ clojure.core.typed :as t ]))
  3.  
  4. (t/defprotocol P
  5.   (f
  6.    [a] :- Any
  7.    [a b :- Any] :- Any))
  8.  
  9. (t/ann-record R [])
  10. (defrecord R []
  11.   P
  12.   (f [a] 1)
  13.   (f [a b] 2))
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top