Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
To: Kelly Hall <hall@cs.byu.edu>
Cc: info-hol@leopard.cs.byu.edu
Subject: A New Year hol90 update
In-Reply-To: Your message of "Wed, 03 Jan 1996 15:58:48 MST."
             <199601032258.AA280499928@puma.cs.byu.edu> 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Thu, 04 Jan 1996 21:45:02 +0100
From: Donald Syme <Donald.Syme@cl.cam.ac.uk>
Message-Id: <E0tXxTA-0000RD-00@bescot.cl.cam.ac.uk>


Hi Kelly,

I have just downloaded smlnj.108.19.  Here are the changes
I've noticed:

Makestring.int      ---> Integer.toString
Makestring.real     ---> Real.toString
IO.execute          ---> just remove the offending call in install.sml
                         for now, and remove it from Sml_system too.

The type specifications for Vector.extract and Array.extract should
just be changed to
    extract : 'a vector * int * int option -> 'a vector
    extract : 'a array * int * int option -> 'a array 

They aren't used in the system.

Remove the exception decs:
   exception Ln
   exception Sqrt

Replace "ordering" by "order"

ByteArray no longer exists - it can be replaced by the following:


structure ByteArray = 
    struct open Array
	type bytearray = int array
	exception Range = Subscript
    end;
    
That's all I can spot for now.  Unfortunately I'm away for two weeks,
but I hope the above helps. 

Cheers,
Don Syme