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

Improve "no platform error message" #7438

Open
Anton-4 opened this issue Dec 30, 2024 · 0 comments
Open

Improve "no platform error message" #7438

Anton-4 opened this issue Dec 30, 2024 · 0 comments
Labels
enhancement New feature or request error-messages Related to the quality of error messages intermediate issue Likely good for someone who has completed a few other issues

Comments

@Anton-4
Copy link
Collaborator

Anton-4 commented Dec 30, 2024

We should show the user the file that we got to avoid confusion like here.

Current version:

── NO PLATFORM in main.roc ──────────────

I could not find a platform based on your input file.

Does the module header have an entry that looks like this?

    app [main] { pf: platform "…path or URL to platform…" }

Tip: The following part of the tutorial has an example of specifying a
platform:  <https://www.roc-lang.org/tutorial#building-an-application>

My suggestion:

── NO PLATFORM in main.roc ──────────────

I could not find a platform based on your input file at <PATH_OF_FILE>:
    <first 10 lines of file followed by ...>

Does the module header have an entry that looks like this?

    app [main] { pf: platform "…path or URL to platform…" }

Tip: The first line in this file shows how you can specify a platform: 
<https://github.com/roc-lang/examples/blob/main/examples/HelloWorld/main.roc>
@Anton-4 Anton-4 added enhancement New feature or request intermediate issue Likely good for someone who has completed a few other issues error-messages Related to the quality of error messages labels Dec 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request error-messages Related to the quality of error messages intermediate issue Likely good for someone who has completed a few other issues
Projects
None yet
Development

No branches or pull requests

1 participant