myreen
myreen
@rywiese has expressed an interest in taking on this project.
For this issue, I suggest we **do not** change `Shift` in wordLang's `exp` type: https://github.com/CakeML/cakeml/blob/d6e25b8062cfef71c54e240010b2670b03389999/compiler/backend/wordLangScript.sml#L12-L19 This issue is enough work without also breaking all the wordLang passes more than necessary.
I agree that such warning messages are desirable. However, the CakeML compiler doesn't really have a facility for generating warnings in general at the moment. I think this issue should...
This is still relevant. We should use the monadic translator much more.
Adding support for such assignments makes a lot of sense. I guess there should be support for nesting, ie a.0.2.0 = ... This should be a language construct in the...