parscan/codegen, branch mainexperimental interpreter
https://git.vertes.org/parscan/atom?h=main2023-10-12T08:51:58Zmove to a direct byte code compiler (#8)2023-10-12T08:51:58ZMarc Vertesmarc.vertes@tendermint.com2023-10-12T08:51:58Zurn:sha1:37b9da32d3b911091deb254f6cba2a137c471287
* chore: refactor to keep only the new parser and bytecode vm
* scanner: remove Token.value field
* scanner: remove scanner.kind field
* chore: move language specification in lang package
This avoid a cyclic dependency in scanner_test which can now use
the golang/GoSpec language specification for Go.
* clean code
* scanner: export scanner fields
Also parser now generate function calls, including externals.
* chore: fix lint issues
* parser: handle strings
* wip
* parser: implement support for 'if, else, else if' statements
Resolving labels in the compiler still in progress.
* parser: support if statements, improve compiler
* improve handling of functions
* improve support of local variables
* scanner: trim leading and trailing spaces
* fixes to make fibonacci work
* parser: improve README, fix function parameters parsingchore: refactor some APIs2023-09-06T06:49:19ZMarc Vertesmvertes@free.fr2023-09-06T06:49:19Zurn:sha1:6dd78f44adf6fb032d0ecd9db813651b9524fcac
The scanner returns a slice of pointers to tokens instead of a
slice of tokens. The parser now pass the initial node context.
codegen: add interpreter tests2023-09-04T14:58:15ZMarc Vertesmvertes@free.fr2023-09-04T14:58:15Zurn:sha1:4241593b42bffac2f8fcb63f1e88621fe025e360
Also simplify project structure. The executable is now produced in
the root directory. Work in progress.
parser: skip comment modes2023-09-01T09:42:55ZMarc Vertesmvertes@free.fr2023-09-01T09:42:55Zurn:sha1:459eca16816023fb0afdd6e0948e5406d84e5bc5
Refctor node kind names by concatenating category and instance, to
allow better sorting. Comments are now parsed and skipped during
generation of AST.
codegen: fix interpreter re-entrance2023-08-31T15:53:54ZMarc Vertesmvertes@free.fr2023-08-31T15:53:54Zurn:sha1:851c793da43be9e4d3319afe440d603c85834045
So multiple successive incremental Evals function correctly.
Also improve the following:
- Apply the same Eval API to vm0 and vm1
- parser: dot diagram display is now synchronous
- codegen: outsource complex code generation for readability
- vm1: Pop take the number of values to pop as operand
gint: add an interactive REPL2023-08-29T16:22:13ZMarc Vertesmvertes@free.fr2023-08-29T16:22:13Zurn:sha1:0f4bfe6e70263fbeb580014b62632f403b29b414chore: appease lint and vet2023-08-25T09:21:49ZMarc Vertesmvertes@free.fr2023-08-25T09:21:49Zurn:sha1:a3ab9ef5be74cb54a87674aa48abb0c46f9c58f6codegen: add Interpreter struct2023-08-24T15:16:39ZMarc Vertesmvertes@free.fr2023-08-24T15:16:39Zurn:sha1:9fdef50606a2942389189cd61397e17c0a0ccfd7
This makes the code easier to use.
vm1: improve function calling (#6)2023-08-24T07:32:36ZMarc Vertesmarc.vertes@tendermint.com2023-08-24T07:32:36Zurn:sha1:00cd63b47c0c32be821f80e006ed08ce57020e15
The "Enter" instruction has been removed and the frame pointer is
now saved by the "Call" instruction.
The "Return" instruction now takes the number of function input
parameters as the second operand. It's used to return the output
values at the correct place in the caller frame, no matter the
number of input parameters.
The tests and the code generator have been updated accordingly.codegen: add a bytecode generator (#5)2023-08-09T09:47:39ZMarc Vertesmarc.vertes@tendermint.com2023-08-09T09:47:39Zurn:sha1:947873b34aabe46dfb9f8d06214736cb11b5a6b2
* codegen: add a bytecode generator
* cleaning scanner, parser and vm1.