[김의기]

안녕하세요.

hw6 파일의 sm5 설명 부분을 보면
bind의 경우 Svalue인 w에 대해 (x,w)로 bind될 수 있다고 되어있습니다.
그런데 제공해주신 스켈레톤 코드 sm5.ml파일에 bind는 evalue인 Loc와 Proc에만 가능하게 되어 있어
Svalue에 속하는 value를 bind하려고 시도하면 "Invalid machine state"에러가 나게 됩니다.
불필요한 malloc 없이 특정 기능을 구현하기 위해서는 숙제 문서에서와 같이 Svalue를 bind할 필요가 있는 것 같습니다.

답변부탁드립니다. 감사합니다.

[김의기]

다시 생각해보니 READ, WRITE 결과만 같다면 구현 방법은 상관없다고 하셔서
malloc을 사용하여 해결했습니다.