Объявление меток после функции

Question

У меня есть этот код в Оз:

declare
fun {NewCounter}
C Bump Read in
C={NewCell 0}
fun {Bump}
C:=@C+1
@C
end
fun {Read}
@C
end
counter(bump:Bump read:Read)
end

У меня есть два вопроса:

1) C, метки Bump и Read объявляются после функции NewCounter.Являются ли они глобальными метками?

2) Функция NewCounter возвращает счетчик записей.Почему мне нужно указывать имя записи (счетчика), учитывая, что никакая другая функция никогда не вызовет ее явно?

Answer 1

C, Bump и Read - локальные переменные (часть функции NewCounter).

Возможно, метка возвращенной записи здесь не важна.Но код клиента может использовать метку.Также это может быть полезно увидеть в отладчике.