Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id LAA05345; Fri, 5 Jan 1996 11:12:28 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA247691932; Fri, 5 Jan 1996 01:52:12 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Received: from bescot.cl.cam.ac.uk by leopard.cs.byu.edu with SMTP
	(1.37.109.15/16.2) id AA247661926; Fri, 5 Jan 1996 01:52:06 -0700
Received: from auk.cl.cam.ac.uk [128.232.0.84] (drs1004)
	by bescot.cl.cam.ac.uk with esmtp (Exim 0.30 #50)
	id E0tY7s8-0008Gt-00; Fri, 5 Jan 1996 08:51:36 +0000
X-Mailer: exmh version 1.6.4+cl+patch 10/10/95
To: Kelly Hall <hall@cs.byu.edu>
Cc: info-hol@leopard.cs.byu.edu
Subject: Re: A New Year hol90 update 
In-Reply-To: Your message of "Thu, 04 Jan 1996 16:07:54 MST."
             <199601042307.AA295316875@puma.cs.byu.edu> 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Fri, 05 Jan 1996 08:51:35 +0100
From: Donald Syme <Donald.Syme@cl.cam.ac.uk>
Message-Id: <E0tY7s8-0008Gt-00@bescot.cl.cam.ac.uk>


> But now the fun really starts.  Right after PRIM_HOL gets written, I
> get this error message:
> -------------------------------------
>  - 
> 
>            HHH                 LL
>            HHH                  LL
>            HHH                   LL
>            HHH                    LL
>            HHH          OOOO       LL
>            HHHHHHH     OO  OO       LL
>            HHHHHHH     OO  OO       LLL
>            HHH          OOOO        LLLL
>            HHH                     LL  LL
>            HHH                    LL    LL
>            HHH                   LL      LL
>            HHH                  LL        LL90.8
> 
>  Created on Jan 4, 1995
>  using: Standard ML of New Jersey, Version 108.20, January 1, 1996
> 
> 
> 
>  The library "PRIM_HOL" is loaded.
> 
>  uncaught exception Io: input failed on file sys01.sml with SysErr:
>  Bad file number [<OS.errorName unimplemented>]
>   raised at: boot/IO/text-io-fn.sml:83.13-83.51
>               elaborate/frontend.sml:108.24
>               elaborate/frontend.sml:108.24
>               util/stats.sml:168.40
>               build/evalloop.sml:193.62
>               build/evalloop.sml:242.22-242.24
>               build/computil.sml:40.41
>               build/compile.sml:209.8
>               util/stats.sml:168.40
>               build/evalloop.sml:193.62
>  - 
> ----------------------------
> 
> The filenames above don't seem to be part of hol90.  So that sort of
> implies that this is a SML problem.  Any ideas how I might get beyond
> this?

I can't look at this problem just now - I have to run.  Unfortunately
the build process for hol90.8 has changed substantially, and this
bug doesn't happen for me with that new version.  It's possible
I can wrap up a version for you when I get back in a couple of weeks.
Let me know if you get anywhere.

Cheers,
Don