Skip to content

Instantly share code, notes, and snippets.

@yurrriq

yurrriq/type-error.txt

Created August 24, 2015 07:12
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save yurrriq/4c4ee07f4e58f8e36c4b to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save yurrriq/4c4ee07f4e58f8e36c4b to your computer and use it in GitHub Desktop.
Download ZIP
Annotation binary.clj
Raw
type-error.txt
Polymorphic function reduce could not be applied to arguments:
Polymorphic Variables:
a
c
Domains:
[a c -> (t/U (Reduced a) a)] a (t/Option (Seqable c))
Arguments:
[(t/U Number nil) Character -> (t/U nil Number) :filters {:then (& (! (t/U nil false) 0) (is Number 0)), :else tt}] (t/Val 0) String
Ranges:
a
@yurrriq

yurrriq commented Aug 24, 2015

Copy link
Copy Markdown
Author

http://dev.clojure.org/jira/browse/CTYP-271

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment