这是indexloc提供的服务，不要输入任何密码
Skip to content

Pull requests: racket/typed-racket

New pull request New
35 Open 770 Closed
35 Open 770 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

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
Evaluation order rfc in-progress RFC Includes an RFC
#709 opened May 5, 2018 by bennn Loading…
2 tasks
@bennn
3
order-of-evaluation props in-progress
#707 opened May 2, 2018 by bennn Loading…
7 tasks
@bennn
14
Reduce expansion from type and contract generation. in-progress
#633 opened Oct 17, 2017 by samth Loading…
@samth
56
WIP: Initial support for racket/contract in TR in-progress
#420 opened Aug 23, 2016 by btlachance Loading…
@samth @btlachance
50
WIP: add type-out provide-spec in-progress
#301 opened Feb 2, 2016 by bennn Loading…
@bennn
10
add separate read and write types for Box types in-progress
#225 opened Oct 25, 2015 by AlexKnauth Loading… 6.7
@AlexKnauth
60
ProTip! Follow long discussions with comments:>50.