typed-racket

typed-racket copied to clipboard

[Feature Request] Support in-source scribble documentation

1

### What is the current state? I'm starting a project in Typed Racket and I'm missing in-source documentation comments for top-level items. Scribble seems pretty cool, but I definitely don't...

loafofpiecrust

[rendered] [rendered]: https://github.com/capfredf/typed-racket/blob/rfc-typing-generic/rfcs/text/0003-typing-generic-interfaces.md

capfredf

Unexpected sensitivity to order of `require`d typed modules in untyped code

1

### What version of Racket are you using? 8.0 (problem occurs in both the CS and BC variants) ### What program did you run? `raco exe src/c.rkt`, with the following...

jessealama

### What version of Racket are you using? `7.9[cs]` ### What program did you run? ``` #lang typed/racket (define-type Foo (U BoxTop Number Foo-Pair)) (define-type Foo-Pair (Pair Foo Foo)) (define-predicate...

NoahStoryM

Bring bitmap% get-argb-pixels type in line with documentation/implementation

1

Sending real values for x and y to bitmap get-argb-pixels exits with an error (for example) ``` (send H get-argb-pixels 1. 1. 2 2 (make-bytes 100)) ptr-ref: contract violation expected:...

bdeket

Unclear error message for (second x) expression

1

Thank you so much for typed racket.. I hope to be able to help improve it ### What version of Racket are you using? 7.6 ### What program did you...

srcreigh

``` [samth@homer:~/sw/plt (master) plt] r Welcome to Racket v7.9.0.17 [cs]. > (exp +nan.0+0.0i) +nan.0+0.0i > ^D [samth@homer:~/sw/plt (master) plt] r -I typed/racket Welcome to Racket v7.9.0.17 [cs]. > (exp +nan.0+0.0i)...

samth

For a function that has optional parameter types [t1, t2, t_i ... t_n], if each of [t_i ... t_n] is a supertype of the first rest parameter type, add to...

capfredf

Inferred type of (compose number->string add1) is (-> Zero String)

1

### What version of Racket are you using? 7.9 CS ### What program did you run? ``` Welcome to DrRacket, version 7.9 [cs]. Language: typed/racket, with debugging; memory limit: 512...

LiberalArtist

Curryr has no type annotation

5

When using `curryr` in the `typed/racket` REPL, I get the following error, which asks me to file a bug report. ``` (:print-type curryr) stdin::34: Type Checker: missing type for identifier;...

langston-barrett