[조성해]

안녕하세요.

현재 machine.ml에 있는 step 함수에서 아래와 같이 CALL을 처리하고 있는데
| V (L l) :: V v :: P (x, c', e') :: s, m, e, CALL :: c, k ->
(s, store l v m, (x, Loc l) :: e', c', (c, e) :: k)

재귀 함수가 가능하려면 자기자신을 환경에 정의해야 해서 아래와 같이 구현되어야 하는게 아닌지 궁금합니다.
| V (L l) :: V v :: P (x, c', e') :: s, m, e, CALL :: c, k ->
(s, store l v m, (f, Proc (x, c', e')) :: (x, Loc l) :: e', c', (c, e) :: k)

감사합니다.

[이재호]

안녕하세요,

SM5 기계의 CALL 정의에는 문제가 없습니다.

재귀 함수는 호출이 아니라 정의 부분에서 고려되어야 하는 부분입니다.
`Translator.trans`에서 `K.LETF`를 번역할 때 고민해보시기 바랍니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr