강인재
가입: 2017년 9월 14일 올린 글: 9
|
올려짐: 2018년11월22일 0:58 주제: 과제 6-4 질문입니다. |
|
|
안녕하세요. 과제 6-4번 질문드립니다.
1. type environment는 뼈대코드에 정의되어 있지 않은 것 같은데, 직접 정의해서 사용하면 되나요?
2. simple_checker.ml 내의 다음 코드
코드: |
type typ =
| TInt
| TBool
| TString
| TPair of typ * typ
| TLoc of typ
| TFun of typ * typ
| TVar of var
|
에 나와 있는 타입들은 구현할 때 반드시 사용되어야 하나요?
감사합니다. |
|