diku-dk/futhark v0.25.14

0.25.14

on GitHub

Added

• The prelude definition of filter is now more memory efficient,
  particularly when the output is much smaller than the input. (#2109)

• New configuration for GPU backends:
  futhark_context_config_set_unified_memory, also available on
  executables as --unified-memory.

• The "raw" API functions now do something potentially useful, but are
  still considered experimental.

• futhark --version now reports GHC version.

Fixed

• Incorrect type checking of let-bound sizes occurring multiple times
  in pattern. (#2103).

• A concatenation simplification would sometimes mess up sizes.
  (#2104)

• Bug related to monomorphisation of polymorphic local functions
  (#2106).

• Rare crash in short circuiting.

• Referencing an unbound type parameter could crash the type checker
  (#2113, #2114).

• Futhark now works with GHC 9.8 (#2105).