Code

Unique vectors#550

Code

Open

TimWhiting wants to merge 9 commits intokoka-lang:devkoka-lang/koka:devfrom TimWhiting:unique-vectorsTimWhiting/koka:unique-vectorsCopy head branch name to clipboard

+324-20

Commits

Commits on Jan 31, 2025

• some updates to vectors to allow for reuse in unique mapping

  TimWhiting

  committed
  980a8d2

  Copy full SHA for 980a8d2

• update vector test, reorganize and add a few more vector APIs, and add some documentation

  TimWhiting

  committed
  7ab646f

  Copy full SHA for 7ab646f

• add some inline annotations

  TimWhiting

  committed
  07266fe

  Copy full SHA for 07266fe

• add more test cases, address review comments

  TimWhiting

  committed
  0d94cf3

  Copy full SHA for 0d94cf3

• update an old reference in a comment

  TimWhiting

  committed
  759f430

  Copy full SHA for 759f430

• update the test

  TimWhiting

  committed
  25f6a29

  Copy full SHA for 25f6a29

• add some erroring tests

  TimWhiting

  committed
  76e0d08

  Copy full SHA for 76e0d08

• Only allow maximally divergent functions for in-place update of local vector variables

  TimWhiting

  committed
  4e9aaae

  Copy full SHA for 4e9aaae

• improve doc comments

  TimWhiting

  committed
  da2e1dc

  Copy full SHA for da2e1dc