Lucas Kramer

In general, gcc shouldn't need any -I flags when compiling ableC-generated code (since it is already preprocessed), and ableC shouldn't need any flags other than -I since it is only...

If that is what you are trying to do, you should just be able to update the C_INCLUDE_PATH environment variable with those include locations, which should then get read by...

The only thing I can find where env occurs but not returnType is Name (unless there are other, similar things), but it could still make sense to think about that...

That is also a reasonable way of looking at things. But I would like to point out then, that if return types don't 'belong' in the env since they aren't...

Just wanted to mention another motivation for this that I discovered. I have found when working on the templating extension that it really is needed in many cases to include...

Hmm, as a side-note, I just realised that we already do have this information in the environment, via `currentFunctionItem` in the `MiscItem` namespace. Is this item actually being used for...

I'm not going to be around to chat much over the summer... Regardless, this isn't something that I have time to fix right now, I just wanted to make a...

Sorry, that was poorly worded. The aspect productions that we generate have `propagate attr1, attr2, ...;` in their bodies. The desired behavior for global propagate is to only propagate on...

Non-interference dictates that equations on forwarding productions should somehow be equivalent to the value obtained from the forward. Some amount of thought should be given to every case where we...

Thanks, I think I understand your point about this "know" production issue. This is essentially the situation we have now in the Silver compiler, with modifications - however these typically...