typed-racket

typed-racket copied to clipboard

different replies to pattern matching `(p ,_ ...) `(p . ,_)

2

Racket version 8.0 [cs] #### Why does it work ``` racket #lang typed/racket (define-type Term (Listof (U Symbol Term))) (: get-tokens (-> Term (Listof Symbol))) (define (get-tokens term) (match term...

wllsena

### What version of Racket are you using? `v7.8` ### What program did you run? ``` #lang typed/racket (define-type Lambda (U 'λ 'lambda)) (define-predicate λ? Lambda) (define-type KeyWord (U Lambda...

NoahStoryM

Strange behaviors of match's or pattern

3

### What version of Racket are you using? `v7.8` ### What program did you run? Program 1: ``` #lang typed/racket (define-type Type (U Number Symbol)) (ann (lambda (arg) (match arg...

NoahStoryM

Annotating variable failes in match's pattern.

1

### What version of Racket are you using? Racket 7.7-1 ### What program did you run? ``` #lang typed/racket (match '(cond [#t a b c] [#f x y z]) [`(cond...

NoahStoryM

### What version of Racket are you using? v6.12 ### What program did you run? ```scheme #lang typed/racket (: id (-> Integer Integer)) (define (id x) x) (match '(5) ((list-no-order...

MichaelBurge

exclude #f not always work for Option type

5

### What version of Racket are you using? 8.1 or later [CS] ### What program did you run? ```racket (define-type F (Option (-> Void))) (: foo : F -> Void)...

dannypsnl

[Feature Request] Applicable Type Variables

4

It'd be very useful to be able to apply type variables to other types. An example use case is parameterizing a UI component by its layout, where a layout is...

nick-chandoke

Internal Typechecker Error: Base type L+ not in predefined-type-table

1

### What version of Racket are you using? 6.6.0.4 ### What program did you run? ``` #lang typed/racket (define-type (L+ T REST) (Pairof T (∩ (L+ T Any) REST))) ```...

SuzanneSoy

Refinement type editor/repl inconsistency

1

Racket version 8.0 [cs] I forgot to specify a return type on a function and was having issues with type checking in the repl. ```racket #lang typed/racket #:with-refinements (define-type Two...

iamevn

refinement type runs into an endless loop

1

### What version of Racket are you using? 6.12 ### What program did you run? ``` #lang typed/racket #:with-refinements (define-type test (Refine [a : (Pairof Integer Integer)] (

Syntacticlosure