Skip to content

Instantly share code, notes, and snippets.

@frenchy64

frenchy64/map_infer.clj

Created July 25, 2012 06:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save frenchy64/3174648 to your computer and use it in GitHub Desktop.
Save frenchy64/3174648 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
map_infer.clj
typed.core=> (cf (map + [1 2] [1 'a]))
#<Exception java.lang.Exception: Type Error, REPL:23 - (U (Value a) (Value 1)) is not a subtype of: java.lang.Number>
typed.core=> (cf (map + [1 2] [1 3] nil))
(clojure.lang.Seqable java.lang.Number)
typed.core=> (cf (map + [1 2] [1 3] [2.3 3 4 2 1] #{1 2 3 45}))
(clojure.lang.Seqable java.lang.Number)
typed.core=> (cf (map + [1 2] [1 3] [2.3 3 4 2 1] #{1 2 3 45} {1 2 3 4}))
#<Exception java.lang.Exception: Type Error, REPL:3 - (clojure.lang.IMapEntry (U (Value 1) (Value 3)) (U (Value 4) (Value 2))) is not a subtype of: java.lang.Number>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment