protospec-build 0.3.0

One binary format language to rule them all, One binary format language to find them, One binary format language to bring them all and in the darkness bind them.
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

use super::*;

impl Scope {
    pub(super) fn convert_cast_expression(
        self_: &Arc<RefCell<Scope>>,
        expr: &ast::CastExpression,
        _expected_type: PartialType,
    ) -> AsgResult<CastExpression> {
        if !expr.type_.raw_type.is_inlinable() {
            return Err(AsgError::CastTypeDefinition(expr.span));
        }
        let target = Scope::convert_ast_type(self_, &expr.type_.raw_type, false)?;

        let inner = Box::new(Scope::convert_expr(self_, &expr.inner, PartialType::Any)?);
        if let Some(inner_type) = inner.get_type() {
            if !inner_type.can_cast_to(&target) {
                return Err(AsgError::IllegalCast(
                    inner_type.to_string(),
                    target.to_string(),
                    expr.span,
                ));
            }
        } else {
            return Err(AsgError::UninferredType(*expr.inner.span()));
        }

        Ok(CastExpression {
            type_: target,
            inner,
            span: expr.span,
        })
    }
}