Marcel Ullrich

I think I identified the problem: The code produced **after** ds2cps (before the failing cps2ds pass) is: ``` .lam Uf_54920 _54941: «2; %math.F (52, 11)»: ★ = { .Idx 2...

b398b7d warns if direct style functions remain and ignores them. The example now goes through without crashing. Although it will crash during llvm code generation. (No fix is suggested as...

Possibly related: Nested calls like ```rust .con print_m2d [mem:%mem.M] = { print_double_matrix_wrap (mem, l, n, m2d, return_cont) }; .con print_m1d [mem:%mem.M] = { print_double_matrix_wrap (mem, k, l, m1d, print_m2d) };...

> #180 : I've just fixed a problem in the `matrix/product.thorin.disabled`. Is this a different test case? Now, I get: > > ``` > ../build/bin/thorin matrix/product.thorin.disabled > thorin: /home/roland/neural/dialects/matrix/passes/lower_matrix_mediumlevel.cpp:275: thorin::matrix::LowerMatrixMediumLevel::rewrite_(const...

> Can you check with #219? I will test it. But it will take time to resolve all the merge conflicts.

> abc::(a: A, b: B, c: C) -> (a: A, b: B, c: C)::abc. I think this syntax is confusing. `:` is used as type annotation. Hence, we used `::`...

To prevent such errors, we probably also want tests that take debug logging into account.

Does any evaluation happen inside of the rules?

The error especially also occurs/disappears in a version without `.extern` and with the original body if line 170 is replaced with `if_thenBf_149177 _149382`.