Code

Add record declaration syntax#2254

Code

Merged

lukaszcz merged 7 commits intomainanoma/juvix:mainfrom 1641-add-record-declaration-syntax-supportanoma/juvix:1641-add-record-declaration-syntax-supportCopy head branch name to clipboardJul 24, 2023

+276-26

Commits

Commits on Jul 19, 2023

• add ConstructorRhs

  janmasrovira

  committed
  3d43750

  Copy full SHA for 3d43750

• add record declaration syntax

  janmasrovira

  committed
  20814b0

  Copy full SHA for 20814b0

• fix deriving

  janmasrovira

  committed
  e06a0f7

  Copy full SHA for e06a0f7

• improve formatting

  janmasrovira

  committed
  c8a5f25

  Copy full SHA for c8a5f25

• typo

  janmasrovira

  committed
  a0e3e97

  Copy full SHA for a0e3e97

• cleanup

  janmasrovira

  committed
  91e2545

  Copy full SHA for 91e2545

• add test to suite

  janmasrovira

  committed
  f4fa5cb

  Copy full SHA for f4fa5cb