typed-racket
typed-racket copied to clipboard
racket
Typed Racket
**Summary:** Writing “detached” type declarations using `->*` (and similar type constructors) is **not** equivalent to writing the same types “inline” using `typed/racket`'s version of `lambda` (and the function-header form of...
This is an automated change generated by Resyntax. #### Pass 1 Applied 1 fix to [`typed-racket-lib/typed-racket/typecheck/possible-domains.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/typecheck/possible-domains.rkt) * Line 58, `and-match-to-match`: This `and` expression can be turned into a clause of...
![resyntax-ci[bot] avatar](https://avatars.githubusercontent.com/in/999945?v=4 "resyntax-ci[bot] avatar"){kind=avatar}
This is an automated change generated by Resyntax. #### Pass 1 Applied 3 fixes to [`typed-racket-lib/typed-racket/base-env/annotate-classes.rkt`](../blob/HEAD/typed-racket-lib/typed-racket/base-env/annotate-classes.rkt) * Line 3, `tidy-require`: Keep imports in `require` sorted and grouped by phase, with...
Related to (or maybe the same as?) to #412 ### What version of Racket are you using? v8.14 [cs] ### What program did you run? ```racket #lang typed/racket/base (: ttest-homo...
### What version of Racket are you using? 6.6.0.1 ### What program did you run? ``` racket #lang typed/racket ((λ #:∀ (A ...) [rest : A ... A] (if (pair?...
**Description:** Typed Racket's refinement types (`Refine`) are currently limited to **linear integer constraints** (e.g., ` Real NonzeroReal Real)) (define (safe-div x y) (/ x y)) ``` **Proposal:** Extend the `Refine`...
Bumps [Bogdanp/setup-racket](https://github.com/bogdanp/setup-racket) from 1.13 to 1.14. Release notes Sourced from Bogdanp/setup-racket's releases. v1.14 Changed The snapshot sites have been updated to consolidate the set of builds provided between the Utah...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4.6.1 to 4.6.2. Release notes Sourced from actions/upload-artifact's releases. v4.6.2 What's Changed Update to use artifact 2.3.2 package & prepare for new upload-artifact release by @salmanmkc in...
**What version of Racket are you using?** v8.15 [cs] **What program did you run?** ```racket #lang typed/racket/base/shallow (displayln 'start) (module goto racket/base (provide goto label) (define (goto l) (l l))...
I see no mention of intersection types in the [documentation](https://docs.racket-lang.org/ts-guide/types.html), is [this one the only reference?](https://docs.racket-lang.org/ts-reference/type-ref.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fbase-types..rkt%29._~e2~88~a9%29%29) I would love to learn about them?
