From 10362426aacdca72ac0600b8d13e9f0bd0ad6b91 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Wed, 23 Oct 2019 10:41:36 -0400 Subject: [PATCH] blabla --- src/passes/4-typer/solver.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/passes/4-typer/solver.ml b/src/passes/4-typer/solver.ml index b20eb7ef9..8ce71daaf 100644 --- a/src/passes/4-typer/solver.ml +++ b/src/passes/4-typer/solver.ml @@ -925,12 +925,13 @@ let select_and_propagate : ('old_input, 'selector_output) selector -> BlaBla.t p fun selector propagator -> fun old_type_constraint dbs -> (* TODO: thread some state to know which selector outputs were already seen *) - let already_selected = (??) in + let already_selected = failwith "(?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? TODO)" in match selector old_type_constraint dbs with WasSelected selected_outputs -> (* TODO: fold instead. *) let selected_outputs = List.filter (fun elt -> AlreadySelected.mem elt already_selected) selected_outputs in let blahblah = List.fold_left (fun acc elt -> AlreadySelected.add elt acc) already_selected selected_outputs in + let _______________________________________________________________________________________________________________________________________TODO = blahblah in (* Call the propagation rule *) let new_contraints_and_assignments = List.map (fun s -> propagator s dbs) selected_outputs in let (new_constraints , new_assignments) = List.split new_contraints_and_assignments in