In semant check, add types to the AST

ammarbinfaisal / sahl

a programming language with channels and coroutines/threads

MIT License

9 stars 1 forks source link

In semant check, add types to the AST #19

Closed ammarbinfaisal closed 1 year ago

ammarbinfaisal commented 1 year ago

This would enable us to emit better bytecode instead of having polymorphic opcodes at runtime. For example we can have IADD, FADD, SCONCAT, instead of present ADD which does all the three. Also, it would be easier to translate such bytecode to assembly.