rego-proofs/compiler/bin/main.ml


1
2
3
4
5
6
7
8
9
10
11
12

open Core
open Compiler
open Compiler__.Ast
open Compiler__.Lean

let () =
  let file_name = Array.get (Sys.get_argv ()) 1 in
  let policy_code = In_channel.read_all file_name in
  ast_of_string policy_code
  |> compile_package
  |> List.map ~f:fmt_lean_expression
  |> List.iter ~f:print_endline