Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 2 Nov 1992 18:35:13 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA26574; Mon, 2 Nov 92 10:12:28 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA26566; Mon, 2 Nov 92 10:11:11 -0800 Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) id AA07916; Mon, 2 Nov 92 13:08:36 EST Date: Mon, 2 Nov 92 13:08:04 EST From: shb@com.oracorp Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA05112; Mon, 2 Nov 92 13:08:04 EST Message-Id: <9211021808.AA05112@sparta.oracorp.com> To: info-hol@edu.uidaho.cs.ted Subject: Trace ML execution? I'm trying to figure out a poorly written piece of ML code -- meaningless variable names, few comments -- and wondered if there's a convenient way of tracing the execution of ML code in HOL88. I'd like to get HOL to output the values and types of each argument to each function call as it evaluates a particular expression. Is there an easy way to do this? Steve Brackin ORA