Method parse_constructor

leanr-syntax/src/parser.rs:189–208

Parse a constructor

(&mut self)

    /// Parse a constructor
    fn parse_constructor(&mut self) -> crate::Result<Constructor> {
        let name = self.parse_ident()?;
        let params = self.parse_params()?;

        let type_ = if self.check(&TokenKind::Colon) {
            self.advance();
            Some(Box::new(self.parse_expr()?))
        } else {
            None
        };

        let end = type_.as_ref().map(|t| t.span()).unwrap_or(name.span);

        Ok(Constructor {
            span: name.span.to(end),
            name,
            params,
            type_,
        })
    }

    /// Parse structure declaration
    fn parse_structure(&mut self) -> crate::Result<StructureDecl> {