과제 2-1 질문

김동완 · 가입: 2017년 9월 5일 올린 글: 2

테스트케이스가 다 참으로 출력되긴 하지만 이런 warning 이 뜨는 경우 컴파일 에러로 점수 차감되나요?

Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(NOT _|ANDALSO (_, _)|ORELSE (_, _)|IMPLY (_, _)|LESS (_, _))

김수 · 가입: 2017년 9월 5일 올린 글: 16

어떻게 구현하셨는진 모르겠는데

오카멜에서 타입 패턴이 완전히 커버되지 않는다는 경고가 뜬다는 것은 구현이 잘못되었을 가능성이 상당히 높다는 말입니다.

테스트 케이스가 모든 경우를 커버한다는 보장이 있는 것도 아니니(테스트는 항상 false positive 가능성이 있음. complete 하지 않죠) warning 을 없애는게 좋을 것 같습니다.

김동완 · 가입: 2017년 9월 5일 올린 글: 2

감사합니다.

로파스 · Site Admin 가입: 2012년 9월 9일 올린 글: 280

컴파일 과정에서 워닝이 뜨는것 자체로 감점이 되지는 않습니다.

다만 테스트케이스를 통과하지 못할 확률이 높아질 수 있겠지요.

-조교 드림.