[정원준]

안녕하세요,

함수의 선언에서 파라미터가 중복으로 들어오는 경우
e.g. let proc f(x, x) = x

혹은 record에서 filed가 중복으로 들어오는 경우
e.g. let x := {a := 1, a := true} in unit

의 경우는 처리 규정이 있을까요? 혹시 두 경우 모두 에러를 발생시키면 될까요?

감사합니다.

[오규혁]

안녕하세요,

위 상황은 채점에서 테스트하지 않는 경우입니다.
말씀하신대로 에러를 발생시켜도 될 것 같습니다.

조교 드림

TA 오규혁
ghoh@ropas.snu.ac.kr