최종식
가입: 2008년 9월 2일 올린 글: 40
|
올려짐: 2008년11월20일 8:25 주제: unify 함수 정의가 책이랑 PPT랑 다릅니다. |
|
|
강의자료 5-1simple-type 에 있는 unify와,
교재 167페이지 unify에서
unify(t1->t2, t1'->t2') 의 리턴값이 S' S와 S S'로 다릅니다.
차이가 없을거라고 단순하게 생각했는데
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=1059
여기있는 테스트셋을 실행하려고 보니 동작이 다릅니다.
책에 있는대로 해야 int라고 체크하네요.
처음에 PPT대로 하니까 타입을 가지고 있지않는다고 하면서 통과를 못하길래 -_-; 혹시나 하고 바꿔봤더니 통과하네요;
네 그러니까 뻘글입니다. 죄송합니다. ㅠㅠ |
|