9 lines
126 B
Racket
9 lines
126 B
Racket
#lang typed-scheme
|
|
|
|
(let: ([x : (Boxof Number) (box "foo")]) x)
|
|
|
|
(let ()
|
|
(: x (Boxof Number))
|
|
(define x (box "foo"))
|
|
x)
|