Markus Voelter

Supporting reverse mapping for all expressions is not feasible. If this was *really* needed, one would instead implement the interpreter in a way where the execution domain is also KernelF....

3) done; sorry, hadn't even realized there was a template. 1) fixed 2) fixed

Because there was a problem with this intention - so it looked. In my desparation, I reimplemented it. But the problem was a different one.

No. It was a version incompatibility.

If you care about the "2" in the name, you can remove it.

One thing I have been thinking about is to be able to explicitly set the precision (in the inspector of) the division. But as Wladi says, this would basically replicate...

"Inferring from context" is hard to do generically with the way KernelF computes its types (bottom up, basically).

One idea I had a while ago is that you could scope the precision: ``` with precision(2) { divistions automatically with 2 precision } ``` Then the type system could...

I don't think this works because there's not just "assignment", there is all kinds of other places where the same would have to happen, eg in function calls. Did you...