Method parse_app_expr

leanr-syntax/src/parser.rs:498–516

Parse application: f x y z

(&mut self)

    /// Parse application: f x y z
    fn parse_app_expr(&mut self) -> crate::Result<Expr> {
        let mut func = self.parse_atomic_expr()?;
        let mut args = Vec::new();

        while !self.is_eof() && self.is_atomic_start() {
            args.push(self.parse_atomic_expr()?);
        }

        if args.is_empty() {
            Ok(func)
        } else {
            let span = func.span().to(args.last().unwrap().span());
            Ok(Expr::App {
                span,
                func: Box::new(func),
                args,
            })
        }
    }

    /// Parse atomic (primary) expression
    fn parse_atomic_expr(&mut self) -> crate::Result<Expr> {