typed-racket

typed-racket copied to clipboard

`begin-for-syntax` run twice after type check in typed/racket

1

I'm not sure if it's normal behavior. I just want to know why `begin-for-syntax` needs to be calculated twice after the type check. ### What version of Racket are you...

NoahStoryM

typed/rackunit: check-eq? broke its contract

14

check-eq? and check-equal? etc get blamed when I try to compare structs. ``` #lang typed/racket/base (require typed/rackunit) (define-struct foo ([bar : Any])) (define foo1 (make-foo 42)) (check-eq? foo1 foo1) ```...

bennn

Originally discovered via [this Stack Overflow question](http://stackoverflow.com/q/28801595/465378). Given the following function: ``` racket (: first-value (All (A) (-> A (All (B) (-> B A))))) (define ((first-value a) b) a) ```...

lexi-lambda

for/last is broken and doesn't typecheck

1

I cannot get a single valid use of `for/last` to properly typecheck. Even this simple code fails. ``` racket (for/last ([i (in-range 10)]) i) ``` ``` Type Checker: type mismatch...

lexi-lambda

case-lambda doesn't typecheck with rest-args as expected

2

### What version of Racket are you using? 7.4 ### What program did you run? ``` #lang typed/racket (: foo (-> Any * Any)) (define foo (case-lambda [() 'one] [(a)...

lwhjp

### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket (define-type K-Exp (List 'λ (List Symbol) CPS-Exp)) (define-type CPS-Exp (U Symbol...

NoahStoryM

The type checker doesn't see the combined domain of all the arrows.

3

### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket/base (define-predicate ns? (Listof Natural)) (: mul (case-> [-> One] [-> False...

NoahStoryM

parse error raised by `Refinement`.

2

### What version of Racket are you using? `v8.4 [cs]` ### What program did you run? ``` #lang typed/racket (define _ (gensym 'k)) (define k? (curry symbol=? _)) (declare-refinement k?)...

NoahStoryM

### What version of Racket are you using? 0f733e29fe4a0737c1e662c1fb2bae9d350b4fbb or later ### What program did you run? ```racket #lang typed/racket/base (define-type Type (U String (And Type))) (struct (X) And ([ts...

pnwamk

Requiring a cstruct within a typed racket module fails with "identifier `struct:id' not included in nested require spec"

2

``` $ racket --version Welcome to Racket v7.0. ``` ``` ;;; c.rkt #lang racket (provide (struct-out color)) (require ffi/unsafe) (define-cstruct _color ([r _uint8])) ;;; use_c.rkt #lang typed/racket (require/typed "c.rkt" [#:struct...

smotti