[최영진09]

안녕하세요, 수강생 최영진입니다.

(w :: S, M, E, bind x :: C, K)
⇒ (S, M, (x, w) :: E, C, K)

에서 w는 Value + Proc + (Var × Loc) + (Var × Proc) 이고
Value = Integer + Bool + {·} + Record + Loc 입니다.

그런데 Value를 bind하려다가 계속 에러가 나서 뼈대코드 sm5.ml을 살펴보니 연산이 Val(Loc)과 Proc밖에 받지 않는 것 같습니다.

[최재승]

안녕하세요,

hw5.pdf 문서에 따르면, Environment 부품의 정의가

[최영진09]

아, 넵. 감사합니다.