Pascal Lasnier

Order of evaluation is not relevant here, because what matters is that *assignment* to variables `a` and `j` occurs *after* evaluating their initialisation expressions for `letrec`, regardless of the order...

Chez Scheme is R6RS, where the behaviour for returning an initialisation expression is *underspecified*. It is importantly, however, not *unspecified*: there are only two valid behaviours, which is to raise...

I agree that the informal semantics described in R6RS is somewhat ambiguous, but the *formal* semantics (in the appendix of the report) is not. The formal operational semantics captures these...

I see, perhaps I have misunderstood the purpose of the formal semantics. I appreciate the clarification. If raising an exception is currently not possible to implement effectively, would it still...

The original Nix system is the work of [Eelco Dolstra as described in his PhD thesis](https://edolstra.github.io/pubs/phd-thesis.pdf). The original work is probably worth looking at for more detail, but I think...

I think what you've described it terms of how the hash for a theory should be produced is good, and how I would imagine a nix-stye system would do it....

> This may seem weird, but is analogous to the way object file `parse.o` depends on `parse.c`, but that is actually generated by a call to `yacc`, so really depends...

> I don't think following nix is the way to go. Nix has to be too conservative due to it working as a general build system. For example in nix...

> So the issue is that for your case, "*.sml" files should not have the sml filetype > but the holscript one? > Can we maybe detect these cases and...

I have added similar `detect-filetype` modules to all filetypes, so `ModuleLoaded` hooks can be used to specify order of evaluation of detection and initialisation hooks for any filetype. I really...