| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
윤용호
가입: 2008년 9월 23일
올린 글: 257
|
 올려짐: 2009년11월23일 23:13 주제: 3번 문제 sig는 결국 수정해야 하는건가요? |
 |
|
| 윤용호 씀: |
TRANS의 sig에서 type lam과 type debru의 구체적인 내용을 명시 안하면 잘 돌아가게 되는 것 같습니다. |
module type TRANS =
sig
type lam (* = Var of string | Lam of string * lam | App of lam * lam *)
type debru (* = N of int | L of debru | A of debru * debru *)
val transl2d : lam -> debru
val transd2l : debru -> lam
end
문서의 sig에서 주석처리한 저 부분을 지우고 functor에서 with ... 부분을 채워서 하는것이 맞나요?
_________________
TA |
|
| 위로 |
|
 |
임창원
가입: 2009년 9월 14일
올린 글: 21
|
| 올려짐: 2009년11월24일 0:44 주제: 네 |
|
|
네 조교님께 여쭤봤는데 sig 수정해야된대요
왜 공지를 안띄우셨지... |
|
| 위로 |
|
|
신기정
가입: 2009년 9월 15일
올린 글: 83
|
| 올려짐: 2009년11월24일 1:04 주제: 답변은 아니지만... ㅜ_ㅜ |
|
|
한번에 두 개이상의 타입을 밖에다가 내놓으려면
어떤 방법을 써야 하나요? |
|
| 위로 |
|
|
윤용호
가입: 2008년 9월 23일
올린 글: 257
|
| 올려짐: 2009년11월24일 1:37 주제: re |
|
|
| 윤용호 씀: |
주어진 풩터 코드를 잘 보시면
module Trans (Lam:LAM) (Debru:DEBRU) : TRANS with ... <- 요기
... 이 있지요?
이자리에 type lam이 Lam.lam 이며 debru가 Debru.debru라는 점을 채워주어야 합니다. 그래야 외부에서 둘이 같은 타입인걸 알 수 있습니다.
module Trans (Lam : LAM) (Debru : DEBRU) : TRANS
with type lam = Lam.lam and type debru = Debru.debru =
struct
type lam = Lam.lam
type debru = Debru.debru
let transl2d = ...
let transd2l = ...
end
이렇게 작성하시면 잘 돌아갑니다. |
_________________
TA |
|
| 위로 |
|
|
장수원
가입: 2008년 9월 26일
올린 글: 167
|
| 올려짐: 2009년11월24일 9:31 주제: |
|
|
넵, 수정해 주세요. 다음 글타래를 참조하세요.
공지 곧 올라갑니다. 잠시만 기다려 주세요  |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
