waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: potential fix for left recursion

This commit is contained in:
rvcas 2022-06-08 22:21:22 -04:00
parent 1c8f3a736b
commit 74df7f8a7c
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
1 changed files with 28 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
crates/uplc/src/parser.rs
View File

@ -74,13 +74,25 @@ fn term() -> impl Parser<char, Term<Name>, Error = Simple<char>> {
let delay = keyword("delay")
.ignore_then(term.clone().padded())
.delimited_by(just('(').padded(), just(')').padded())
.map(|t| Term::Delay(Box::new(t)));
.map(|t| dbg!(Term::Delay(Box::new(t))));
let force = keyword("force")
.ignore_then(term.clone().padded())
.delimited_by(just('(').padded(), just(')').padded())
.map(|t| Term::Force(Box::new(t)));
.map(|t| dbg!(Term::Force(Box::new(t))));
let lambda = keyword("lam")
.ignore_then(name().padded())
.then(term.clone())
.delimited_by(just('(').padded(), just(')').padded())
.map(|(parameter_name, t)| {
dbg!(Term::Lambda {
parameter_name,
body: Box::new(t),
})
});
let apply = recursive(|a| {
let lambda = keyword("lam")
.ignore_then(name().padded())
.then(term.clone())
@ -90,14 +102,16 @@ fn term() -> impl Parser<char, Term<Name>, Error = Simple<char>> {
body: Box::new(t),
});
let apply = term
.clone()
var()
.or(lambda)
.or(a.delimited_by(just('[').padded(), just(']').padded()))
.padded()
.then(term)
.delimited_by(just('[').padded(), just(']').padded())
.map(|(function, argument)| Term::Apply {
function: Box::new(function),
argument: Box::new(argument),
})
});
constant()