[최성록]

재귀 함수만 없으면 타입 체크가 잘 되는데,

재귀 합수 부분을 제가 잘못 처리 했는지 계속 타입 체크에 실패하네요.

증상은 이렇습니다.

재귀 호출에 쓰인 인자가 어떤 타입으로 정해지지 않고, 계속 type variable 상태로 남아있네요. 그래서 인자가 사용되는 다른 구문에서 올바르지 않은 타입이라고 나옵니다.

ㅜㅜ

[최성록]

알고 보니 재귀 호출 뿐만 아니라 LET 쪽에 문제가 있나봅니다. 변수는 잘되는데, 함수는 안되네요. 재귀 호출 함수는 당연히 안되고 ㅜㅜ