diku-dk/futhark v0.24.3

0.24.3

on GitHub

Fixed

• Certain cases of noninlined functions in multicore backend.

• Defunctionalisation of match where the constructors carry
  functions (#1917).

• Shape coercions involving sum types (#1918). This required
  tightening the rules a little bit, so some coercions involving
  anonymous sizes may now be rejected. Add expected sizes as needed.

• Defunctionalisation somtimes forgot about sizes bound at top level
  (#1920).