[임연섭]

k--에서 보면

ASSIGNV(x, e1) 나 LETV(x, e1, e2)가..

e1을 실행하고 대입하거나 바인딩 하게 되있는데요..

그럼

let x:=malloc(1024)
in
x:=malloc(10)
end

와 같은 경우에는 malloc(10)을 하면서 메모리를 할당할때

GC가 필요하다면 앞서의 x때문에

malloc(1024)는 free가 안될 것 같은데요..

malloc를 실행하면서 앞으로 어디로 바인딩될지도 판단해서

앞에 껄 풀어줘야 하는 걸까요??

어떻게 해야할지..

구현하신 분들 힌트라도.. ㅜ.ㅜ

낼이 아 오늘 이구나.. ㅠ.ㅠ due date인데..

도무지 되는게 없는거 같아서.. 암울 모드 그자체임다..ㅜ.ㅜ