Function blisp::typing

pub fn typing(exprs: &LinkedList<Expr>) -> Result<Context, LispErr>

perform type checking and inference

Example

let code = "(export factorial (n) (Pure (-> (Int) Int))
   (if (<= n 0)
       1
       (* n (factorial (- n 1)))))";

let exprs = blisp::init(code).unwrap();
blisp::typing(&exprs).unwrap();