Re: MLRISC libs corrupted

Disregard my previous answer.  (Only seen by Matthew.
It said that I don't know what's going on either.)

The problem is that one shouldn't touch $SMLNJ-MLRISC
(except under specific circumstances, see below).
The proper way of accessing any of the MLRISC libraries
is to use $smlnj/MLRISC/<lib>.cm, where <lib> is MLRISC
or any of its siblings.

[The libraries under $SMLNJ-MLRISC are the original "open"
libraries in the sense that they refer to other libraries
via "free" path anchors. One can use them when, e.g., one
wants to use MLRISC.cm with a different (but compatible)
version of Graphs.cm, Visual.cm, etc. (or even $/basis.cm)
by putting them into specific anchor environments.

The stuff under $smlnj/MLRISC/*.cm is the "closed"
counterpart of the original open stuff.  Each library there
is simply a wrapper around its respective open library.
The purpose of the wrapper is to establish the required
anchor environment.

For example, the .cm file for $smlnj/MLRISC/MLRISC.cm contains:

----
Library
	library($SMLNJ-MLRISC/MLRISC.cm)
is
	$SMLNJ-MLRISC/MLRISC.cm
		(bind:(anchor:basis.cm value:$SMLNJ-BASIS)
		 bind:(anchor:smlnj-lib.cm value:$SMLNJ-LIB/Util)
		 bind:(anchor:html-lib.cm value:$SMLNJ-LIB/HTML)
		 bind:(anchor:pp-lib.cm value:$SMLNJ-LIB/PP)
		 bind:(anchor:controls-lib.cm value:$SMLNJ-LIB/Controls)

                  bind:(anchor:Lib.cm value:$SMLNJ-MLRISC)
		 bind:(anchor:Control.cm value:$SMLNJ-MLRISC)
		 bind:(anchor:Graphs.cm value:$SMLNJ-MLRISC)
		 bind:(anchor:Visual.cm value:$SMLNJ-MLRISC)
                  bind:(anchor:MLRISC.cm value:$SMLNJ-MLRISC)
		 bind:(anchor:MLTREE.cm value:$SMLNJ-MLRISC))
----
]

Hope I was able to make sense...

Matthias


On Feb 19, 2007, at 9:24 AM, Matthew Fluet wrote:

> On a fresh 110.62 build, I get the following behavior:
>
> Standard ML of New Jersey v110.62 [built: Mon Feb 19 09:14:22 2007]
> - CM.make "$SMLNJ-MLRISC/MLRISC.cm";
> [autoloading]
> [library $smlnj/cm/cm.cm is stable]
> [library $smlnj/internal/cm-sig-lib.cm is stable]
> [library $/pgraph.cm is stable]
> [library $smlnj/internal/srcpath-lib.cm is stable]
> [library $SMLNJ-BASIS/basis.cm is stable]
> [autoloading done]
>   Error: (stable) $SMLNJ-MLRISC/MLRISC.cm: file is corrupted (old  
> version?)
> [scanning $SMLNJ-MLRISC/MLRISC.cm]
>
> uncaught exception Io [Io: openIn failed on
> "/Users/fluet/devel/smlnj/smlnj-110.62/lib/SMLNJ-MLRISC/MLRISC.cm", No
> such file or directory]
>    raised at: Basis/Implementation/IO/text-io-fn.sml:784.25-784.71
>               ../cm/util/safeio.sml:30.11
>               ../cm/parse/parse.sml:501.47
>
> Similar behavior for Graphs.cm, MLTREE.cm, etc.
>
>
>
> ---------------------------------------------------------------------- 
> ---
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to  
> share your
> opinions on IT & business topics through brief surveys-and earn cash
> http://www.techsay.com/default.php? 
> page=join.php&p=sourceforge&CID=DEVDEV
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV