Skip to content

Pull requests: racket/typed-racket

New pull request New
34 Open 740 Closed
34 Open 740 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Automated Resyntax fixes
#1422 opened Dec 27, 2024 by resyntax-ci bot Loading…
Bump actions/upload-artifact from 4.4.3 to 4.5.0 dependencies Pull requests that update a dependency file
#1421 opened Dec 23, 2024 by dependabot bot Loading…
1
Automated Resyntax fixes
#1419 opened Dec 20, 2024 by resyntax-ci bot Loading…
Automated Resyntax fixes
#1416 opened Nov 29, 2024 by resyntax-ci bot Loading…
Fix correspondence between location/c and Location in typed/racket
#1414 opened Nov 26, 2024 by joergen7 Loading…
2 of 4 tasks
2
Fix bugs in floating point optimizations.
#1381 opened Jun 25, 2024 by samth • 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 Loading…
4
Add typed/racket/stream
#1300 opened Jan 28, 2023 by Lazerbeak12345 • Draft
1 of 7 tasks
9
checkpoint: add +2 fast paths for simple-result->
#1295 opened Nov 29, 2022 by bennn • Draft
1
Add more base types and type aliases.
#1254 opened Jul 3, 2022 by NoahStoryM Loading…
3
WIP: Redefine for/first and for*/first.
#1252 opened Jul 1, 2022 by scolobb • Draft
3
support prop:evt
#1229 opened Apr 20, 2022 by capfredf • Draft
1 of 4 tasks
1
9
support List*, List ... in :kind
#1179 opened Dec 19, 2021 by capfredf • Draft
1
Document: Fix the definition of defmodule/incl.
#1163 opened Nov 8, 2021 by NoahStoryM Loading…
3
Refine the return type of hash-copy and for/hashs.
#1081 opened Apr 25, 2021 by NoahStoryM Loading…
7
Make Typed Racket implementation structs authentic.
#1072 opened Apr 16, 2021 by samth Loading…
2
support for bounded polymorphism
#1060 opened Mar 19, 2021 by capfredf • Draft
new RFC for supporting generic interfaces
#1048 opened Feb 26, 2021 by capfredf • Draft
add an arrow when typechecking case->
#1000 opened Nov 19, 2020 by capfredf • Draft
Bring bitmap% get-argb-pixels type in line with documentation/implementation
#954 opened Jul 29, 2020 by bdeket • Draft
3
type-contract: add common ctc-cache in-progress
#917 opened Mar 27, 2020 by bennn Loading…
@samth
3
Type cases for subtracting 1 from Int>1 producing PosInt
#883 opened Dec 3, 2019 by AlexKnauth Loading…
3
Make Opaque types correspond to positive predicates
#882 opened Dec 1, 2019 by AlexKnauth • Draft
1 task done
10
Don't assume optimization when for recursive function contracts.
#866 opened Oct 10, 2019 by samth • Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.