assign 관련 질문

정지홍 · 가입: 2014년 9월 11일 올린 글: 37

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4757

의 질문과 답변을 읽었는데 좀 이상한 것 같습니다.

m 문서의 타입 부분을 보면

tau loc에 tau만 assign 되게 되있으므로

(malloc 1):=true 는 타입체크시 error를 내뱉는게 맞을 것 같은데 아닌가요?

강동옥 · 가입: 2009년 9월 18일 올린 글: 602

아 프로그램 타입 명세도 나와있었군요.

그럼 문서를 따라서 타입 에러를 내는게 맞습니다.

감사합니다.

김광래 · 가입: 2013년 9월 21일 올린 글: 11

제목 그대로입니다!