st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-06-11 03:38:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

struct: remove unrequired comment

Browse source
This commit is contained in:
ProgramSnail 2026-05-06 10:39:49 +00:00
parent ddde0e9541
commit da7e489a78
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
model_with_structures/synthesizer.ml
View file

@ -819,7 +819,6 @@ struct
v == FunV fstmts & v == FunV fstmts &
tp == FunT tps & tp == FunT tps &
st' == StEnv (mem, types', vals') & st' == StEnv (mem, types', vals') &
(* TODO: type error, fix required *)
list_foldl2o (stmt_addarg_foldero vals) list_foldl2o (stmt_addarg_foldero vals)
(Std.pair st' 0) tps es (Std.pair st' 0) tps es
(Std.pair state_with_args _arg_id) & (Std.pair state_with_args _arg_id) &