10 lines
225 B
Racket
10 lines
225 B
Racket
#;
|
|
(exn:pred (lambda (e) (regexp-match? "Mutation only allowed" e)))
|
|
#lang typed/racket
|
|
|
|
;; Test type variable scope
|
|
|
|
;; The 'a' is bound in two different scopes
|
|
(plambda: (a) ([x : a])
|
|
(plambda: (a) ([y : a]) (set! x y)))
|