| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
장민석
가입: 2006년 9월 5일
올린 글: 165
|
 올려짐: 2006년9월25일 20:31 주제: 타입체크 버그(??) 문제 -> 소스파일 타입 정의 오류 |
 |
|
가끔 타입체크가 잘못되어 난감한 에러가 나는데요...
예를 들어
| 인용: | | Mem.address 타입이어야 하는데 int 타입입니다. |
이런 에러가 납니다. Mem 모듈에 가보면
이렇게 되어 있습니다.;; 의미상으로는 타입이 맞는 경우인데 다른 타입이라고 에러가 나는 것인데요. 이런 경우 대개 강제로 type casting을 하면 에러를 씹고 컴파일이 되는데, 어떤 경우에는 type casting도 먹히지 않습니다.
뭔가 좋은 방법이 없을까요?
장민석 가 2006년9월25일 20:47에 수정함, 총 1 번 수정됨 |
|
| 위로 |
|
 |
장민석
가입: 2006년 9월 5일
올린 글: 165
|
| 올려짐: 2006년9월25일 20:46 주제: 문제점을 찾았습니다. |
|
|
나눠주신 2.n 파일 Keval 모듈 중 타입 정의가 잘못된 부분이 있는 것 같습니다.
177번째 줄을 보면 env 타입이 아래와 같이 정의되어 있습니다.
| 코드: | | type env = (id, value) Env.t |
의미상 아래와 같이 되어야 하지 않나요?
| 코드: | | type env = (id, Mem.address) Env.t |
아마도 이것 때문에 타입 체크 에러가 난 것 같군요. |
|
| 위로 |
|
|
이희종
가입: 2006년 3월 7일
올린 글: 50
|
| 올려짐: 2006년9월25일 20:53 주제: |
|
|
| 인용: | 의미상 아래와 같이 되어야 하지 않나요?
| 코드: | | type env = (id, Mem.address) Env.t |
아마도 이것 때문에 타입 체크 에러가 난 것 같군요. |
말씀하신 것이 맞습니다  |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
