이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김재인
가입: 2017년 9월 7일 올린 글: 6
|
올려짐: 2017년12월12일 22:07 주제: 과제 7-1 컴파일 관련 질문 |
|
|
poly-checker.ml 파일 내부에 M.typ 이나 M.exp를 변수로 받거나 반환하는 함수들을 새로 정의 했는데, 컴파일시 M.M.typ, M.M.exp가 invisible 하여 무시된다는 warning이 뜹니다.
check 함수는 M.exp -> M.typ으로 컴파일시 워닝을 띄우지 않는데, 만약 M의 타입을 받거나 반환 하는 함수가 poly-checker.ml 내부의 타입을 같이 받거나 반환하면 이러한 warning이 뜨나요? 이미 open M을 했는데 상관 없는거 아닌가요? |
|
위로 |
|
|
신원준
가입: 2017년 9월 12일 올린 글: 23
|
올려짐: 2017년12월13일 4:59 주제: |
|
|
저도 오늘 과제하다가 중간에 그런 워닝이 한번 떴는데요,
저같은 경우에는 모듈명 (이를테면 M.LET _ 에서 앞에 M) 을 깜박하고 안 적었을 때 그러더라고요.
한번 확인해보세요
ps. 그리고 질문하신 부분, M의 타입을 다루는 함수가 poly 내의 타입을 같이 다루는 것하고는 상관없습니다. |
|
위로 |
|
|
로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2017년12월13일 12:42 주제: |
|
|
m.ml 파일을 open M으로 열었고 m.ml파일 안에 다시 module M이 있는 구조이므로,
poly_checker파일에서는 M.M.typ 대신 M.typ를 사용해주시면 되겠습니다.
-조교 드림. |
|
위로 |
|
|
|