Assuming by "diagnostics" you mean "figuring out compiler bugs".
No, I mean for users to figure out why the type is wrong... You need the generic parameters for more complicated cases.
Maybe make it optional? It then could be enabled with an environment variable that nac3artiq reads. Similar to ARTIQ_DUMP_LLVM etc. in the legacy compiler.
Well the problem is that, it may be…
We could remove the type variable, but in general the type variable would be useful for diagnostics for other cases. Making the type variable name deterministic is hard because the execution order is…
Well I guess this is due to constant folding and I forgot to add special case for that. Will fix.
Note that the error message order may not be deterministic.
What about sorting by (filename, line, column)?
We can, but this will need another refactor because we have to make every…
`list[var72]::append` field does not exist at /home/pca006132/code/rust/nac3/nac3artiq/demo/demo.py: line 46 column 9There is still this obscure "var72"...
Because it is…
It's a bit silly, we'd still have to create temporary files and pass command line arguments into the library function call... maybe LLVM would accept a patch that improves the situation...
…