st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-03-12 02:57:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

start of test draft imgl

Browse source
This commit is contained in:
ProgramSnail 2026-01-26 17:00:10 +03:00
parent 6cb7c30e1f
commit f15613d192
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
lib/relational_semantic_interpreter.ml
View file

@ -348,12 +348,15 @@ struct
(empty_state state) (empty_state state)
(eval_fun_empty_args state prog main_decl state') (eval_fun_empty_args state prog main_decl state')
(* let eval_prog_fwd all_prog = *) (* TODO: fix *)
(* run q (fun q -> eval_prog (inj_state all_prog) q) *) let eval_prog_fwd all_prog =
(* (fun _ -> ()) *) Stream.hd @@
run q (fun q -> eval_prog (inj all_prog) q)
(fun qs -> qs#reify prj_exn)
(* TODO: fix *)
(* let%expect_test "empty" = *) (* let%expect_test "empty" = *)
(* eval_prog_fwd ([], ([], [])); *) (* eval_prog_fwd (Prog.T ([], FunDecl.T ([], []))); *)
(* Printf.printf "done!"; *) (* Printf.printf "done!"; *)
(* [%expect {| done! |}] *) (* [%expect {| done! |}] *)