typed-racket/typed-racket-test/succeed/hash-literal.rkt
2014-12-16 10:07:25 -05:00

5 lines
108 B
Racket

#lang typed/racket
(define: x : (HashTable String String) #hash())
(ann #hash() (HashTable String String))