[강동현]

for, while 등을 call을 통해 호출하기 위해선 부득이하게 임의의 id - ex : "For" "while" 을 써야 되는 것 같은데요, 프로그램 내에서 제가 만든 임의의 변수 명과 동일한 변수를 사용하게 될 경우 에러가 날 수 밖에 없는 것 같습니다.

ex)
let While=1
while(While<10)
do ~

만약, while 문을 돌리기 위하여 제가 While 이라는 id를 통해 call을 하게 될 경우에 위에서 제가 정의해 준 변수 While이 사라지게 되는 것 같아요(덮어쓰기). 이런 경우도 모두 처리를 해 주어야 하나요? 아니면 이 두가지 변수명은 우리가 쓸 수 없다- 라고 해도 될까요?

[이승중]

그런 조건이 있으면 변환된 프로그램이 원래 프로그램과 같은 동작을 한다고

보기가 어려울것 같습니다.

프로그램 텍스트로 만들 수 없는 변수를 사용하거나, 쓰이는 변수들을 알아내서 안쓰이는 변수를 선택하시면 될 것 같습니다.

lexer.mll에 보시면 프로그램 텍스트에서 읽어들이는 변수의 모양이 나와있습니다.