typed-racket/typed-racket-test/fail/bad-hash-ref.rkt
2014-12-16 10:07:25 -05:00

17 lines
263 B
Racket

#lang typed/scheme
(: table (HashTable Integer (-> Integer)))
(define table
(make-immutable-hash null))
(: lookup (Integer -> Integer))
(define (lookup n)
(: thunk (-> Integer))
(define thunk
(hash-ref table n (lambda () 0)))
(thunk))
(lookup 1)