Noratrieb/lambda-calculus
1
0
Fork 0
mirror of https://github.com/Noratrieb/lambda-calculus.git synced 2026-01-14 15:25:05 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

something

Browse source
This commit is contained in:
nora 2022-01-29 18:27:47 +01:00
parent f42a8d3da1
commit 29b0d35a62
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/lib.rs
View file

@ -81,13 +81,13 @@ mod parser {
}) })
.labelled("abstraction"); .labelled("abstraction");
abstraction abstraction.then_ignore(end())
}) })
} }
} }
pub fn run(input: &str) { pub fn run(input: &str) {
let mut lexer = lexer::Token::lexer(input); let lexer = lexer::Token::lexer(input);
let length = lexer.source().len(); let length = lexer.source().len();
match parser::expr_parser().parse(Stream::from_iter(length..length + 1, lexer.spanned())) { match parser::expr_parser().parse(Stream::from_iter(length..length + 1, lexer.spanned())) {