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

Pull requests: racket/typed-racket

New pull request New
Clear current search query, filters, and sorts
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

units: Ignore the expanded structure of export tables
#1303 by lexi-lambda was closed Feb 7, 2023 Loading…
1
fix random types
#1301 by gus-massa was merged Feb 7, 2023 Loading…
update for open-output-file, etc., and #:replace-permissions?
#1297 by mflatt was merged Dec 15, 2022 Loading…
avoid calling normalize-type outside of shallow tr
#1296 by bennn was merged Dec 13, 2022 Loading…
4
let flonum's functions has same behavior as in #lang racket
#1294 by dannypsnl was merged Nov 28, 2022 Loading…
1
4
Add type to const*.
#1291 by NoahStoryM was merged Dec 27, 2022 Loading…
2
Allow dependent function types with no arguments
#1290 by AlexKnauth was merged Nov 11, 2022 Loading…
Allow #:combine and #:combine/key
#1288 by bdeket was merged Oct 24, 2022 Loading…
3
Repair net/head types.
#1287 by Lazerbeak12345 was merged Dec 2, 2022 Loading…
10
set: add a type for in-set
#1284 by capfredf was closed Sep 19, 2022 Loading…
Resyntax testing
#1283 by jackfirth was closed Feb 23, 2023 • Draft
type-contract: merge vector and hash types earlier
#1282 by bennn was merged Sep 20, 2022 Loading…
6
Simplify CI job names and matrix
#1281 by jackfirth was merged Sep 9, 2022 Loading…
1
Make PLT_TR_CONTRACTS easier to toggle in CI
#1280 by jackfirth was merged Sep 9, 2022 Loading…
Experiment with setup-racket
#1279 by jackfirth was closed Feb 23, 2023 Loading…
2
Add missing permissions
#1278 by jackfirth was merged Sep 4, 2022 Loading…
1
[DO NOT MERGE]: Add some code for Resyntax to analyze
#1277 by jackfirth was closed Sep 4, 2022 Loading…
3
Fix resyntax permissions
#1276 by jackfirth was merged Sep 3, 2022 Loading…
Fix Resyntax workflows
#1275 by jackfirth was merged Sep 3, 2022 Loading…
1
Improve documentation for issue #1271.
#1274 by taimoorzaeem was merged Aug 29, 2022 Loading…
Shallow TR: fix drdr errors
#1273 by bennn was merged Aug 26, 2022 Loading…
2
Avoid infinite loops printing prefab types.
#1272 by samth was merged Aug 22, 2022 Loading…
1
fix an internal errror
#1269 by capfredf was merged Jul 30, 2022 Loading…
1
enable with-linear-integer-arith2.rkt
#1267 by capfredf was merged Jul 22, 2022 Loading…
drdr: disable test succeed/with-linear-integer-arith2
#1265 by capfredf was merged Jul 14, 2022 Loading…
ProTip! no:milestone will show everything without a milestone.