typ 0.1.1

Type-level programming in Rust
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

use super::*;

pub fn translate_assign_expr(
    assign: &ExprAssign,
    scope: &mut Env,
    items: &mut Vec<Item>,
) -> syn::Result<TypeVar>
where
{
    let ExprAssign { left, right, .. } = assign;

    // parse lhs
    let ident = match &**left {
        Expr::Path(path) => match path.path.get_ident() {
            Some(ident) => ident,
            None => return Err(Error::new(path.span(), "not an identifier")),
        },
        _ => return Err(Error::new(left.span(), "not an identifier")),
    };

    // parse rhs
    let value = translate_expr(right, scope, items)?;

    // update state
    scope.assign_quantifier(ident, value)?;

    // expand return value
    let output = syn::parse2::<Type>(quote! { () })
        .unwrap()
        .parse_pure_type(&mut vec![])
        .unwrap();

    Ok(output)
}