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

use super::*;

impl Scope {
    pub(super) fn convert_int_expression(
        _self_: &Arc<RefCell<Scope>>,
        expr: &ast::Int,
        expected_type: PartialType,
    ) -> AsgResult<Int> {
        let type_ = match (&expected_type, &expr.type_) {
            (_, Some(s)) => *s,
            (PartialType::Scalar(PartialScalarType::Some(s)), _) => *s,
            (PartialType::Scalar(PartialScalarType::Defaults(s)), _) => *s,
            (x, _) => return Err(AsgError::UnexpectedType(
                "integer".to_string(),
                x.to_string(),
                expr.span,
            )),
        };
        Ok(Int {
            value: ConstInt::parse(type_, &expr.value, expr.span)?,
            type_,
            span: expr.span,
        })
    }
}