Code

Improve resolution error messages#3640

Code

Draft

giacomocavalieri wants to merge 10 commits intogleam-lang:maingleam-lang/gleam:mainfrom giacomocavalieri:constraintsgiacomocavalieri/gleam:constraintsCopy head branch name to clipboard

+306-40

Commits

Commits on Nov 11, 2024

• wip

  giacomocavalieri

  committed
  f31b1cf

  Copy full SHA for f31b1cf

• wip

  giacomocavalieri

  committed
  1a720b8

  Copy full SHA for 1a720b8

• remove debug printing

  giacomocavalieri

  committed
  1813040

  Copy full SHA for 1813040

• wip

  giacomocavalieri

  committed
  ba21a41

  Copy full SHA for ba21a41

• wip

  giacomocavalieri

  committed
  d37fd99

  Copy full SHA for d37fd99

• add loads of comments

  giacomocavalieri

  committed
  2360154

  Copy full SHA for 2360154

• pretty print failing derivation trees

  giacomocavalieri

  committed
  e3c8a71

  Copy full SHA for e3c8a71

• add logical conclusion

  giacomocavalieri

  committed
  7bf54b9

  Copy full SHA for 7bf54b9

Commits on Nov 21, 2024

• add version-ranges dependency

  giacomocavalieri

  committed
  3e3e412

  Copy full SHA for 3e3e412

• wip

  giacomocavalieri

  committed
  7f32631

  Copy full SHA for 7f32631