typed-racket

typed-racket copied to clipboard

Incorrect signature for `extract-field`. No way to use this function without an error.

2

### What version of Racket are you using? racket-8.6.0.12 ### What program did you run? Program A: ```racket #lang typed/racket/base (require (only-in typed/net/url get-pure-port/headers netscape/string->url make-http-connection) (only-in typed/net/head extract-field)) (define...

Lazerbeak12345

Just touching this file to get Resyntax to analyze it so I can debug why it didn't review #1282 properly.

jackfirth

Trying something out that might simplify the CI setup.

jackfirth

function arity of type-annotation not checked against definition

1

### What version of Racket are you using? `Welcome to DrRacket, version 7.9.0.5 [3m].` ### What program did you run? ``` #lang typed/racket/base (: test1 (->* [Integer] [Integer Integer] Integer))...

bdeket

``` #lang typed/racket (match '#hash((a . 2)) [(hash 'a _) #t] [_ #f]) ``` produces the following error on Racket 8.12: ``` Type Checker: missing type for identifier; consider using...

shawnw

`struct`'s `#:methods` missing in Typed Racket

3

### What version of Racket are you using? `8.10` ### What program did you run? In normal racket: ```rkt #lang racket/base (require racket/generic) (define-generics testable (test testable)) (struct myst (sth)...

yikerman

### What version of Racket are you using? Tested with 8.9, 8.11.1, release candidate ### What program did you run? ``` #lang typed/racket (define-type NumGetter (-> Real)) (define (called-fun [prefix...

jbclements

### What version of Racket are you using? 8.11 [cs] ### What program did you run? ``` #lang typed/racket (: xs (Pairof Real (Listof Real))) (define xs (list 1)) (apply...

sorawee

### What version of Racket are you using? Racket 8.10 [cs] ### What program did you run? ``` #lang typed/racket (require/typed racket/stream [prop:stream (Struct-Property Any)] [stream->list (-> (Has-Struct-Property prop:stream) (List...

rvs314

require/typed #opaque -> contract violation

15

As detailed in test case: https://gist.github.com/acarrico/850f9d7112104afd3e5a6dd916edf1ae ``` (require/typed "untyped.rkt" (#:opaque XPointer x-pointer?) (make-x (-> XPointer)) (take-x (-> XPointer Void))) ``` Succeeds in Racket 6.2, fails with contract violation in 6.6,...

acarrico