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/
Thanks to @heindel, who just couldn't resist adding "important" things to the specs, we finally noticed the issue.
To reproduce the issue:
The type checker reports: