blisp 0.4.7

A lisp like statically typed programing language for no_std.
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

use blisp;

#[test]
fn test_transpile() {
    let expr = "
    (defun snoc (l y)
    (Pure (-> (
        '(t) t)
    '(t)))
    (match l
        (nil (Cons y nil))
        ((Cons h b) (Cons h (snoc b y)))))

    (defun rev (l)
    (Pure (-> (
        '(t))
    '(t)))
    (match l
        (nil nil)
        ((Cons h t) (snoc (rev t) h))))
        ";
    let exprs = blisp::init(expr, vec![]).unwrap();
    let ctx = blisp::typing(exprs).unwrap();

    println!("{}", blisp::transpile(&ctx));
}