Troels Henriksen

There is actually [a FIXME in the source code](https://github.com/diku-dk/futhark/blob/27fbc2964b79b194c8acadd480f730e666608a7f/src/Language/Futhark/Interpreter.hs#L2028) for this one. I don't remember if I was just too lazy to fix it, or if it was just annoying...

We'll also have to improve the handling of stack traces if we want to inline less.

It will probably shrink the number of tuning parameters somewhat, but I'm not sure what the exact impact will be. We'll still need to completely inline anything that occurs inside...

Is this supposed to become Z3-free?

A good starting point would be to define a `FromJSON` instance for [DataResults](https://github.com/diku-dk/futhark/blob/master/src/Futhark/CLI/Bench.hs#L64) to match the existing [toJSON instance](https://github.com/diku-dk/futhark/blob/master/src/Futhark/CLI/Bench.hs#L66).

There are now already defined `FromJSON` and `ToJSON` instances, so this is even easier!

The core IR implementation of this has been added in #1197, but I still don't see a nice way of safely exposing this to the source language.

That may not be a bad idea. I'm surprised nobody has proposed it before. I don't think there are any ambiguities or great technical hurdles to overcome.

That's a bit more intricate. A good starting point would be to implement expressions such as `r with a.b.c[i] = x`. For simplicity, we could start by requiring the index...

I think a record of that size will give you other problems. I don't think anyone will be working on this feature in the short term, but I suggest writing...