A Poly/ML-értelmező használata

2.1. Kérdés.

A polyml-lel kapcsolatban van pár kérdésem. Az előadáson elhangzott, hogy a polyml-ben lehet debuggolni és valamilyen trace funkciót is tartalmaz. Ezek használatára vagyok kíváncsi. Meg arra, hogy a polyml-t hogyan lehet beépíteni az EMACS-ba?

2.1. Válasz.

Oktató: A Poly/ML hibakeresési és nyomkövetési lehetőségeiről a Hibakeresés, nyomkövetés c. fejezetben olvashat.

A Poly/ML-t az emacs-ban ugyanazzal az sml-mode csomaggal használhatja, mint az mosml-t vagy az smlnj-t. A Poly/ML-t az emacs-ban úgy kell elindítania, hogy az M-x run-sml parancsnak ML command-ként (általában) a poly nevet írja be.