[이경건]

안녕하세요. 3-1 구현 중에 질문드립니다.

RECORD (id,exp)list가 Record를 만드는 syntax라고 파악해서 구현 중인데요,

만약 여기서 list가 빈게 들어오면 (id->Loc.t)타입을 리턴할 수가 없는 것 같아 일단은 Error를 내게 해둔 상태입니다.

혹시 제가 이해하지 못한 과제 스펙이 있어서, 빈 list가 들어와도 처리해주는 방법이 정해져 있는걸까요?

감사합니다.

[최재승]

안녕하세요,

K- 스펙 문서의 "RECF" 룰에 보시면 빈 RECORD에 대한 semantics가 정의되어 있습니다.

조교 드림