Added
-
Slightly better type errors for sum types (#1792).
-
Better tracing output in interpreter (#1795).
-
Improved optimisation of code that uses zero-element arrays
(sometimes used for type witnesses).
Fixed
-
Mishandling of bounds checks in parallel backends could cause
compiler crashes (#1791). -
Mis-simplification of certain sequentialised scatters into
single-element arrays (#1793). -
Invalid
scatter
fusion would cause an internal compiler error
(#1794). -
The code generator flipped the order of
match
cases. -
Simpification of concatenations (#1796).
-
Defunctionalisation error for fancy size programming (#1798).
-
Code generation for load-unbalanced reductions in multicore backend
(#1800). -
Futhark now works on CUDA 12 (#1801).
-
mul_hi
andmad_hi
for signed integer types now actually do
signed multiplication (previously it was always unsigned).