I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

(The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)