j/Doughlang
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

parser: "Parse" type variable introducers (and discard them for now)

Browse Source
This commit is contained in:
John
2025-10-24 05:24:58 -04:00
parent 64dc8bb279
commit 89e4afcc42
1 changed files with 14 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/parser.rs
View File

@@ -690,14 +690,22 @@ impl<'t> Parse<'t> for Bind {
p.consume().parse(PPrec::Max)?, p.consume().parse(PPrec::Max)?,
vec![p.parse(Prec::Body.next())?], vec![p.parse(Prec::Body.next())?],
)), )),
BindKind::Fn => Ok(Self( BindKind::Fn => {
if p.consume().next_if(TKind::Lt)?.is_ok() {
let _gty: Vec<FqPath> = p.list(vec![], (), TKind::Comma, TKind::Gt)?;
}
Ok(Self(
level, level,
p.consume().parse(PPrec::Fn)?, p.parse(PPrec::Fn)?,
vec![p.parse(Prec::Body.next())?], vec![p.parse(Prec::Body.next())?],
)), ))
}
_ => { _ => {
if p.consume().next_if(TKind::Lt)?.is_ok() {
let _gty: Vec<FqPath> = p.list(vec![], (), TKind::Comma, TKind::Gt)?;
}
// let Pat // let Pat
let pat = p.consume().parse(PPrec::Tuple)?; let pat = p.parse(PPrec::Tuple)?;
if p.next_if(TKind::Eq).allow_eof()?.is_none_or(|v| v.is_err()) { if p.next_if(TKind::Eq).allow_eof()?.is_none_or(|v| v.is_err()) {
return Ok(Self(level, pat, vec![])); return Ok(Self(level, pat, vec![]));
} }