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

rec x = x crashes the interpreter #2203

Open
sauclovian-g opened this issue Jan 29, 2025 · 0 comments
Open

rec x = x crashes the interpreter #2203

sauclovian-g opened this issue Jan 29, 2025 · 0 comments
Assignees
@sauclovian-g
Labels
easy Issues that are expected to be easy to resolve and might therefore be good for new contributors topics: error-handling Issues involving the way SAW responds to an error condition type: bug Issues reporting bugs or unexpected/unwanted behavior
Milestone
2024T3

Comments

@sauclovian-g
Copy link
Contributor

Observe:

sawscript> rec x = x

interpretFunction: not a function
CallStack (from HasCallStack):
  error, called at src/SAWScript/Interpreter.hs:291:12 in saw-script-1.2.0.99-inplace:SAWScript.Interpreter

This should be rejected in the typechecker.
@sauclovian-g sauclovian-g added easy Issues that are expected to be easy to resolve and might therefore be good for new contributors topics: error-handling Issues involving the way SAW responds to an error condition type: bug Issues reporting bugs or unexpected/unwanted behavior labels Jan 29, 2025
@sauclovian-g sauclovian-g added this to the 2024T3 milestone Jan 29, 2025
@sauclovian-g sauclovian-g self-assigned this Jan 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sauclovian-g sauclovian-g

Labels
easy Issues that are expected to be easy to resolve and might therefore be good for new contributors topics: error-handling Issues involving the way SAW responds to an error condition type: bug Issues reporting bugs or unexpected/unwanted behavior
Projects
None yet
Milestone
2024T3
Development

No branches or pull requests
1 participant
@sauclovian-g