Creating private branch of sml/branches/primop-branch-3 for experimental Translate rewrite

merged revisions 2221:2410 of sml/trunk into base

merged all changes from primop-branch-2

create primop branch 3 as future target to merge changes from primop branch 2

fixed bug in handling of with:-specs in CM

eliminated src dir

support for 64-bit Position.int (not enabled by default)

cleanup of the auto-version stuff

CM support for lazy sml and per-file control settings

improved handling of exceptions at interactive toplevel

type of top-level app

merged changes from mcz-branch (tag: dbm-20030813-mcz-merge1)

make X86.prim.asm compile without warning on RH7.x systems

implemented better, simpler PID allocation scheme;
binfile format has changed, version number is 110.39.2; NEW BOOTFILES

110.38.1; new bootfiles; new PID generation scheme; installer improvements

Release 110.37 -- see HISTORY

updates to environments, envrefs, interactive loop

new organization of compiler libraries

extensive organizational changes

parallel make works again

merging changes from private branch

merging changes from private branch

further improvements to link traversals and (as a result) autoloading;
See HISTORY for how to bootstrap!

merging recent changes related to autoloading and tool plugins

added conditional compilation in init library; BOOTFILES

more assorted script enhancements

merge CM and BTrace changes

merging back my devel changes (anchor environments)

merging changes from devel branch; new boot files

bring revisions from the vendor branch to the trunk

merged pending changes into main trunk; see HISTORY; new binfiles!!

merging branch blume_devel_v110p26p2_1 (elimination of corenv)

changes to modmap generator and CM tool parameter mechanism (see HISTORY)

merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

merging back changes from blume_devel_v110_26_2

- size info in BOOTLIST
     * no fixed upper limits for number of bootfiles or length of
       bootfile names in runtime
     * falling back to old behavior if no BOOTLIST size info found
- allocation size heuristics in .run-sml
     * tries to read cache size from /proc/cpuinfo (this is important for
        small-cache Celeron systems!)
- install.sh robustified
- CM manual updates
- paranoid mode
     * no more CMB.deliver() (i.e., all done by CMB.make())
     * can re-use existing sml.boot.* files
     * init.cmi now treated as library
     * library stamps for consistency checks
- sml.boot.<arch>-<os>/PIDMAP file
     * This file is read by the CM startup code.  This is used to minimize
       the amount of dynamic state that needs to be stowed away for the
       purpose of sharing between interactive system and user code.
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
     * Upon request by Elsa.  Anchors now controlled by get-set-pair
       like most other CM state variables.
- Compiler.CMSA eliminated
     * No longer supported by CM anyway.
- fixed bugs in pickler that kept biting Stefan
     * past refs to past refs (was caused by the possibility that
       ad-hoc sharing is more discriminating than hash-cons sharing)
     * integer overflow on LargeInt.minInt
- ml-{lex,yacc} build scripts now use new mechanism
  for building standalone programs
- fixed several gcc -Wall warnings that were caused by missing header
  files, missing initializations, etc., in runtime (not all warnings
  eliminated, though)

CM changes: standalone builds, better CMB.make/deliver, general improvements

pickle dropper

memoize put into its own module

concur moved; remote pathname cleanup; no dependence on target-compilers

error recovery during compile traversal finally correct (hopefully)

filtering and rehashing fixed; Servers.reset added where necessary

pickle context mostly eliminated

small change to SafeIO; cosmetic fix of master-slave interrupt handling; doc

reset logic (scheduler) fixed

more robust(?) path name protocol

even ordering in master-slave protocol improved

in-degree calculation and prioritizing added

interrupt handling made more robust for compile servers

servers: X-platform, rsh, stabilization now work

CMB.deliver (and probably CM.stabilize) now work with compile servers

improvements on parallel stuff

parallel make basically works (with rough edges)

getting ready for parallel...

prepared for switching to rb-trees (once they work correctly)

registerGroup goof repaired

annoying path confusion bug fixed

memoize in stabilize; faster autoload message; consistent handling of ctxt

relative anchors expanded

some small bugs squashed

switchover to new library scheme seems to be completed

comments and some diagnostics added

new stable library format seems to work...

compiles now, compiles itself, but then does not boot

mostly done; need to finish Link

new stable format + improved recompile/link (in progress, not working yet)

code discarded in safe cases only

just syncing; this version does not work

exception history printed in recomp.sml

some pathconfig oddness rectified

traversals separated (private state should now also work with autoloader)

backed out of thin traversals

thin traversals implemented (whew!)

bfc_fetch_xxx bogosity eliminated; more fleshing out of CM

better pathconfig interface + some cosmetic improvements

transfer of state during stabilization implemented

bootstrapping now working (it seems)

bootstrapping works now (mainly); PathConfig code cleaned majorly

basic bootstrapping is now working

listfile generation fixed

more work towards being able to bootstrap

autoloading added

a host of changes related mostly to pathname handling

various changes in pathname handling etc.

very serious (and stupid!) performance bug killed

RTPID and BINLIST written

error flag in source cancelled; IO vs. interrupts handled more robustly

stablefile format enhanced; bootstrap compiler shows signs of life

bootstrap compiler half-working

bootstrap compiler implemented (still needs list file generator etc.)

switched from mkprimperv.sml to build-initdg.sml (which is a lot cleaner)

value cache implemented correctly

some cleanup; pathconfig modes added; grammar modified (privileges)

a few types cleaned up; adding bindings to toplevel implemented

keep_going works now (apparently)

stabilization code working but only flimsily hooked up

stabilization code mostly done

some more fiddling with the stablefile pickler

dyn-tstamp eliminated; more fiddling with sharing (now checked statically)

bug in handling of private flag fixed

recompile and exec mostly working (probably still bugs in the details)

finished recomp.sml; now only need to put the pieces together

more flesh added to recompile/exec

persistent state/error handling bogosity fixed

most of recompilation/execution machinery in place

first steps towards make/recompile and stable libraries