Fix more bugs. Seems to work now!

mit-pdos · Oct 8, 2022 · 867f13d · 867f13d
1 parent 85b07ba
commit 867f13d
Show file tree

Hide file tree

Showing 11 changed files with 584 additions and 708 deletions.
diff --git a/src/ExtractOcaml.v b/src/ExtractOcaml.v
@@ -45,6 +45,7 @@ Extract Inlined Constant HexString.to_nat => "(fun l -> Z.of_string (String.of_s
 
 (* tail recursive list functions *)
 Extract Inlined Constant Datatypes.app => "List_extra.append".
+Extract Inlined Constant List.repeat => "List_extra.repeat".
 
 (* Hook up our untrusted replacement policy. *)
 Extract Inlined Constant Cache.eviction_state  => "Evict.eviction_state".