이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
송호준
가입: 2018년 9월 21일 올린 글: 10
|
올려짐: 2018년11월27일 3:21 주제: 6-4 ASSIGN으로 타입이 바뀌는 경우 질문 |
|
|
제목 그대로
let val x = malloc 3 in
x := true;
write !x and true
end
이런 프로그램은 type checker에 의해 걸러져야 하나요? |
|
위로 |
|
|
로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2018년11월27일 16:55 주제: |
|
|
네, x가 int loc인지 으로 선언되었으나 실제로 bool loc처럼 쓰였기 때문에
타입에러를 띄워주셔야 합니다.
자세한 타입유추식은 Assign부분을 참고해보세요.
-조교 드림. |
|
위로 |
|
|
|