숙제5 2번 타입에러

강동옥 · 가입: 2009년 9월 18일 올린 글: 602

File "IntListQ.ml", line 38, characters 25-35:
This expression has type IntListQ.queue * int list but is here used with type
IntListQ.queue * IntListQ.element

line 38부분은
let yourQ = IntListQ.enQ (myQ, [1]);;
입니다.

element가 int list니까 둘다 같은 타입인데 왜 이런 에러가 나는거죠?

---
방금 signature부분에 struct와 똑같이 구체적으로 써주었더니 에러가 안나네요 왜그러죠?

윤용호 · 가입: 2008년 9월 23일 올린 글: 257

sig에

type element 라고만 써있다면

그 sig에 맞추어진 모듈은 'element라는 type이 있다'까지만 알 수 있고

element가 어떤 타입인지는 모르게 됩니다.

그래서 int list를 넘겨주면 element type과 int list 타입을 매칭할 수 없어서 에러가 납니다.

'요약의 경계'에 걸리는거죠.
_________________
TA