[이상아]

안녕하세요~

mathemadiga에서 match - with을 쓰려는데요,

인자 exp를 매칭시키는 과정에서 계속 unbound constructor 문제가 생깁니다.

match exp with
| ADD(exp1, exp2) -> ...

이런식으로 쓰면 ADD가 unbound constructor라고 그러면서 컴파일이 안되네요 ㅠㅠ

INT, REAL, ADD... 같은 게 혹시 원래 있는(?) 함수라서 그런가요?

unbound constructor를 해결하는 방법은 어떤건지 가르쳐 주시면 감사하겠습니다.

[이승중]

안녕하세요

exp 타입의 인자에 대해서 match ... with를 쓰시려면

exp 타입의 정의가 먼저 있어야 합니다.

숙제에 명시되어있는 exp 타입 정의