[유.강민]

밑에 질문중에
nth-child구현할때 항상 옳은 입력값이 들어온다고 가정하지 않는다고 말씀하셨는데요
다른 함수들도 다 에러처리기능을 줘야되나요?

[이승중]

1번 문제. tree를 입력으로 받는 함수들 중에서 node에만 혹은 leaf만 관련된 함수들이 있습니다.

leaf-val은 타입은 tree -> a 인데 사실 leaf 가 아닌
node가 올 수도 있기 때문에 에러처리를 해야겠죠

nth-child도 타입은 tree * nat -> tree인데 node에만 관련된 함수입니다.
leaf가 들어올때의 처리가 필요합니다.

2번도 마찬가지 입니다. 숙제를 잘 보시면 함수마다 타입이 써져있고
해당하는 타입이 아닌 값은 채점시에 넣어보지 않겠습니다.

예를 들어 weight의 타입은 mobil -> nat입니다.
mobil을 만들 수 있는 방법은 model, make-mobil 두 함수입니다.
branch는 mobil이 아니죠 따라서 weight의 입력으로 branch를 넣진 않습니다.

같은 이유로 weight 함수 인자에 정수 1넣어보고 에러처리 안했다고 하진 않을겁니다.

나머지도 같은 방식으로 해주시면 됩니다.
에러처리는 (error "함수를 이용해주세요")

[이주은]

(error "함수를 이용해주세요") 이렇게 하면요

reference to undefined identifier: error 라고 뜨는데요...(?)

[이승중]

언어가 pretty big으로 되어있는지 확인해주세요

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2763