15532211159

Committed 09 Jun 2025 10:16AM UTC coverage: 76.046% (+0.4%) from 75.667%

Build # 15532211159

Build Type

Pull #289

github

Committed by

web-flow

Commit Message

Merge 95a86e2cb into 1c6ef0cf3

Pull Request Pull Request #289: GH-288: make code formatter good enough for the examples

Run Details

92 of 96 new or added lines in 7 files covered. (95.83%)

1 existing line in 1 file now uncovered.

3962 of 5210 relevant lines covered (76.05%)

2261.95 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

28.57

/lambda_compiler/src/ast.rs

use crate::compilation::SourceLocation;
use lambda::name::Name;

#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Clone)]
pub struct LambdaParameter {
    pub name: Name,
    pub source_location: SourceLocation,
    pub type_annotation: Option<Expression>,
}

impl LambdaParameter {
    pub fn new(
        name: Name,
        source_location: SourceLocation,
        type_annotation: Option<Expression>,
    ) -> Self {
        Self {
            name,
            source_location,
            type_annotation,
        }
    }
}

#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Clone)]
pub enum Expression {
    Identifier(Name, SourceLocation),
    StringLiteral(String, SourceLocation),
    Apply {
        callee: Box<Expression>,
        arguments: Vec<Expression>,
    },
    Lambda {
        parameters: Vec<LambdaParameter>,
        body: Box<Expression>,
    },
    ConstructTree(Vec<Expression>),
    Braces(Box<Expression>),
    Let {
        name: Name,
        location: SourceLocation,
        value: Box<Expression>,
        body: Box<Expression>,
    },
    TypeOf(Box<Expression>),
    Comment(String, Box<Expression>, SourceLocation),
}

impl Expression {
    pub fn source_location(&self) -> SourceLocation {
        match self {
            Expression::Identifier(_, source_location) => *source_location,
            Expression::StringLiteral(_, source_location) => *source_location,
            Expression::Apply { callee, .. } => callee.source_location(),
            Expression::Lambda { body, .. } => body.source_location(),
            Expression::ConstructTree(_) => todo!(),
            Expression::Braces(expression) => expression.source_location(),
            Expression::Let {
                name: _,
                location,
                value: _,
                body: _,
            } => *location,
            Expression::TypeOf(expression) => expression.source_location(),
            Expression::Comment(_, _, source_location) => *source_location,
        }
    }
}

1	use crate::compilation::SourceLocation;
2	use lambda::name::Name;
3
4	#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Clone)]
5	pub struct LambdaParameter {
6	pub name: Name,
7	pub source_location: SourceLocation,
8	pub type_annotation: Option<Expression>,
9	}
10
11	impl LambdaParameter {
12	pub fn new(	100✔
13	name: Name,
14	source_location: SourceLocation,
15	type_annotation: Option<Expression>,
16	) -> Self {
17	Self {
18	name,
19	source_location,
20	type_annotation,
21	}
22	}
23	}
24
25	#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Clone)]
26	pub enum Expression {
27	Identifier(Name, SourceLocation),
28	StringLiteral(String, SourceLocation),
29	Apply {
30	callee: Box<Expression>,
31	arguments: Vec<Expression>,
32	},
33	Lambda {
34	parameters: Vec<LambdaParameter>,
35	body: Box<Expression>,
36	},
37	ConstructTree(Vec<Expression>),
38	Braces(Box<Expression>),
39	Let {
40	name: Name,
41	location: SourceLocation,
42	value: Box<Expression>,
43	body: Box<Expression>,
44	},
45	TypeOf(Box<Expression>),
46	Comment(String, Box<Expression>, SourceLocation),
47	}
48
49	impl Expression {
50	pub fn source_location(&self) -> SourceLocation {	2✔
51	match self {	2✔
52	Expression::Identifier(_, source_location) => *source_location,	2✔
NEW 53	Expression::StringLiteral(_, source_location) => *source_location,	×
54	Expression::Apply { callee, .. } => callee.source_location(),	×
55	Expression::Lambda { body, .. } => body.source_location(),	×
56	Expression::ConstructTree(_) => todo!(),
57	Expression::Braces(expression) => expression.source_location(),	×
58	Expression::Let {
59	name: _,
60	location,	×
61	value: _,	×
62	body: _,	×
63	} => *location,	×
64	Expression::TypeOf(expression) => expression.source_location(),	×
NEW 65	Expression::Comment(_, _, source_location) => *source_location,	×
66	}
67	}
68	}

TyRoXx / NonlocalityOS / 15532211159

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous