Commit d8f7a841 authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 50d60654
......@@ -502,6 +502,9 @@ let () =
if testing EOfArray then
declare "E.of_array" spec R.E.of_array C.E.of_array;
(* TODO should check that [of_seq_segment] treats as argument as affine.
The difficulty is to generate an affine sequence and then measure its
length without destroying it! Use Monolith's [pick] combinator. *)
let spec = spec_of_list_segment in
if testing EOfSeqSegment then
declare "harness_of_seq_segment E.of_seq_segment" spec
Supports Markdown
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