이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
홍선기
가입: 2014년 9월 29일 올린 글: 11
|
올려짐: 2014년9월29일 21:01 주제: 숙제 2-5번 타입 관련해서 질문드립니다. |
|
|
코드: | # module ValidIntListQ = (IntListQ: Queue);;
Error: Signature mismatch:
...
Values do not match:
val enQ : ('a list * 'b) * 'a -> 'a list * 'b
is not included in
val enQ : queue * element -> queue |
일단 테스트케이스를 통해서 확인한 결과 구현은 제대로 된 것 같습니다. 하지만 조교님께서 말씀하셨던 코드: | module ValidIntListQ = (IntListQ: Queue) | 코드를 실행하면 Signature가 맞지 않다고 위처럼 오류가 뜨는데요. 어떻게 해야 primitive 자료형이 아닌 signature에서 정의한 queue와 element로 뜰 수 있나요? |
|
위로 |
|
 |
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년9월29일 23:44 주제: 타입 관련 |
|
|
구체적인 코드를 살펴보지 않고서는 답변을 드리기 힘들것 같습니다. 310ta@ropas.snu.ac.kr 로 코드와 함께 질문을 주셔야 할 것 같습니다.
제가 작성한 답안을 이리저리 고쳐보고 고의로 타입 에러도 일으키며 관찰한 결과, element와 queue 타입이 알맞게 정의되어 있다면 해당 에러는 발생하지 않아야 합니다. 더 이상 자세한 피드백은 코드를 살펴보지 않고서는 드리기 힘들 것 같습니다. |
|
위로 |
|
 |
홍선기
가입: 2014년 9월 29일 올린 글: 11
|
올려짐: 2014년9월30일 0:10 주제: 코드 보내드렸습니다 |
|
|
감사합니다 ^^ |
|
위로 |
|
 |
|