송상일
가입: 2008년 9월 28일 올린 글: 2
|
올려짐: 2008년11월20일 19:10 주제: EQ에 대한 타입규칙 중 질문있습니다. |
|
|
타입을 정하는 규칙중에서
마지막 EQ부분을 모면
e1이 t타입, e2가 t 타입 (t = i,b,s,l) 일 때 b가 된다고 했는데
e1이 t1 loc타입, e2가 t2 loc타입인데 t1과 t2가 다를 때도 타입 체커를 통과해야 되나요?
예를 들어
a = MALLOC 1
b = MALLOC true
일 때 a=b가 타입 체커를 통과하는지 궁금합니다. |
|