#;
(
with-type.rkt line 13 col 19 - + - binary float
34.6
)

#lang racket

(require typed/racket)

(with-type ([fun (Float -> Float)]
            [val Float])
  (define (fun x) (+ x val))
  (define val 17.3))

(fun val)

#;
(
with-type.rkt 13:19 + -- binary float
34.6
)

#lang racket

(require typed/racket)

(with-type ([fun (Float -> Float)]
            [val Float])
  (define (fun x) (+ x val))
  (define val 17.3))

(fun val)

Fix test log to use new format.
Fix test log to use new format.
