Lucas Kramer

Unfortunately the answer to "which nonterminals have children that may include `Expr`" is "all of them", except for types and a few other random cases. But you might just choose...

Hmm, seems like a reasonable thing to want to do. I am fine with this change, although this will probably break a few of the tutorials and extensions.

`defsDecl` really only exists because `Def` is a closed nonterminal now, and so we need a non-interfering way of inserting these in `defs`. This should never be used with host...

By the way, do you have a branch somewhere or something where you are developing this? I would be interested in taking a look.

My answer to this is twofold. First, the reason that pragmas were originally introduced was as a way of extending the C/C++ language, with the requirement of backwards-compatibility with all...

Sounds like something that belongs here: https://github.com/melt-umn/ableC-vm-artifact You could probably just modify https://github.com/melt-umn/ableC-vm-artifact/blob/master/checkout-branch.sh

Ah, I see. I did work around this for now by just defining wrapper functions for these intrinsics in a C file that gets linked with the compiled ableC code,...

I ran into this for the closure extension, wanting to override the `mergeQualifiers` attribute on `closureType`, to preserve `closureType` for the sake of `pp` when possible. In order to do...

That is pretty much exactly the refactor I was proposing. If we do this refactoring, we should for sure have a seperate `mergeQualifiers` function just like what you have. Stylistically...

Seems to be an issue with `functiondefs` not being passed correctly, either by the host or by the extension. How do I reproduce this?