[이상현]

안녕하세요 조교님,

이번 숙제를 하던 와중에 언어 semantics 정의에 있어 궁금한점이 있습니다.
K-- 를 보면 write할 수 있는 값이 v로서 불리안, 정수, 유닛 이지만
sm5를 보면 put할 수 있는 값이 z로서 정수만입니다.
그렇다면 불리안 혹은 유닛을 write하는 경우 sm5에서 처리가 불가능한것 같은데 제가 잘못이해하고 있는 것인지 궁금합니다.

감사합니다.

[hyunmin]

WRITE e ->
let (v, mem') = eval mem env e in
let n = value_int v in
let _ = print_endline (string_of_int n) in
(v, mem')

k.ml에 이렇게 선언되어 있네요! int만 출력하는 것 같습니다.

[이상현]

아 코드를 보니 그렇네요! 감사합니다!

[최재승]

안녕하세요,

K--의 write는 정수 값만 출력하는 것이 맞으며, K--언어의 스펙 문서의 오류입니다.
K-만 수정하고 K--는 수정하는 것을 깜박했네요. 지금은 수정했습니다.



조교 드림