thorin2
thorin2 copied to clipboard
AnyDSL
The Higher ORder INtermediate representation - next gen
Ast
This PR adds a proper AST that the parser constructs before emitting actual Thorin code. While this adds some boilerplate it also reduces a lot of weird hacks/workarounds in the...
Plz first give #273 your blessing. * removes block expressions: `{ d* e }`. simply use `d* e` instead and if you really want to use delimiters use a tuple:...
I'm 99% sure it's also broken on current master but most of the time we won't notice because the ownerless Var will be optimized away. However, we sometimes have the...
When running a trivial example (`lit/ret_argc`) with `-VVVV` to print intermediate programs, Thorin crashed with the error ``` thorin2/thorin/analyses/deptree.cpp:36: thorin::VarSet thorin::DepTree::run(thorin::Def*): Assertion `n && "Old var still around?"' failed. ```...
``` : error: body 'cps_call_55166' of lambda is of type '⊥:(★)' but its codomain is of type '.Idx 2' ``` Steps to reproduce: ``` git pull git checkout bug/cps2ds_bug make...
We should have a script (or a set of scripts) that allows us to reproduce bugs with **one** command line. We should add an issue template that forces the issue...