-
-
Notifications
You must be signed in to change notification settings - Fork 50
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
Unknown module prelude when installing via cargo-install #165
Comments
Thank you for the feedback. Unfortunately, it's not (yet) possible to install artifacts using Including everything in the binary is definitely possible. This is what we do for the WASM version, albeit in a very hacky way for the moment. But this mechanism could certainly be improved with a custom We could think about using a builtin version of the prelude as a fallback, if nothing else is available. But I'm not sure if that is a good idea. The prelude is structured into multiple files. If only some of them would be available (e.g. leftover from a previous install of Numbat), we would fall through to the builtin files for some of the modules, possible creating a lot of confusion. But I guess that's maybe more of a general problem. I'm happy for any suggestions! For now, I clarified the instructions here: https://numbat.dev/doc/cli-installation.html#from-source |
Yeah tbh I was expecting something similar to what you did for the wasm, or using a crate to hide the « hacky stuff » (is there really any other way to do it?)
Well, I’m not a maintainor or anything, just someone who used a lot insect.sh and was happy to discover that you wrote a new version running on rust.
Also, about that, I’m wondering what is the best approach. If everyone copy-paste the lib in their local dir, then there is a good chance that they never update it and thus get an outdated stdlib. Thanks for the awesome project, now that a rust version exists I might contribute to it 🔥 |
This changeset adds a fixed version of the Numbat standard library (`prelude`) to the binary itself. This way, the installation procedure for the typical user is greatly simplified. They just need one executable. Customization is still possible, as described here: https://numbat.dev/doc/cli-customization.html closes #165
This changeset adds a fixed version of the Numbat standard library (`prelude`) to the binary itself. This way, the installation procedure for the typical user is greatly simplified. They just need one executable. Customization is still possible, as described here: https://numbat.dev/doc/cli-customization.html closes #165
Thanks for being insistent. This should now be fixed, and I agree that the situation for users is much better. And the situation for developers is not worse (it's slightly more complicated to understand what's going on though). You should now be able to do
Oh, thank you for mentioning that! This worked out nicely. Also for the wasm version.
I documented it here: https://numbat.dev/doc/cli-customization.html#config-path — it's not that relevant anymore, since modules are now inside the binary. But it would actually be good to hear if that folder works for
👍 I have now added instructions for developers in the README. And clarified the documentation here for users, so that there shouldn't be any problems, unless someone starts to actively modify the prelude.
Thank you very much for the feedback. Seeing what you work on (professionally and in your personal projects) you would definitely be more than qualified to work on the Numbat compiler/interpreter! In fact, having the possibility to attract contributors was one of the main factors to rewrite Numbat in Rust. The PureScript community was just too small for that. |
Hey!
When installing numbat with
cargo install
we then can't run anything because it’s missing its prelude:Do you think it would be doable to shove all the prelude directly in the binary? 🤔
The text was updated successfully, but these errors were encountered: