Code

Allow record fields to be iterators#2909

Code

Merged

janmasrovira merged 5 commits intomainanoma/juvix:mainfrom field-iteratorsanoma/juvix:field-iteratorsCopy head branch name to clipboardJul 22, 2024

+93-21

Commits

Commits on Jul 22, 2024

• allow syntax iterator in record declarations

  janmasrovira

  committed
  855db67

  Copy full SHA for 855db67

• group record syntax statements

  janmasrovira

  committed
  5e0da76

  Copy full SHA for 5e0da76

• add test

  janmasrovira

  committed
  6934021

  Copy full SHA for 6934021

• format test

  janmasrovira

  committed
  1392f10

  Copy full SHA for 1392f10

• remove redundant import from test

  janmasrovira

  committed
  4cdf3f5

  Copy full SHA for 4cdf3f5