typed-racket

typed-racket copied to clipboard

### What version of Racket are you using? 6.9.0.4 ### What program did you run? ``` (:type (All (r #:row) (Instance (Class #:row-var r)))) (:type (All (r #:row) (Object #:row-var...

SuzanneSoy

TR fails to correctly type-check nested polymorphic application expressions using corresponding expected types

2

### What version of Racket are you using? `v8.2` ### What program did you run? Program 1: ``` #lang typed/racket (: m0 (MPairof String Null)) (define m0 (mcons "world" '()))...

NoahStoryM

### What version of Racket are you using? Racket 8.0 [CS] ### What program did you run? I tried loading the following program into Dr. Racket and Racket-Mode: ```scheme #lang...

rvs314

add separate read and write types for Box types

40

The `Boxof` type now has two forms: - `(Boxof t)`, a type for boxes that can contain values of type `t`. You can write `t` values into the box with...

AlexKnauth

### What version of Racket are you using? Racket version 8.1 with `typed-racket-lib` version 1.12. ### What program did you run? ```racket #lang typed/racket (module untyped racket (provide (struct-out a)...

AlexKnauth

typed/rackunit: cannot define-simple-check

3

This innocent-looking program triggers 53 type errors. ``` #lang typed/racket/base (require typed/rackunit) (define-simple-check (check-foo? a b) #t) ``` Here they are. . . ``` define-simple-check.rkt:1:0: Type Checker: missing type for...

bennn

checking expanded forms at the top level might be problematic

1

### What version of Racket are you using? Need TR to be patched by https://github.com/racket/typed-racket/pull/1120 ### What program did you run? ``` > (struct foo () #:property prop:custom-write 10) ```...

capfredf

capfredf

struct-info-wrapper does not implement prop:struct-field-info

1

### What version of Racket are you using? ``` -> racket --version Welcome to Racket v8.1 [cs]. ``` ### What program did you run? ``` #lang racket (module typed typed/racket/base...

mxork

modulo with a modulus of 256 should give a Byte

3

Observed: ``` scratch.rkt> (version) - : String "7.8" scratch.rkt> (modulo 256 255) - : Integer [more precisely: Byte] 1 scratch.rkt> (modulo 256 256) - : Integer [more precisely: Index] 0...

sonatagreen