search

RedPRL / bantorra

📚 A library for managing libraries and resolving unit paths
https://redprl.org/bantorra/bantorra
Apache License 2.0
17 stars 0 forks source link

Eager checking #56

Closed favonia closed 9 months ago

favonia commented 2 years ago

Currently, the library lazily loads libraries. This is bad and should be changed.

  1. There should be eager initialization that loads everything.
  2. However, once everything is loaded, the checking should done in the offline mode as in #73.

It is wrong to load libraries lazily because (1) there's no way to detect whether some library is bad and (2) there's no way to solve version constraints without loading everything.

favonia commented 9 months ago

Implied by #72.