신기정
가입: 2009년 9월 15일 올린 글: 83
|
올려짐: 2010년11월25일 13:28 주제: 에러 핸들링과 관련하여 |
|
|
뼈대 코드 중 simple M checker에서
에러 핸들링이 적절히 이루어지지 않고 있는 것같습니다.
check함수에서의 try문이
한줄 위의
let (s, c) = m emptyG exp tau in 명령까지 포함해야 할 것 같습니다.
(unify에서 발생한 TypeError가 M에서 핸들링되어 TypeError'가 된 후, 그 이후로는 핸들링이 되지 않고 있습니다.)
수정하고 작업해도 괜찮을까요? |
|