Welcome! Please see the About page for a little more info on how this works.

GitHub Login

All Activity
Questions
Unanswered
Tags
Ask a Question
About

RPS example does not type check

0 votes

asked May 22, 2015 in core.typed by jira

Code is here:

https://gist.github.com/kindlychung/9f932ae4c9b752f87431

problem
jira

Please log in or register to add a comment.

Please log in or register to answer this question.

2 Answers

0 votes

answered May 22, 2015 by jira

Comment made by: kindlychung

How do I edit an issue?
Sorry, this should have been marked as defect instead of enhancement.

Please log in or register to add a comment.

0 votes

answered Jun 26, 2019 by jira

Reference: https://clojure.atlassian.net/browse/CTYP-219 (reported by alex+import)

Please log in or register to add a comment.

Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.

Related questions

with-meta doesn't type check with vectors or hash-maps.
An invalid type annotation for a function with a record argument passes a type check
::defn-args spec does not capture type hint on return value
Type hinting for array classes does not work in binding forms
checking clojure.core/keep produces Internal Error--Cannot resolve type: Option

Categories

All categories
Clojure (1.5k)
ClojureScript (612)
ClojureCLR (26)
Contrib libs (726)
- algo.generic (3)
- algo.monads (4)
- core.async (112)
- core.cache (19)
- core.contracts (5)
- core.logic (66)
- core.match (44)
- core.memoize (8)
- core.rrb-vector (13)
- core.typed (33)
- core.unify (7)
- data.avl (1)
- data.codec (3)
- data.csv (12)
- data.finger-tree (1)
- data.fressian (6)
- data.generators (3)
- data.int-map (17)
- data.json (18)
- data.priority-map (4)
- data.xml (24)
- data.zip (4)
- java.classpath (2)
- java.data (12)
- java.jdbc (3)
- java.jmx (6)
- math.combinatorics (5)
- math.numeric-tower (1)
- replicant (0)
- test.check (45)
- test.generative (2)
- tools.analyzer (8)
- tools.build (29)
- tools.cli (8)
- tools.deps (120)
- tools.deps.graph (2)
- tools.emitter.jvm (7)
- tools.gitlibs (4)
- tools.logging (6)
- tools.macro (8)
- tools.namespace (29)
- tools.reader (11)
- tools.tools (2)
- tools.trace (5)
Tools (74)
Meta (19)
Other (93)

Maintained by Cognitect on behalf of the Clojure community

...