게시판 인덱스

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

2-2 질문입니다.

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
진우정



가입: 2015년 9월 3일
올린 글: 8

올리기올려짐: 2015년9월17일 23:56    주제: 2-2 질문입니다. 인용과 함께 답변

함수를 다 정의 하고 아래와 같이 테스트를 돌려보았더니

코드:
let a = ONE (ONE NIL)
let b = ONE (ONE (ZERO NIL))

let _ = crazy2val (crazy2add(a,b))
let _ = crazy2val(a) + crazy2val(b)


인용:
This expression has type crazy2/1786
but an expression was expected of type crazy2/1427


이러한 에러가 나옵니다.
그런데 a와 b를 정의하지 않고 그냥 값을 대입할 경우는 에러가 안뜨고요.
무엇 때문인지 감이 안잡히네요.
감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
최재승



가입: 2012년 9월 10일
올린 글: 211

올리기올려짐: 2015년9월18일 13:54    주제: 인용과 함께 답변

직접 확인해 보았는데, crazy2val 함수와 crazy2add 함수가 올바르게 (타입에 맞춰) 정의되어 있으면 올려주신 코드가 정상적으로 실행되어야 합니다.

보통 한 파일에서 type crazy2를 여러번 정의하시면 저런 형태의 에러 메시지가 출력되곤 합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015) 시간대: GMT + 9 시간(한국)
페이지 11

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


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