lalrpop-lambda 0.6.1

A λ-calculus grammar writting with LALRPOP.
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

#![feature(non_ascii_idents, box_syntax)]
extern crate lalrpop_lambda;

use lalrpop_lambda::Expression;

fn main() {
    let n = 0;
    let ln = Expression::from(n);
    let nn = u64::from(ln.clone());
    println!("{} -> {} -> {}", n, ln, nn);

    let n = 1;
    let ln = Expression::from(n);
    let nn = u64::from(ln.clone());
    println!("{} -> {} -> {}", n, ln, nn);

    let n = 5;
    let ln = Expression::from(n);
    let nn = u64::from(ln.clone());
    println!("{} -> {} -> {}", n, ln, nn);

    let t = true;
    let lt = Expression::from(t);
    let tt = bool::from(lt.clone());
    println!("{} -> {} -> {}", t, lt, tt);

    let f = false;
    let lf = Expression::from(f);
    let ff = bool::from(lf.clone());
    println!("{} -> {} -> {}", f, lf, ff);
}