Code

Add deriving for Eq#3176

Code

Merged

janmasrovira merged 10 commits intomainanoma/juvix:mainfrom 3137-deriving-mechanismanoma/juvix:3137-deriving-mechanismCopy head branch name to clipboardNov 22, 2024

+905-281

Commits

Commits on Nov 20, 2024

• Squashed commit of the following:

  Show description for 84ad004
  janmasrovira

  committed
  84ad004

  Copy full SHA for 84ad004

• fix rebase

  janmasrovira

  committed
  e83d265

  Copy full SHA for e83d265

• negative test

  janmasrovira

  committed
  2e14594

  Copy full SHA for 2e14594

• refactor

  janmasrovira

  committed
  99af0ac

  Copy full SHA for 99af0ac

Commits on Nov 21, 2024

• lookupInfo naming convention

  janmasrovira

  committed
  87aebc9

  Copy full SHA for 87aebc9

• lookupInfo order

  janmasrovira

  committed
  a95b8d2

  Copy full SHA for a95b8d2

• use checkTypeSig

  janmasrovira

  committed
  7e92fda

  Copy full SHA for 7e92fda

• remove debug comment

  janmasrovira

  committed
  26759be

  Copy full SHA for 26759be

• add positive test

  janmasrovira

  committed
  d38c1ca

  Copy full SHA for d38c1ca

Commits on Nov 22, 2024

• improve test

  lukaszcz

  committed
  705e4ca

  Copy full SHA for 705e4ca