structure PP = Lambda.PP

fun load f = 
  let 
    val _ = Compiler.PPTable.install_pp ["LambdaAst", "expr"] PP.ppExpr
    val e = Parser.parse f
    val e' = LambdaAst.alpha_vary e
  in
    e'
  end

fun run e = Lambda.M e handle Lambda.RuntimeError s => (print (s^"\n");
							Lambda.BoolV false)