Code

feat: Make arrays iterable#632

Code

Merged

mark-koch merged 18 commits intomainCQCL/guppylang:mainfrom feat/array-iterCQCL/guppylang:feat/array-iterCopy head branch name to clipboardDec 2, 2024

+152-28

Commits

Commits on Nov 4, 2024

• feat: Generic function definitions

  mark-koch

  committed
  263d527

Commits on Nov 7, 2024

• fix: Fix generic array functions

  mark-koch

  committed
  d1af305

• Disable array results

  mark-koch

  committed
  a81e3f1

• feat: Make arrays iterable

  mark-koch

  committed
  5fbad3e

Commits on Nov 14, 2024

• Merge remote-tracking branch 'origin/main' into feat/generic-defs

  mark-koch

  committed
  64b425c

• Update diagnostics

  mark-koch

  committed
  8c4f4d1

• Add nat call and recurse tests

  mark-koch

  committed
  5efa146

• Merge branch 'feat/generic-defs' into fix/generic-array

  mark-koch

  committed
  0270fca

• Update diagnostics

  mark-koch

  committed
  0de51a3

• Merge branch 'fix/generic-array' into feat/array-iter

  mark-koch

  committed
  73d37b7

• Merge remote-tracking branch 'origin/main' into feat/array-iter

  mark-koch

  committed
  278bee5

• Simplify match

  mark-koch

  committed
  8b4e2d8

• Improve comment

  mark-koch

  committed
  76e3a00

• Rename result to option

  mark-koch

  committed
  85488ac

• Annotate type in synthesize_call

  mark-koch

  committed
  c2d0cec

Commits on Dec 2, 2024

• Merge remote-tracking branch 'origin/main' into feat/array-iter

  mark-koch

  committed
  b24a90c

• Generalize build_{expect_none,unwrap_{left,right}}, remove cast (#676)

  acl-cqc

  authored
  4d43244

• Add comment explaining const variables

  mark-koch

  committed
  2236ecf