typed-racket

typed-racket copied to clipboard

In some cases, the propositional information is lost when defining predicate.

1

### What version of Racket are you using? `v8.2` ### What program did you run? ``` #lang typed/racket/base (define-type Num-LS (Listof Number)) (define-type Num-MLS (MListof Number)) (define-type Nums (U Num-LS...

NoahStoryM

Document: Fix the definition of `defmodule/incl`.

3

In the old definition, if we search for `JSExpr` in the `search manuals`, we will get: `JSExpr provided from typed/racket/base, typed/racket` instead of `JSExpr provided from typed/json`

NoahStoryM

### What version of Racket are you using? `v8.3` ### What program did you run? ``` > (define-type T (Pair T T)) > (define-predicate t? T) ; g5: unbound identifier;...

NoahStoryM

### What version of Racket are you using? `v8.2` ### What program did you run? ``` #lang typed/racket/base (module untype racket/base (provide func) (define (func arg) (displayln '--------------) (displayln arg)...

NoahStoryM

### What version of Racket are you using? `v8.2` ### What program did you run? ``` #lang typed/racket/base (define-type Im-Nums (U Number (Immutable-HashTable Symbol Im-Nums))) (define-predicate im-nums? Im-Nums) (define-type Top-Nums...

NoahStoryM

Add a switch to turn off contract optimization. (SCV-CR needs to disable the optimizations to do its analysis, and people like Shriram might want to show the full contracts for...

bennn

A strange bug caused by `provide` and recursive `MListof`.

1

### What version of Racket are you using? `v8.2` ### What program did you run? ``` #lang typed/racket/base (provide func-1 func-2) (define-type MNulls (MListof MNulls)) (: func-1 [-> MNulls Any])...

NoahStoryM

The error message is incorrect when required keyword argument not supplied

2

### What version of Racket are you using? `v8.2` ### What program did you run? ``` #lang typed/racket (: func (case-> [-> #:bool True One] [-> #:bool False Zero])) (define...

NoahStoryM

random numeric testing failures

3

- (exp (make-rectangular 1.7976931348623153e+308 0.0)) - http://drdr.racket-lang.org/55871/cs/racket/share/pkgs/typed-racket-test/tr-random-testing.rkt - http://drdr.racket-lang.org/56100/cs/racket/share/pkgs/typed-racket-test/tr-random-testing.rkt - http://drdr.racket-lang.org/56136/cs/racket/share/pkgs/typed-racket-test/tr-random-testing.rkt - http://drdr.racket-lang.org/56154/cs/racket/share/pkgs/typed-racket-test/tr-random-testing.rkt (2 here) - http://drdr.racket-lang.org/56432/racket/share/pkgs/typed-racket-test/tr-random-testing.rkt

samth

I've found that either of these two tests fail 9 out of 10 times when I run the integrated tests with all the threads via '-j n` (n = 12...

capfredf