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 BAA13091; Thu, 4 Jan 1996 01:37:14 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA156909925; Wed, 3 Jan 1996 15:58:45 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Received: from puma.cs.byu.edu by leopard.cs.byu.edu with ESMTP
	(1.37.109.15/16.2) id AA156859923; Wed, 3 Jan 1996 15:58:43 -0700
Received: from cs.byu.edu (localhost) by puma.cs.byu.edu (1.37.109.15/CS-Client)
	id AA280499928; Wed, 3 Jan 1996 15:58:49 -0700
Message-Id: <199601032258.AA280499928@puma.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Hol90 Pre8 on 108.19?
Date: Wed, 03 Jan 1996 15:58:48 -0700
From: Kelly Hall <hall@cs.byu.edu>

Hello,

After a long wait, SML is now available (in pre-beta form) for the
HPPA architecture.  So now I've got SML/NJ 108.20 (really .19)
running.

I've fetched the hol90 pre8 port that Elsa did, but I'm having
problems loading 0/sml_system.sml since it seems 108.19 has moved some
required functions (IO.execute, Makestring.int Makestring.real).

If anyone has built hol90pre8 on a recent revision of sml/nj, I'd love
any pointers you may have for me.  If anyone knows where those
functions might have moved to (I've no sml/nj source code), that would
be pretty helpful too.

Thanks in advance,
Kelly