[송호준]

제목 그대로
let val x = malloc 3 in
x := true;
write !x and true
end

이런 프로그램은 type checker에 의해 걸러져야 하나요?

[로파스]

네, x가 int loc인지 으로 선언되었으나 실제로 bool loc처럼 쓰였기 때문에

타입에러를 띄워주셔야 합니다.

자세한 타입유추식은 Assign부분을 참고해보세요.

-조교 드림.