K.exp 와 Sm5.cmd 타입에서 NUM 이나 ADD는 같은 이름을 가지는데 구별을 어떻게 하나요?

박종석 · 손님

nml에서

type a1 = NUM of int
type a2 = NUM of bool
하면 뒤에것만 적용되고 앞의것은 사라지는것 같은데요,

trans 에서
K의 NUM을 Sm5의 NUM으로 변환하라..
하면 둘다 같은 타입으로 인식되어서

타입 유추에서 에러가 납니다.

음.. 이거 해결법좀 알려 주세요..

송수현 · 가입: 2006년 9월 4일 올린 글: 25

저 밑에 제가 올린 질문과 본질적으로 동일하네요.

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=685

여기를 참조하시길.