Some riscv32 compilers like zig, will use symbols with many more special characters than others (e.g. [, ], `,{,},*`...)
To give an example of a symbol I need powdr to support: io.GenericWriter(*io.fixed_buffer_stream.FixedBufferStream([]u8),error{NoSpaceLeft},(function 'write')).typeErasedWriteFn
This PR will simply escape these symbols like the . and / already are.
It was initially suggested to update the grammar. I learned how larlpop works for that, but I ended up into a rabbit hole when I discovered that some symbols contain ,, which wreaks havoc with ExpressionLists. Someone with a better command of larlpop might be able to fix the problem this way, but I figured this was good enough for now, as my foray into using zig in powdr will likely reveal more symbols later down the road.
Some riscv32 compilers like zig, will use symbols with many more special characters than others (e.g.
[,],`,{,},*`...)To give an example of a symbol I need powdr to support:
io.GenericWriter(*io.fixed_buffer_stream.FixedBufferStream([]u8),error{NoSpaceLeft},(function 'write')).typeErasedWriteFnThis PR will simply escape these symbols like the
.and/already are.It was initially suggested to update the grammar. I learned how larlpop works for that, but I ended up into a rabbit hole when I discovered that some symbols contain
,, which wreaks havoc withExpressionLists. Someone with a better command of larlpop might be able to fix the problem this way, but I figured this was good enough for now, as my foray into using zig in powdr will likely reveal more symbols later down the road.