Skip to content

Pull requests: racket/typed-racket

New pull request New
32 Open 802 Closed
32 Open 802 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump actions/upload-artifact from 6.0.0 to 7.0.1 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1504 opened Apr 13, 2026 by dependabot bot Loading…
Bump actions/github-script from 8.0.0 to 9.0.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1503 opened Apr 13, 2026 by dependabot bot Loading…
Support Racket's qq-and-or.rkt -> core-syntax.rkt file rename
#1499 opened Mar 2, 2026 by jesboat Loading…
2
(WIP) Use define-deprecated-alias for legacy aliases enhancement
#1460 opened Jun 27, 2025 by jackfirth Contributor • Draft
6
Fix bugs in floating point optimizations.
#1381 opened Jun 25, 2024 by samth Member • Draft
1
Patched require/untyped-contract to accept a language spec.
#1330 opened Jun 11, 2023 by Rscho314 Loading…
7
Add support for negated predicates in assert and with-asserts.
#1324 opened Mar 20, 2023 by NoahStoryM Contributor Loading…
4
Add typed/racket/stream
#1300 opened Jan 28, 2023 by Lazerbeak12345 Contributor • Draft
1 of 7 tasks
9
checkpoint: add +2 fast paths for simple-result->
#1295 opened Nov 29, 2022 by bennn Contributor • Draft
1
Add more base types and type aliases.
#1254 opened Jul 3, 2022 by NoahStoryM Contributor Loading…
3
WIP: Redefine for/first and for*/first.
#1252 opened Jul 1, 2022 by scolobb Contributor • Draft
3
support prop:evt
#1229 opened Apr 20, 2022 by capfredf Member • Draft
1 of 4 tasks
1
9
support List*, List ... in :kind
#1179 opened Dec 19, 2021 by capfredf Member • Draft
1
Document: Fix the definition of defmodule/incl.
#1163 opened Nov 8, 2021 by NoahStoryM Contributor Loading…
3
Refine the return type of hash-copy and for/hashs.
#1081 opened Apr 25, 2021 by NoahStoryM Contributor Loading…
7
support for bounded polymorphism
#1060 opened Mar 19, 2021 by capfredf Member • Draft
new RFC for supporting generic interfaces
#1048 opened Feb 26, 2021 by capfredf Member • Draft
add an arrow when typechecking case->
#1000 opened Nov 19, 2020 by capfredf Member • Draft
Bring bitmap% get-argb-pixels type in line with documentation/implementation
#954 opened Jul 29, 2020 by bdeket Contributor • Draft
3
type-contract: add common ctc-cache in-progress
#917 opened Mar 27, 2020 by bennn Contributor • Draft
@samth
3
Type cases for subtracting 1 from Int>1 producing PosInt
#883 opened Dec 3, 2019 by AlexKnauth Member Loading…
3
Make Opaque types correspond to positive predicates
#882 opened Dec 1, 2019 by AlexKnauth Member • Draft
1 task done
10
Don't assume optimization when for recursive function contracts.
#866 opened Oct 10, 2019 by samth Member • Draft
RFC for initial implementation of types for untyped contracts in-progress
#833 opened Jun 30, 2019 by btlachance Contributor • Draft
19
WIP: more complete function application for case-> in-progress
#757 opened Aug 2, 2018 by pnwamk Member • Draft
ProTip! Updated in the last three days: updated:>2026-04-13.