Closed kevinramharak closed 4 years ago
Looks like the game actually supports this already in the format of 0777
(from your example). The game parses integers with Integer.decode (here's the MAR source). Because of this method, the game inherits some other funky ways of writing integers (like #
before a hexadecimal number, which assembles even though the game's editor shows an error).
That said, I would definitely prefer using the 0o
prefix if the game supports it.
I havent looked at this project for a while, but that is good to know. The editor is quite simple in its parsing. There also isnt a real grammar defined yet, once that is defined the frontend and backend could be modeled after it.
Would be nice to have notation like:
This depends on what is preferred notation