-
-
Notifications
You must be signed in to change notification settings - Fork 103
Pull requests: racket/typed-racket
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
contract: repair contract generation for type application
#1263
by capfredf
was merged Jul 15, 2022
Loading…
Provide everything from
racket
in typed/racket/base/no-check
.
#1249
by samth
was merged Jun 24, 2022
Loading…
ci: do not check with-linear-integer-arith2.rkt with PLT_TR_CONTRACTS on
#1246
by capfredf
was merged Jun 18, 2022
Loading…
workaround: conditionally call tc-seq-expr on toplevel expressions
#1244
by capfredf
was closed Jun 18, 2022
Loading…
Add types to some classes and interfaces in
typed/racket/snip
.
#1236
by NoahStoryM
was merged May 14, 2022
Loading…
Improve the explanation of cast and of the reference to assert.
#1232
by scolobb
was merged Jun 17, 2022
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.