Skip to content

Pull requests: racket/typed-racket

New pull request New
31 Open 766 Closed
31 Open 766 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

Fix types of asin and acos.
#1428 opened Jan 16, 2025 by samth • Draft
1
1
Provide typed version fxpopcount functions
#1425 opened Jan 4, 2025 by cocodery Loading…
1
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
RFC for initial implementation of types for untyped contracts in-progress
#833 opened Jun 30, 2019 by btlachance Loading…
19
WIP: more complete function application for case-> in-progress
#757 opened Aug 2, 2018 by pnwamk • Draft
more-complete-application RFC in-progress
#756 opened Jul 30, 2018 by pnwamk • Draft
2
ProTip! Mix and match filters to narrow down what you’re looking for.