typed-racket

typed-racket copied to clipboard

This program: ``` #lang typed/racket (: g (∩ (-> Integer Integer) (-> Boolean Boolean))) (define (g x) (if (exact-integer? x) 5 #f)) ``` produces this error: ``` Welcome to DrRacket,...

rfindler

### What version of Racket are you using? 8.3 [cs] ### What program did you run? I used the macro stepper for Emacs' Racket Mode to check what the following...

kartik-sabharwal

closes #1171

capfredf

[Feature Request] add types for `and/c` and `or/c`.

4

**Is your feature request related to a problem? Please describe.** Example Code ``` (: p [-> Any Boolean : (U Zero Symbol)]) (define p (λ (a) (or (and (natural? a)...

NoahStoryM

`All`'s `ooo` can't be used in `U`

2

### What version of Racket are you using? `v8.3.0.8 [cs]` ### What program did you run? ``` #lang typed/racket (: underlying (All (A ...) [-> A ... A (U Null...

NoahStoryM

### Type inference problem The error message given in https://github.com/racket/typed-racket/issues/1173 is very confusing. Here is a simplified example: ``` #lang typed/racket (define-type (Cat Type) (All (Arg) [-> Type Arg])) (:...

NoahStoryM

[Feature Request] let `All` more flexible.

3

### Automatic matching types for nested `All` Code Example ``` #lang typed/racket/base (: CONS (All (A) (All (B) [-> A B (Pairof A B)]))) (define CONS (λ (a b) (cons...

NoahStoryM

`:kind` can't work for `List*` and `List` (maybe more type-level expression)

2

### What version of Racket are you using? `v8.3.0.8 [cs]` ### What program did you run? ``` > (:kind List*) string:1:7: Type Checker: parse error in type; type name `List*'...

NoahStoryM

[Feature Request] support `ephemeron-hash`, remove `Weak-BoxTop`.

2

Hello, I noticed that racket has supported ephemeron-hash since version 8.0.0.10, so should we add corresponding types for them? I sorted out some types and operators that may be involved:...

NoahStoryM

Values provided by typed unit won't generate contract.

2

### What version of Racket are you using? `v8.3` ### What program did you run? ``` #lang racket/base (module typed typed/racket/base (require typed/racket/unit) (provide (all-defined-out)) (define-type Non-Pair (Refine [t :...

NoahStoryM