Commit 38229ac8 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Commented out dependency of [Array] on [List].

parent 9aa3600c
...@@ -58,8 +58,10 @@ let append a1 a2 = ...@@ -58,8 +58,10 @@ let append a1 a2 =
end end
(* Re-implementation of [concat]. *) (* Re-implementation of [concat]. *)
(* TEMPORARY problematic reference to [List]?
let concat ts = let concat ts =
List.fold_left append (of_list []) ts List.fold_left append (of_list []) ts
*)
(* Re-implementation of [sub]. *) (* Re-implementation of [sub]. *)
let sub a ofs len = let sub a ofs len =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment