[고준호]

코드를 약간 수정했는데 make을 하면 위의 제목처럼 에러가 뜹니다.
이것 저것 문제 있어 보이는 것들을 고쳐 봤는데 도저히 뭐가 문제인지 찾을 수가 없습니다. 조금만 수정해도 오류가 나네요. 아무리 봐도 문법적으로는 문제가 없는 것 같은데...
혹시 작업 환경 때문에 생기는 오류인가요?

[김태훈]

저도 유사한 오류가 납니다.

File "center.ml", line 1, characters 0-1:
Error: Files project.cmo and avatar.cmo
make inconsistent assumptions over interface Avatar

이러한 오류가 발생했습니다. center.ml은 안건드린 상태고 avatar.ml만 수정을 한 상태입니다.

[박재훈]

저도 오류나요..

외부 모듈의 타입에대한 패턴매칭을 할 시 이런 오류가 뜨는 것 같습니다

예를들어 Center.ml 코드에서 Avatar.SendAvatar 이런게 포함되있을경우
Error: Files project.cmo and center.cmo
make inconsistent assumptions over interface Center 이 오류가 뜨고

Avatar.ml 코드에서 Map.Nothing 이런게 포함되있을경우
Error: Files project.cmo and avatar.cmo
make inconsistent assumptions over interface Avatar 이런 오류가 뜨는군요..

[이승중]

수정해보았습니다. 한번 확인해 보세요 ..

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2547