이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
정태호
가입: 2014년 9월 11일 올린 글: 17
|
올려짐: 2014년12월6일 20:22 주제: 숙제 7-1 assign에 타입이 달라도 허용되나요? |
|
|
예를들어
(malloc 1):=true
도 허용되나요? M의 semantics에는 이런 구분은 따로 없는것 같은데요! |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년12월7일 22:15 주제: |
|
|
네 semantics에 특별한 언급이 없이 일반적으로 기술되어있으므로 허용됩니다. |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년12월8일 15:03 주제: |
|
|
답변을 잘못드렸습니다.
semantic 문서에 아랫단에 보면 location이 t loc이고 assign하는 value가 t타입이라고 나와있으므로 제시해주신 예제는 타입 에러가 맞습니다. |
|
위로 |
|
|
|