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
The following code triggers the exception mentioned in the subject of this issue:
module X
value x = ""()[\loc=|hello:///|];
It could produce a static error, because node do not have named fields per se, or even better it should simply set the \loc keyword field in the anonimous node and produce ""(\loc=|hello:///|) as a value assigned to x.
The text was updated successfully, but these errors were encountered:
The following code triggers the exception mentioned in the subject of this issue:
It could produce a static error, because
node
do not have named fields per se, or even better it should simply set the\loc
keyword field in the anonimousnode
and produce""(\loc=|hello:///|)
as a value assigned tox
.The text was updated successfully, but these errors were encountered: