234 |
(dec (var-is-declared var body)) |
(dec (var-is-declared var body)) |
235 |
(chb (var-is-changed var body))) |
(chb (var-is-changed var body))) |
236 |
(let ((type (or exp typ frt inf outer)) |
(let ((type (or exp typ frt inf outer)) |
237 |
(ublk (not (or dec chb)))) |
(ublk (not (or chb)))) |
238 |
(if type |
(if type |
239 |
(progn |
(progn |
240 |
(cmpnote "var ~S is type ~S from ~a, ~a~%" |
(cmpnote "var ~S is type ~S from ~a, ~a~%" |
243 |
(frt "deduced function return type") |
(frt "deduced function return type") |
244 |
(inf "argument inference") |
(inf "argument inference") |
245 |
(outer "outer scope")) |
(outer "outer scope")) |
246 |
(cond (dec "but is already declared") |
(cond (dec "is already declared, but amending declaration") |
247 |
(chb "but is changed in body") |
(chb "but is changed in body") |
248 |
(t "declaring"))) |
(t "declaring"))) |
249 |
(if ublk |
(if ublk |