typed-racket/typed-racket-test/succeed/single-flonum-contract.rkt
2014-12-16 10:07:25 -05:00

5 lines
88 B
Racket

#lang typed/racket
(provide (all-defined-out))
(: foo Single-Flonum)
(define foo 1.0f0)