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.

Sign up for GitHub

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

Jump to bottom

Calling list functions in REPL fails with "The builtin nil has not been defined" #2638

Closed
paulcadman opened this issue Feb 8, 2024 · 0 comments · Fixed by #2639
Closed

Calling list functions in REPL fails with "The builtin nil has not been defined" #2638

paulcadman opened this issue Feb 8, 2024 · 0 comments · Fixed by #2639
Assignees
@paulcadman
Labels
bug pending-review repl

Comments

@paulcadman
Copy link
Collaborator

To reproduce, run the repl: juvix repl and evaluate:

Stdlib.Prelude> head 0 [1;2;3]

Expected: 1
Actual: An error:

/repl:1:8-15: error:
The builtin nil has not been defined

The same error is produced for other List functions, e.g take, map etc.
@paulcadman paulcadman mentioned this issue Feb 8, 2024
Merged
@paulcadman paulcadman self-assigned this Feb 8, 2024
paulcadman added a commit that referenced this issue Feb 26, 2024
@paulcadman
Update REPL artifacts with builtins from stored modules (#2639)
a091a7f 
Builtin information needs to be propagated from stored modules to REPL
artifacts to avoid "The builtin _ has not been defined" errors.

This PR adds a test suite for the REPL in the Haskell test code. This
means some of the slow smoke tests can be moved to fast haskell unit
tests. In future we should refactor the REPL code by putting in the main
src target and unit testing more features (e.g :doc, :def).

* Closes #2638
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@paulcadman paulcadman

Labels
bug pending-review repl
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Update REPL artifacts with builtins from stored modules anoma/juvix
1 participant
@paulcadman