Added some comments

vellvm · Aug 5, 2023 · 3079f3b · 3079f3b
1 parent 5f195b5
commit 3079f3b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/coq/QC/GenAlive2.v b/src/coq/QC/GenAlive2.v
@@ -716,6 +716,8 @@ Fixpoint normalized_typ_eq (a : typ) (b : typ) {struct a} : bool
     ret TLE_Definition <*> gen_runner_def args ret_t fn
   .
 
+  (* TODO: Supposed to take a parsed program (TLE maybe?) and output a fixed list of TLEs
+   Need to find what the type of the input is *)
   Definition gen_tester : GenALIVE2 (list (toplevel_entity typ (block typ * list (block typ))))
     :=
     failGen "Unimplemented".