vsl-lang/VSL

Scope#set does not use query

Closed this issue · 0 comments

ScopeItem#equal(ref: ScopeItem) requires the ref to be of type .query, however Scope#set(item: ScopeItem) -> Bool will pass the same (.indefinite or .definite) type to the #get() query. This means invalid equality checks are performed.

Possible Solutions:

  • Initialize queries for definitive types
  • Conversion from definitive -> query type