You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is currently possible to cause Lumber to crash by getting a non-record/non-list value into a record/list tail:
test(A, B) :-B<- { a: a, ..A }.
:- test(a, B).
This causes Binding::apply to fail when attempting to extract the value of B.
There is some sort of checking that needs to be done when constructing a list/record that the tail value is valid. There is currently no such construction check. Inserting a step into the generated body right before constructing the record (or before evaluating the body, in the case of a record in head position) could work, but there is still no way to represent that check, maybe until #5.
The text was updated successfully, but these errors were encountered:
It is currently possible to cause Lumber to crash by getting a non-record/non-list value into a record/list tail:
This causes
Binding::apply
to fail when attempting to extract the value ofB
.There is some sort of checking that needs to be done when constructing a list/record that the tail value is valid. There is currently no such construction check. Inserting a step into the generated body right before constructing the record (or before evaluating the body, in the case of a record in head position) could work, but there is still no way to represent that check, maybe until #5.
The text was updated successfully, but these errors were encountered: