aiken-lang 1.0.24-alpha

The Aiken compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

use chumsky::prelude::*;

use super::constructor;
use crate::{
    ast::UntypedPattern,
    parser::{error::ParseError, token::Token},
};

pub fn parser(
    expression: Recursive<'_, Token, UntypedPattern, ParseError>,
) -> impl Parser<Token, UntypedPattern, Error = ParseError> + '_ {
    select! { Token::Name {name} => name }
        .then(
            just(Token::Dot)
                .ignore_then(
                    select! {Token::UpName { name } => name}.then(constructor::args(expression)),
                )
                .or_not(),
        )
        .map_with_span(|(name, opt_pattern), span| {
            if let Some((c_name, (arguments, with_spread, is_record))) = opt_pattern {
                UntypedPattern::Constructor {
                    is_record,
                    location: span,
                    name: c_name,
                    arguments,
                    module: Some(name),
                    constructor: (),
                    with_spread,
                    tipo: (),
                }
            } else {
                UntypedPattern::Var {
                    location: span,
                    name,
                }
            }
        })
}