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

move stmt test to oc interpreter

Browse source
This commit is contained in:
ProgramSnail 2026-01-29 15:38:45 +03:00
parent bea18df70e
commit cdf85131f4
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
lib/relational_semantic_interpreter_oc.ml
View file

@ -36,6 +36,15 @@ struct
type nonrec ground = (Nat.ground, Nat.ground List.ground) t
]
module Test = struct
@type answer1 = Nat.ground List.ground GT.list with show
@type answer = ground GT.list with show
let _ = Printf.printf "%s\n" @@ show(answer1) (Stream.take (run q (fun q -> ocanren {Call (1, [2]) === Call (1, q)})
(fun q -> q#reify (List.prj_exn Nat.prj_exn))))
let _ = Printf.printf "%s\n" @@ show(answer) (Stream.take (run q (fun q -> ocanren {Call (1, [2]) === q})
(fun q -> q#reify (prj_exn))))
end
end
module FunDecl = struct