[신동빈]

Toplevel에 과다한 양의 코드가 들어가서 그런지, grade로 테스트할 때 그레이드에 선언되어 있는 변수들이

# TuringMachine.init_tape ["a";"b"];;
- : TuringMachine.tape = <abstr>

와 같이 abstr로 뜨면서 볼 수가 없게 되어 디버깅이 굉장히 힘들게 되는데 해결책이 있는지 질문드립니다.

[김윤승]

일단 abstr은 일부러 더 이상 못 보게 가려놓은 것입니다.

signature 부분을 삭제하면 <abstr>이 사라집니다.

즉 module TuringMachine :TM 에서 :TM 을 지우고 테스트한 후에 제출 전에 :TM을 다시 넣으면 될 것 같습니다.

[신동빈]

일단 7-1 디버깅은 print가 있어서 해결했네요. 감사합니다.