Compilation speed: ATS1 vs. ATS2

[gmhwxi]

FYI.

I was going over some old code in ATS1 (Anairiats).

I can't help but notice that ATS1 is far more efficient than ATS2
when the compilation speed is of the concern. I guess that ATS2
loads by default a lot of library files that ATS1 does not. This is a
familar problem: a user is often forced to pay for what he or she does not
ever use :(

--Hongwei

[Julian Fondren]

Is there a way to disable some or all of the default loads?

I thought it might be interesting to create an OCaml-like stdlib, with

minimal overrides and with OCaml-like namespaces: $LIST.nth(),

$ARRAYREF.make(). A -nostdlib flag would be useful for this.

[gmhwxi]

This shouldn't be a problem. I am happy to introduce
a flag as such if the OCaml-like stdlib is made available.

The function for doing loading is in src/pats_main.dats; it is called
'the_prelude_load'.