futhark

Commits

• 5452c4a: New tool: futhark script. (#2095) (Troels Henriksen) #2095

Commits

• fee4cac: Fix #2092. (#2093) (Troels Henriksen) #2093

Commits

• a59eb01: Make code GPU codegen crash on thread-local shared memory allocs. (Troels Henriksen)

Commits

• d71cb33: Seemingly another broken machine. (Troels Henriksen)
• b6cd1dd: Fix typo. (Troels Henriksen)
• 8856482: Also mention this. (Troels Henriksen)

Commits

• 7f4feb4: Remove uses of normType. (Troels Henriksen)
• 6a45b63: Avoid expTypeFully in a few more cases. (Troels Henriksen)

Commits

• 205b6b2: Onwards! (Troels Henriksen)

Added

• f16.copysign, f32.copysign, f64.copysign.

• Trailing commas are now allowed for all syntactical elements that
  involve comma-separation. (#2068)

• The C API now allows destruction and construction of sum types (with
  some caveats). (#2074)

• An overall reduction in memory copies, though simplifying the
  internal representation.

Fixed

• C API would define distinct entry point types for Futhark types that
  differed only in naming of sizes (#2080).

• == and != on sum types with array payloads. Constructing them is
  now a bit slower, though. (#2081)

• Somewhat obscure simplification error caused by neglecting to update
  metadata when removing dead scatter outputs.

• Compiler crash due to the type checker forgetting to respect the
  explicitly ascribed non-consuming diet of loop parameters (#2067).

• Size inference did incomplete level/scope checking, which could
  result in circular sizes, which usually manifested as the type
  checker going into an infinite loop (#2073).

• The OpenCL backend now more gracefully handles lack of platform.

Commits

• 0d073e7: Remove unused field. (Troels Henriksen)

Commits

• 5518c2c: Rename ixfun -> lmad. (Troels Henriksen)

Commits

• 2dc3637: LMAD expansion cannot fail. (Troels Henriksen)

Commits

• 7a2fa92: Remove base from index functions (#2083) (Troels Henriksen) #2083

Commits

• e7af163: Make this rule work even with existentials. (Troels Henriksen)

Commits

• c3bbd2d: Add another useful helper function. (Troels Henriksen)

Commits

• 0f45c8f: Style fix. (Troels Henriksen)

Commits

• 7ef5dd6: Bump Hackage. (Troels Henriksen)

Commits

• 417ffc2: Eliminate another use of IxFun.base. (Troels Henriksen)

Commits

• 66e6918: Remove another use of IxFun.base. (Troels Henriksen)

Commits

• 212b4ac: Fixes to IxFun.range. (Troels Henriksen)

Commits

• 421837f: Stick to 10 errors for readability. (Troels Henriksen)