Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 4 Nov 1992 18:18:28 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05884; Wed, 4 Nov 92 09:40:24 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA05879; Wed, 4 Nov 92 09:40:19 -0800 Received: by leopard.cs.uidaho.edu (16.7/1.34) id AA27901; Wed, 4 Nov 92 09:45:05 -0800 From: hall@edu.uidaho.cs.leopard (Kelly Hall) Message-Id: <9211041745.AA27901@leopard.cs.uidaho.edu> Subject: Hol90 probleProblem Building Hol90 To: info-hol@edu.uidaho.cs.ted Date: Wed, 4 Nov 92 9:45:05 PST Mailer: Elm [revision: 66.33] Hello, I'm having trouble building Hol90 under SML/NJ 0.75 on our Dec 5000/200. After working fine (apparently) for a few minutes, I get the following errors and then everything stops: ********************************* (many lines of OK output deleted) [closing pp.sig] val it = () : unit [opening pp.sml] pp.sml:21.21-21.22 Error: unbound structure PP pp.sml:28.6-28.16 Error: unbound variable or constructor begin_block pp.sml:28.18-28.27 Error: unbound variable or constructor consistent pp.sml:29.6-29.15 Error: unbound variable or constructor add_string pp.sml:31.6-31.15 Error: unbound variable or constructor add_string pp.sml:649.9-649.18 Error: unbound variable or constructor install_pp (many lines of similar errors deleted) [closing pp.sml] - rm: ./hol90.0 nonexistent rm: ./hol90.1 nonexistent rm: ./hol90.2 nonexistent rm: theories/mips/*.th nonexistent rm: theories/mips/*.th nonexistent rm: theories/mips/*.th nonexistent rm: theories/mips/*.th nonexistent ********************************** Any help would be appreciated ;) Kelly, -- Kelly Hall == hall@leopard.cs.uidaho.edu no disclaimer, no cute quotes