typed-racket
typed-racket copied to clipboard
racket
Typed Racket
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket (define-type Type (U Symbol λ-Type)) (define-predicate type? Type) (define-type Types (Listof...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket (match '[-> Number Number Number] [`[-> ,(? symbol? #{ts : (Listof...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket (define-type Type (U Symbol List-Type)) (define-type List-Type (Pair 'List Types)) (define-type...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket (: s? [-> Any Boolean : (U Symbol (Listof Symbol))]) (define...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` Welcome to Racket v8.4 [cs]. > (define-type Nulls (U Null (List Nulls))) >...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` > '() - : Null '() > (list) - : Null '() >...
### What version of Racket are you using? 8.3 ### What program did you run? #lang typed/racket (append* '(a) '(b) '((c) (d))) ### What should have happened? Get '(a b...
### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` Welcome to Racket v8.4 [cs]. > (struct slist ([scar : Any] [scdr :...
### What version of Racket are you using? Racket 8.2.0.8 ### What program did you run? ``` (: hi (All (r #:row) (-> r r))) (define (hi a) a) ```...
[I originally opened this as an issue for `racket`, but it more clearly violates the docs for `typed/racket`.] Although for `racket` it doesn't seem explicitly forbidden, the `typed/racket` docs say:...
