这是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

typo in parse-type.rkt
#1348 by t0mpr1c3 was merged Nov 22, 2023 Loading…
2
Bump actions/github-script from 6.4.1 to 7.0.1 dependencies Pull requests that update a dependency file
#1347 by dependabot bot was merged Nov 20, 2023 Loading…
1
[Docs] Add section on custom propositions
#1345 by micahcantor was merged Nov 10, 2023 Loading… 8.12
12
Bump actions/upload-artifact from 3.1.0 to 3.1.3 dependencies Pull requests that update a dependency file
#1344 by dependabot bot was merged Nov 4, 2023 Loading…
1
Bump actions/checkout from 3 to 4 dependencies Pull requests that update a dependency file
#1343 by dependabot bot was merged Nov 4, 2023 Loading…
1
Bump actions/github-script from 6.1.0 to 6.4.1 dependencies Pull requests that update a dependency file
#1342 by dependabot bot was merged Nov 4, 2023 Loading…
1
doc: add no_contract flag to index
#1341 by bennn was merged Nov 9, 2023 Loading…
5
[Docs] Rename Opt to Maybe in guide
#1340 by micahcantor was merged Nov 1, 2023 Loading…
7
add type for prgexp-matcher used internally in match
#1339 by usaoc was merged Oct 19, 2023 Loading…
6
add types for new check procedures in for
#1338 by usaoc was merged Oct 9, 2023 Loading…
1
fix tests for the optimizer
#1336 by capfredf was merged Aug 9, 2023 Loading…
4
repair for find-annotation
#1335 by capfredf was merged Jul 27, 2023 Loading…
1
Add #:indent types for write-json procedure
#1334 by priime0 was merged Jul 26, 2023 Loading…
3
cast: add value-name
#1332 by bennn was merged Jun 16, 2023 Loading…
3
Update for-clauses.rkt
#1326 by t0mpr1c3 was merged Apr 7, 2023 Loading…
1
test: uncomment math-untyped-id tests
#1325 by bennn was merged Apr 8, 2023 Loading…
2
repair types for <, >, min and max
#1323 by capfredf was merged Mar 21, 2023 Loading…
1
2
repair the type for input-port-append
#1322 by capfredf was merged Mar 18, 2023 Loading…
1
4
shallow: stop checking output of base numeric fns
#1316 by bennn was merged Mar 5, 2023 Loading…
5
Resyntax testing
#1313 by jackfirth was closed Feb 23, 2023 Loading…
6
Resyntax testing
#1312 by jackfirth was closed Feb 23, 2023 Loading…
resyntax: fix #1302
#1311 by capfredf was merged Feb 19, 2023 Loading…
2
Bump workflow version for runtime & URL updates
#1308 by shhyou was merged Feb 11, 2023 Loading…
3
Make the polymorphic struct error message a bit easier to understand.
#1307 by Lazerbeak12345 was merged Feb 7, 2023 Loading…
2
Update unit-from-context typechecking strategy
#1306 by lexi-lambda was merged Feb 7, 2023 Loading…
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.