typed-racket

typed-racket copied to clipboard

While TR provides variadic type constructors like `Values`, `U`, and `Sequenceof`, users cannot define their own using `define-type`. Currently, `define-type` treats `...` as a normal type argument. For instance, attempting...

NoahStoryM

[Feature Request] Add `unsafe-cast`

5

**Is your feature request related to a problem? Please describe.** Typed Racket uses predicates to refine types, but this approach has limitations since many types cannot have corresponding predicates. This...

NoahStoryM

**What version of Racket are you using?** `Welcome to Racket v8.16 [cs].` **What program did you run?** ``` $ racket -l typed/racket -i > in-directory - : (->* () ((U...

Antigen-1

``` #lang typed/racket (define (g x) x) (define x : Number (g 42)) (define y : String (g "hello")) ``` TR does not reject the program, even though g has...

capfredf

Typed Racket cannot handle compose that use multiple values

3

**What version of Racket are you using?** 8.15 **What program did you run?** ```racket #lang typed/racket (require qi) (: add-up (-> Number Number Number)) (define (add-up n m) (+ n...

OnorioCatenacci

Fix types of `asin` and `acos`.

1

These can produce complex results for flonum inputs. Closes #1423.

samth

acos unsound in TR

2

Per the discussion in https://racket.discourse.group/t/acos-behaves-differently-on-s-1-0-in-tr/3453 ... it appears there is a soundness problem around the use of `flacos` to implement `acos` in TR. Specifically, this program, constructed by @usaoc ,...

jbclements

This PR provides typed version fxpopcount functions, related to [issue1319](https://github.com/racket/typed-racket/issues/1319). Before ``` Welcome to Racket v8.15-2024-12-25-34ef1af7ec [cs]. > (require racket/fixnum) > (fxpopcount 42) string:1:1: Type Checker: missing type for identifier;...

cocodery

`identifier-binding-symbol: contract violation` after `raco demod`

2

I'm not 100% sure this is a TR bug, but here's the program: ```racket #lang typed/racket (define length #e1e4) (define inner-loop (* 10 length)) (define u (cast (string->number (vector-ref (current-command-line-arguments)...

benknoble

This Typed Racket program should report that the "Should be a failure" test failed and no tests succeeded. ```racket #lang typed/racket (require typed/rackunit typed/rackunit/text-ui) (run-tests (test-suite "Tests" (test-equal? "Should be...

stevecheckoway