scope_analysis & core_ast: added functions to convert directly from source for convenience

lib/compiler/core_ast.ml

@@ -1,4 +1,6 @@
 
+let traverse = Util.traverse
+
 type literal =
   | Int of int
   | Double of float
@@ -121,3 +123,7 @@ and of_syntactic : Syntactic_ast.top_level -> top_level = function
 let of_sexpr x =
   Result.bind (Syntactic_ast.make x)
     (fun x -> Ok (of_syntactic x))
+
+let of_src src =
+  let sexprs = Parser.parse_str src in
+  traverse of_sexpr sexprs

lib/compiler/scope_analysis.ml

@@ -134,3 +134,7 @@ let convert program =
        let tbl = SymbolTable.add s (id ()) tbl in
        (analyze tbl [] e) :: (aux tbl rest)
   in traverse (fun x -> x) (aux SymbolTable.empty program)
+
+let of_src src =
+  let* core = (Core_ast.of_src src) in
+  convert core