j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity

parser: expand the possibilities for assignment locations

Browse Source 
This may be reverted later.
TODO: Formalize the concept of a place expression
TODO: Add this to grammar.ebnf
This commit is contained in:
John 2024-02-29 19:33:28 -06:00
parent 69f5035a8b
commit ee27095fb3
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
libconlang/src/parser.rs
View File

@ -889,7 +889,11 @@ impl<'t> Parser<'t> {
/// [Assign] = [Path] ([AssignKind] [Assign]) | [Compare](Binary) /// [Assign] = [Path] ([AssignKind] [Assign]) | [Compare](Binary)
pub fn exprkind_assign(&mut self) -> PResult<ExprKind> { pub fn exprkind_assign(&mut self) -> PResult<ExprKind> {
let head = self.expr_from(Self::exprkind_compare)?; let head = self.expr_from(Self::exprkind_compare)?;
if !matches!(head.kind, ExprKind::Path(_)) { // TODO: Formalize the concept of a "place expression"
if !matches!(
head.kind,
ExprKind::Path(_) | ExprKind::Call(_) | ExprKind::Member(_) | ExprKind::Index(_)
) {
return Ok(head.kind); return Ok(head.kind);
} }
let Ok(op) = self.assign_op() else { let Ok(op) = self.assign_op() else {