Method parse_lambda_expr

leanr-syntax/src/parser.rs:356–368

Parse lambda: fun x => body

(&mut self)

    /// Parse lambda: fun x => body
    fn parse_lambda_expr(&mut self) -> crate::Result<Expr> {
        if self.check(&TokenKind::Fun) || self.check(&TokenKind::Lambda) {
            let start = self.advance().span;
            let params = self.parse_lambda_params()?;
            self.expect(TokenKind::FatArrow)?;
            let body = Box::new(self.parse_expr()?);
            let span = start.to(body.span());

            Ok(Expr::Lam { span, params, body })
        } else {
            self.parse_let_expr()
        }
    }

    /// Parse lambda parameters (simpler than def params)
    fn parse_lambda_params(&mut self) -> crate::Result<Vec<Param>> {