| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
blindblue
가입: 2009년 11월 14일
올린 글: 5
|
 올려짐: 2009년11월25일 11:33 주제: 6-3번 관련해서 문법 사항 질문 있습니다. |
 |
|
module Trans (Lam : LAM) (Debru : DEBRU) : (TRANS
with type lam = Lam.lam and type debru = Debru.debru) =
struct
type lam = Lam.lam ...
이런식으로 코딩을 했는데 안에서 Var(a)따위를 쓰려고 하면
Error: Unbound constructor Var 계속 이 에러가 뜨네요...
무엇이 문제인지 ㅠㅠ |
|
| 위로 |
|
 |
윤용호
가입: 2008년 9월 23일
올린 글: 257
|
| 올려짐: 2009년11월25일 12:13 주제: re |
|
|
예를 들어 Var같은 경우 Lam.Var로 써줘야 인식될겁니다.
Lam이라는 모듈은 알고있지만 Var이라는 constructor는
명시적으로는 sig나 struct 어디에도 써있지 않으니까요
_________________
TA |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
