Code

Qualified constructors#3337

Code

Open

janmasrovira wants to merge 34 commits intomainanoma/juvix:mainfrom qualified-constructorsanoma/juvix:qualified-constructorsCopy head branch name to clipboard

+3,656-2,355

Commits

Commits on Feb 26, 2025

• test069

  janmasrovira

  committed
  c5fe621

  Copy full SHA for c5fe621

• update examples

  janmasrovira

  committed
  1aca922

  Copy full SHA for 1aca922

• reserve constructors in type module

  janmasrovira

  committed
  0c77bdb

  Copy full SHA for 0c77bdb

• remove trace

  janmasrovira

  committed
  75b0109

  Copy full SHA for 75b0109

• stdlib

  janmasrovira

  committed
  7f85afa

  Copy full SHA for 7f85afa

• update stdlib

  janmasrovira

  committed
  4c38e1c

  Copy full SHA for 4c38e1c

• adapting positive tests

  janmasrovira

  committed
  8367a63

  Copy full SHA for 8367a63

• fixing tests

  janmasrovira

  committed
  6beb5c1

  Copy full SHA for 6beb5c1

• neg tests

  janmasrovira

  committed
  b1d8d60

  Copy full SHA for b1d8d60

• more positive tests

  janmasrovira

  committed
  43d812c

  Copy full SHA for 43d812c

• migration

  janmasrovira

  committed
  7bea310

  Copy full SHA for 7bea310

• format stdlib

  janmasrovira

  committed
  8f1911c

  Copy full SHA for 8f1911c

• main package

  janmasrovira

  committed
  5d47725

  Copy full SHA for 5d47725

• manual

  janmasrovira

  committed
  d424638

  Copy full SHA for d424638

• migrate examples

  janmasrovira

  committed
  dafdf29

  Copy full SHA for dafdf29

• migrate test/Anoma

  janmasrovira

  committed
  272701a

  Copy full SHA for 272701a

• migrate tests/Casm

  janmasrovira

  committed
  352cc3d

  Copy full SHA for 352cc3d

• fish script

  janmasrovira

  committed
  a75094c

  Copy full SHA for a75094c

• migrate tests/Internal

  janmasrovira

  committed
  8518841

  Copy full SHA for 8518841

• test071

  janmasrovira

  committed
  f91419f

  Copy full SHA for f91419f

• migrate tests/Rust

  janmasrovira

  committed
  a1d5ec5

  Copy full SHA for a1d5ec5

• migrate tests/positive

  janmasrovira

  committed
  eded6d4

  Copy full SHA for eded6d4

• migrate tests/Compilation/positive

  janmasrovira

  committed
  b2ee1b8

  Copy full SHA for b2ee1b8

• migrate tetsts/Anoma

  janmasrovira

  committed
  d88c4a3

  Copy full SHA for d88c4a3

• markdown

  janmasrovira

  committed
  5ef0d64

  Copy full SHA for 5ef0d64

• update stdlib

  janmasrovira

  committed
  078da31

  Copy full SHA for 078da31

• negative scope and termination

  janmasrovira

  committed
  ef99721

  Copy full SHA for ef99721

• typechecking tests negative/Internal

  janmasrovira

  committed
  abb85b2

  Copy full SHA for abb85b2

• markdown and package test

  janmasrovira

  committed
  b61bef7

  Copy full SHA for b61bef7

• fix core constructor printing

  janmasrovira

  committed
  c82b24a

  Copy full SHA for c82b24a

• restore md

  janmasrovira

  committed
  2b76c7f

  Copy full SHA for 2b76c7f

• remove script

  janmasrovira

  committed
  ab6dd43

  Copy full SHA for ab6dd43

• update stdlib

  janmasrovira

  committed
  d96c959

  Copy full SHA for d96c959

• update stdlib

  janmasrovira

  committed
  50f9597

  Copy full SHA for 50f9597