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'. On Friday, January 26, 2018 at 8:02:59 PM UTC-5, Julian Fondren wrote: > > 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. > > On Friday, January 26, 2018 at 5:49:19 PM UTC-6, gmhwxi wrote: >> >> >> 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 >> >> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/41adb4cf-ac92-4238-ae7b-a81ad02b385a%40googlegroups.com.
