rego-proofs/compiler-rewrite/bin/main.ml


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

open Core
open Compiler_rewrite.Ast
open Compiler_rewrite.Compiler
open Compiler_rewrite.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.concat
  |> List.map ~f:fmt_lean_expression
  |> List.iter ~f:print_endline