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

Reference interpreter panics on let-bound values #1133

Closed
robdockins opened this issue Mar 25, 2021 · 0 comments · Fixed by #1152
Closed

Reference interpreter panics on let-bound values #1133

robdockins opened this issue Mar 25, 2021 · 0 comments · Fixed by #1152
Assignees
@robdockins
Labels
bug Something not working correctly

Comments

@robdockins
Copy link
Contributor 

Cryptol> let x = zero:[8]
Cryptol> x@0
False
Cryptol> :eval x@0
cryptol: You have encountered a bug in Cryptol's implementation.
*** Please create an issue at https://github.com/GaloisInc/cryptol/issues

%< ---------------------------------------------------
  Revision:  8ed946ea75646f732e46c6917dd4e95a4d4e964e
  Branch:    master (uncommited files present)
  Location:  [Reference Evaluator]evalExpr
  Message:   var `<interactive>::x` is not defined
CallStack (from HasCallStack):
  panic, called at src/Cryptol/Utils/Panic.hs:21:9 in cryptol-2.10.0.99-inplace:Cryptol.Utils.Panic
  panic, called at src/Cryptol/Eval/Reference.lhs:1689:19 in cryptol-2.10.0.99-inplace:Cryptol.Eval.Reference
%< ---------------------------------------------------

I think it's probably fine to not support REPL let bindings for :eval, but we shouldn't panic.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robdockins robdockins

Labels
bug Something not working correctly
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Include REPL let bindings in the reference interpreter GaloisInc/cryptol
1 participant
@robdockins