search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Running `:load` command fails in the repl with `withBinaryFile: does not exist (No such file or directory)` #2799

Open heueristik opened 5 months ago

heueristik commented 5 months ago

Describe the bug

When trying to use the :load command in the Juvix REPL, I get the following error

➜  sandbox juvix repl            
Juvix REPL version 0.6.1-29f1c4c: https://juvix.org. Run :help for help
OK loaded: /Users/<username>/.config/juvix/0.6.1/global-project/.juvix-build/stdlib/Stdlib/Prelude.juvix
Stdlib.Prelude> :load Hello.juvix 
/Users/<username>/Projects/Anoma/sandbox/Hello.juvix : withBinaryFile: does not exist (No such file or directory)
Stdlib.Prelude>

This is the file I am trying to load;

module Hello;
import Stdlib.Prelude open;
main : String := "Hello world!";

Note, that the problem occurs for every other file as well.

Desktop:

To Reproduce Steps to reproduce the behavior:

  1. Open the REPL with juvix repl
  2. Try to use the :load command, e.g., :load Hello.juvix

Expected behavior The file is loaded.

Additional context Note, that juvix repl Hello.juvix works just fine.

paulcadman commented 4 months ago

I can't reproduce this issue with the 0.6.3 release using the steps provided.

This is very odd because I'm sure I've observed this behaviour myself. I've tried several ways to reproduce, e.g putting loading the file within or without a Juvix project.

@heueristik can you still reproduce this issue? If so could you update the reproduction steps. It seems unlikely that we've fixed this as a side effect of something else but you never know.