issues
search
racket
/
typed-racket
Typed Racket
Other
521
stars
104
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
typo in parse-type.rkt
#1348
t0mpr1c3
closed
10 months ago
1
Bump actions/github-script from 6.4.1 to 7.0.1
#1347
dependabot[bot]
closed
10 months ago
0
Constructors in `typed/web-server/http` not provided
#1346
t0mpr1c3
closed
2 months ago
4
[Docs] Add section on custom propositions
#1345
micahcantor
closed
10 months ago
3
Bump actions/upload-artifact from 3.1.0 to 3.1.3
#1344
dependabot[bot]
closed
11 months ago
0
Bump actions/checkout from 3 to 4
#1343
dependabot[bot]
closed
11 months ago
0
Bump actions/github-script from 6.1.0 to 6.4.1
#1342
dependabot[bot]
closed
11 months ago
0
doc: add no_contract flag to index
#1341
bennn
closed
11 months ago
3
[Docs] Rename Opt to Maybe in guide
#1340
micahcantor
closed
11 months ago
5
add type for `prgexp-matcher` used internally in `match`
#1339
usaoc
closed
11 months ago
2
add types for new check procedures in `for`
#1338
usaoc
closed
12 months ago
0
Strange lack of subtyping for `case->`
#1337
LiberalArtist
opened
1 year ago
1
fix tests for the optimizer
#1336
capfredf
closed
1 year ago
1
repair for find-annotation
#1335
capfredf
closed
1 year ago
0
Add `#:indent` types for `write-json` procedure
#1334
priime0
closed
1 year ago
1
any-wrap: avoid wrapping immutable structs with immutable fields
#1333
bennn
opened
1 year ago
3
cast: add value-name
#1332
bennn
closed
1 year ago
1
struct #:mutable field option
#1331
bennn
opened
1 year ago
0
Patched require/untyped-contract to accept a language spec.
#1330
Rscho314
opened
1 year ago
2
The `Nothing` type causes the type checker not to check the type.
#1329
NoahStoryM
closed
1 year ago
2
`AnyValues` in `let/cc` is unbound.
#1328
NoahStoryM
opened
1 year ago
0
Examples of unexpected behavior for integer refinements
#1327
Fyrbll
opened
1 year ago
0
Update for-clauses.rkt
#1326
t0mpr1c3
closed
1 year ago
0
test: uncomment math-untyped-id tests
#1325
bennn
closed
1 year ago
1
Add support for negated predicates in `assert` and `with-asserts`.
#1324
NoahStoryM
opened
1 year ago
0
repair types for <, >, min and max
#1323
capfredf
closed
1 year ago
0
repair the type for input-port-append
#1322
capfredf
closed
1 year ago
0
for loop fails to infer subtype.
#1321
NoahStoryM
opened
1 year ago
0
input-port-append doesn't work in TR
#1320
cloudrac3r
closed
1 year ago
0
The typed version of racket/fixnum doesn't provide the popcount functions.
#1319
shawnw
opened
1 year ago
0
Issue with match-define
#1318
cogumbreiro
opened
1 year ago
7
Typed Racket source always errors on 8.8 BC
#1317
shawnw
closed
1 year ago
1
shallow: stop checking output of base numeric fns
#1316
bennn
closed
1 year ago
4
coverage testing broken for some uses of vector-set!
#1315
jbclements
opened
1 year ago
2
class field subtyping + set-field! leads to segfault
#1314
fbanados
opened
1 year ago
2
Resyntax testing
#1313
jackfirth
closed
1 year ago
2
Resyntax testing
#1312
jackfirth
closed
1 year ago
0
resyntax: fix #1302
#1311
capfredf
closed
1 year ago
1
`abs` should add a case for `(-> Fixnum Nonnegative-Fixnum)`
#1310
LiberalArtist
opened
1 year ago
2
Missing types for `fx+/wraparound` and friends
#1309
LiberalArtist
opened
1 year ago
0
Bump workflow version for runtime & URL updates
#1308
shhyou
closed
1 year ago
1
Make the polymorphic struct error message a bit easier to understand.
#1307
Lazerbeak12345
closed
1 year ago
2
Update `unit-from-context` typechecking strategy
#1306
lexi-lambda
closed
1 year ago
4
invoke-unit and unit-from-context can trigger an internal typechecker error
#1305
lexi-lambda
opened
1 year ago
6
(define-type … (Instance X)) breaks when X is a parametric type synonym, since Racket 8.7
#1304
capfredf
opened
1 year ago
0
units: Ignore the expanded structure of export tables
#1303
lexi-lambda
closed
1 year ago
0
Arguably resyntax shouldn't need to run each time I edit the OP
#1302
Lazerbeak12345
closed
1 year ago
4
fix random types
#1301
gus-massa
closed
1 year ago
0
Add `typed/racket/stream`
#1300
Lazerbeak12345
opened
1 year ago
1
#{x : t} should error when x is not a variable
#1299
sorawee
opened
1 year ago
2
Previous
Next