게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

과제 7-1 컴파일 관련 질문

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김재인



가입: 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 내의 타입을 같이 다루는 것하고는 상관없습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이동권



가입: 2012년 9월 9일
올린 글: 256

올리기올려짐: 2017년12월13일 12:42    주제: 인용과 함께 답변

m.ml 파일을 open M으로 열었고 m.ml파일 안에 다시 module M이 있는 구조이므로,

poly_checker파일에서는 M.M.typ 대신 M.typ를 사용해주시면 되겠습니다.

-조교 드림.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay