2012-06-08 2 views

답변

2

정말 깨끗한 해결책은 없습니다. 표현식을 메타 메타, metaPrettyPrint로 변환하고 결과 키즈를 문자열로 변환하여 연결합니다.하지만 공백을 삽입 할 위치와 같은 어휘형 문제를 처리해야합니다.

(Maude mailing list)

관련 문제