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

Typecheck fails on Juvix Markdown files containing the word "import". #2924

Closed
jonaprieto opened this issue Jul 29, 2024 · 1 comment · Fixed by #2925
Closed

Typecheck fails on Juvix Markdown files containing the word "import". #2924

jonaprieto opened this issue Jul 29, 2024 · 1 comment · Fixed by #2925

Comments

@jonaprieto
Copy link
Collaborator

Thanks to @heindel, who just couldn't resist adding "important" things to the specs, we finally noticed the issue.

To reproduce the issue:

$ cat Hi.juvix.md
What is important is seldom urgent. 

The type checker reports:

juvix-v0.6.4 typecheck Hi.juvix.md 
/Users/jonaprieto/anoma/juvix/tests/positive/Markdown/Hi.juvix.md:0:8-17: error:
The module ant does not exist.
It should be in /Users/jonaprieto/anoma/juvix/tests/positive/ant.juvix
or in one of the dependencies:
• .juvix-build/stdlib/
@jonaprieto jonaprieto added this to the 0.6.5 milestone Jul 29, 2024
jonaprieto added a commit that referenced this issue Jul 29, 2024
@jonaprieto jonaprieto linked a pull request Jul 29, 2024 that will close this issue
@heindel
Copy link

heindel commented Jul 30, 2024

the temporary workaround is to use the char sequence ímportant as a replacement for important

jonaprieto added a commit that referenced this issue Jul 30, 2024
janmasrovira pushed a commit that referenced this issue Jul 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants