Code

Add package lockfile support#2388

Code

Merged

jonaprieto merged 24 commits intomainanoma/juvix:mainfrom lockfile-supportanoma/juvix:lockfile-supportCopy head branch name to clipboardOct 2, 2023

+808-52

Commits

Commits on Oct 2, 2023

• Fix git dependency ToJSON

  Show description for 325741f
  

  paulcadman

  authored and

  jonaprieto

  committed
  325741f

  Copy full SHA for 325741f

• Add lockfile parser

  

  paulcadman

  authored and

  jonaprieto

  committed
  7099d83

  Copy full SHA for 7099d83

• Parse lockfile alongside packagefile

  

  paulcadman

  authored and

  jonaprieto

  committed
  5a48b30

  Copy full SHA for 5a48b30

• Include the lockfile in the ResolverEnv

  

  paulcadman

  authored and

  jonaprieto

  committed
  0e1a341

  Copy full SHA for 0e1a341

• Resolve dependencies using the lockfile

  

  paulcadman

  authored and

  jonaprieto

  committed
  1956e94

  Copy full SHA for 1956e94

• Add lockfile smoke test

  

  paulcadman

  authored and

  jonaprieto

  committed
  96b0732

  Copy full SHA for 96b0732

• Add nested dependency to lockfile smoke test

  

  paulcadman

  authored and

  jonaprieto

  committed
  5ec06f1

  Copy full SHA for 5ec06f1

• Update the Package with lockfile dependencies

  

  paulcadman

  authored and

  jonaprieto

  committed
  b31086d

  Copy full SHA for b31086d

• Store the lockfile path to use in error messages

  

  paulcadman

  authored and

  jonaprieto

  committed
  7664d08

  Copy full SHA for 7664d08

• Error if lockfile and package file are inconsistent

  Show description for db17043
  

  paulcadman

  authored and

  jonaprieto

  committed
  db17043

  Copy full SHA for db17043

• Refactor lockfileInfo related names

  

  paulcadman

  authored and

  jonaprieto

  committed
  888669a

  Copy full SHA for 888669a

• Move lockfile related functions to Lockfile module

  

  paulcadman

  authored and

  jonaprieto

  committed
  6557ff8

  Copy full SHA for 6557ff8

• Add function to write lockfile

  

  paulcadman

  authored and

  jonaprieto

  committed
  1fff92f

  Copy full SHA for 1fff92f

• Use aeson-pretty to encode the lockfile

  

  paulcadman

  authored and

  jonaprieto

  committed
  c68786b

  Copy full SHA for c68786b

• Construct the lockfile when resolving dependencies

  Show description for 2b12dc4
  

  paulcadman

  authored and

  jonaprieto

  committed
  2b12dc4

  Copy full SHA for 2b12dc4

• Remove lockfile when updating dependencies in test

  

  paulcadman

  authored and

  jonaprieto

  committed
  4bdeccc

  Copy full SHA for 4bdeccc

• Smoke test with generated lockfile

  

  paulcadman

  authored and

  jonaprieto

  committed
  483fa5a

  Copy full SHA for 483fa5a

• Fix test

  

  paulcadman

  authored and

  jonaprieto

  committed
  c3acdac

  Copy full SHA for c3acdac

• Use YAML for lockfile

  

  paulcadman

  authored and

  jonaprieto

  committed
  6c331a7

  Copy full SHA for 6c331a7

• Add header to lockfile

  

  paulcadman

  authored and

  jonaprieto

  committed
  f28370b

  Copy full SHA for f28370b

• Fix lockfile key ordering

  

  paulcadman

  authored and

  jonaprieto

  committed
  9e8ed3f

  Copy full SHA for 9e8ed3f

• Do not write lockfile if it already exists

  

  paulcadman

  authored and

  jonaprieto

  committed
  9d96786

  Copy full SHA for 9d96786

• Add version information to lockfile header

  paulcadman

  committed
  5ed25fa

  Copy full SHA for 5ed25fa

• Add suggestion to error message when lockfile is out of sync

  paulcadman

  committed
  e78cf2f

  Copy full SHA for e78cf2f