Giters
racket
/
typed-racket
Typed Racket
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
515
Watchers:
46
Issues:
632
Forks:
102
racket/typed-racket Issues
type mismatch when using `Float`s with `for/sum`
Closed
a month ago
Comments count
2
require/untyped-contract leads to errors in no-check, Shallow, and Optional
Updated
a month ago
Comments count
5
Since Racket 8.1, some nested lists pass type-checking even when they are invalid
Updated
a month ago
Comments count
1
`require/typed` duplicates effects from expanding `m`; docs unclear
Updated
2 months ago
Comments count
1
coverage testing broken for some uses of vector-set!
Updated
2 months ago
Comments count
2
Can't use #:property to seal a Typed Racket structs
Updated
2 months ago
treelists not supported in Typed Racket
Updated
2 months ago
TR fails to typecheck when using optional arg and inline type specs
Updated
3 months ago
`require/typed` yields "unused require" warnings
Updated
3 months ago
TR unsound with keyword args
Closed
4 months ago
Comments count
2
`require/typed/provide` not providing constructors
Updated
4 months ago
The new hash match pattern doesn't work in Typed Racket
Closed
4 months ago
`struct`'s `#:methods` missing in Typed Racket
Updated
6 months ago
Comments count
3
`check-eq? (hasheq) (hasheq)` fails
Closed
6 months ago
Comments count
4
apply < doesn't accept a non-empty list
Updated
7 months ago
Weird Error Message from `require/typed`
Updated
7 months ago
The typed version of racket/fixnum doesn't provide the popcount functions.
Updated
9 months ago
Constructors in `typed/web-server/http` not provided
Updated
9 months ago
Strange lack of subtyping for `case->`
Updated
a year ago
Comments count
1
any-wrap: avoid wrapping immutable structs with immutable fields
Updated
a year ago
Comments count
3
struct #:mutable field option
Updated
a year ago
The `Nothing` type causes the type checker not to check the type.
Closed
a year ago
Comments count
2
Typed Racket source always errors on 8.8 BC
Closed
a year ago
Comments count
1
`AnyValues` in `let/cc` is unbound.
Updated
a year ago
Examples of unexpected behavior for integer refinements
Updated
a year ago
< should accept one argument
Closed
a year ago
Comments count
8
input-port-append doesn't work in TR
Closed
a year ago
for loop fails to infer subtype.
Updated
a year ago
Issue with match-define
Updated
a year ago
Comments count
7
class field subtyping + set-field! leads to segfault
Updated
a year ago
Comments count
2
Arguably resyntax shouldn't need to run each time I edit the OP
Closed
a year ago
Comments count
4
`abs` should add a case for `(-> Fixnum Nonnegative-Fixnum)`
Updated
a year ago
Comments count
2
Missing types for `fx+/wraparound` and friends
Updated
a year ago
invoke-unit and unit-from-context can trigger an internal typechecker error
Updated
a year ago
Comments count
6
(define-type … (Instance X)) breaks when X is a parametric type synonym, since Racket 8.7
Updated
a year ago
#{x : t} should error when x is not a variable
Updated
2 years ago
Comments count
2
Performance regression 8.6 -> 8.7
Closed
2 years ago
Comments count
8
Incorrect signature for `extract-field`.
Closed
2 years ago
Comments count
13
Should simple-result-> stop using `with-contract-continuation-mark` ?
Updated
2 years ago
Comments count
3
Type printing of math/array is subpar
Closed
2 years ago
Comments count
2
Documentation of for/flvector
Closed
2 years ago
require/typed doesn't protect with contract properly
Updated
2 years ago
Comments count
9
Struct constructor from `require/typed` can't be used in untyped code
Closed
2 years ago
Comments count
2
checking `(hash-union ... #:combine ...)` raises an internal error
Closed
2 years ago
`with-linear-integer-arith2.rkt` takes forever to type check when `PLT_TR_CONSTRACTS` is on
Closed
2 years ago
Comments count
3
Allow definitions to be redefined with different type on top level (repl)?
Closed
2 years ago
Comments count
8
Should `Nothing` be a subtype of `Values`?
Updated
2 years ago
Comments count
12
Type of `in-range` is stricter than plain Racket
Closed
2 years ago
Comments count
1
[Feature Request] Support more type aliases.
Updated
2 years ago
Comments count
5
Contracts that TR generates for `Parameter` may cause some programs to be very slow.
Updated
2 years ago
Comments count
20
Previous
Next