14 lines
288 B
Racket
14 lines
288 B
Racket
#;
|
|
(exn:pred (lambda (e) (regexp-match? "Mutation only allowed" e)))
|
|
#lang typed/racket
|
|
|
|
;; Testing type variable scope
|
|
|
|
;; This should fail for the same reason as PR 13123
|
|
(: i (All (x) (x -> x)))
|
|
(define i
|
|
(plambda: (b) ([x : b])
|
|
(plambda: (b) ([y : b])
|
|
(set! x y))
|
|
x))
|