diff options
Diffstat (limited to 'xacml-proofs/compiler/bin/request.ml')
| -rw-r--r-- | xacml-proofs/compiler/bin/request.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/xacml-proofs/compiler/bin/request.ml b/xacml-proofs/compiler/bin/request.ml new file mode 100644 index 0000000..74b9169 --- /dev/null +++ b/xacml-proofs/compiler/bin/request.ml @@ -0,0 +1,8 @@ +open Core +open Compiler + +let () = + let argv = Sys.get_argv () in + let file_name = Array.get argv 1 in + let policy_code = In_channel.read_all file_name in + compile_request policy_code |> Stdio.print_endline |