I am working on adding size types to Futhark (documentation, some rationale). This inevitably means that a lot of existing code will end up being type-incorrect. I am going around and looking at existing Futhark programs to see what it will take to fix them, and hopefully get information about whether the restrictions are unworkable in practice.
This pull request makes synkrotomo work with size types. It is also fully compatible with current released Futhark. Most of the changes are about computing various sizes in advance, so the compiler knows what to expect.
I am working on adding size types to Futhark (documentation, some rationale). This inevitably means that a lot of existing code will end up being type-incorrect. I am going around and looking at existing Futhark programs to see what it will take to fix them, and hopefully get information about whether the restrictions are unworkable in practice.
This pull request makes synkrotomo work with size types. It is also fully compatible with current released Futhark. Most of the changes are about computing various sizes in advance, so the compiler knows what to expect.