HW3의 3번 function type 질문

서상민 · 가입: 2006년 9월 11일 올린 글: 25

중요한 질문이 아닐지도 모르지만, 잘 몰라서 질문드립니다.
3번 즐거운 고민 문제를 보면 작성해야할 함수 타입이
shoppingList: require list -> (id * gift list) list
입니다. 그런데 타입을 맞게 만들었는데도 nml 커맨드라인 실행기에서 불러보면
shoppingList: (id * cond list) list -> (id * int list) list
라고 나옵니다. require 타입이 id * cond list이고, gift 타입이 int 이긴 하지만, 왜 저처럼 나올까요?
같은 타입(?)이니까 상관없는건가요, 아님 어떻게 수정해야하나요?
누가 좀 알려주세요~~ Crying or Very sad

박대준 · 가입: 2005년 10월 7일 올린 글: 245

타입 이름 바꾸기에 따른 것인데, 별 상관없습니다.
우리가 type a = int 라고 한 후, a->int 의 타입을 가진 함수를 정의한다면, int->int 타입이라고 나올 것입니다.