Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Suggestion: Dependencies throw an error if there is a missing world. #272

Open
Louw123 opened this issue Oct 27, 2024 · 0 comments
Open

Comments

@Louw123
Copy link

Louw123 commented Oct 27, 2024

I was having an error trying to figure out why the tree and info is not loading (#270) Turns out, I accidentally mistyped the name of the world. Here's the suggestion:

Lets say we have two worlds World1 and world2

Dependency World1 → World2

If someone mistyped and/or lean cannot find the world, it must throw an error at compile time:

Dependency World1 connects to a Unknown world.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant