[sggunha]

뼈대 코드에서

K.ADD (e1, e2) -> trans e1 @ trans e2 @ [ Sm5.ADD ]

으로 되어있는데

k-에서
ADD (e1, e2) ->
let v2, mem' = eval mem env e2 in
let v1, mem'' = eval mem' env e1 in
(Num (value_int v1 + value_int v2), mem'')

e2를 먼저 계산하고 e1을 계산하는데


K.ADD (e1, e2) -> trans e2 @ trans e1 @ [ Sm5.ADD ]
가 맞는 것 아닌가요?

[안중원]

안녕하세요, 프로그래밍 언어 조교 안중원입니다.
말씀하신대로 ADD의 번역은 실행의미에서 정의한 순서에 맞게 이루어져야 합니다.
해당 부분을 올바르게 수정하여 제출해주시면 됩니다.
스켈레톤 코드도 해당 부분을 수정하여 다시 업로드하였으니 참고바랍니다.
감사합니다.
_________________
TA 안중원
e-mail: jwahn@ropas.snu.ac.kr