Commit bb4365ea authored by Pietro Abate's avatar Pietro Abate

fix minor compilation problem

parent af4158ec
......@@ -11,7 +11,7 @@ true: -traverse
<{misc,types,typing,schema,compile,runtime,parser}/*.cmx>: for-pack(TypesOUnit)
<{misc,types}/*.cmx>: for-pack(BoolVarOUnit)
<parser/**>: package(ulex), package(netstring), syntax(camlp4o)
<parser/**>: package(ulex), package(netstring), package(camlp4.extend), syntax(camlp4o)
<schema/**>: package(pcre), package(netstring)
<runtime/**>: package(pcre), package(netstring)
<tests/libtest/*Test.*>: package(netstring), package(pcre), package(oUnit), package(ulex), package(num), package(camlp4.lib)
......@@ -336,8 +336,8 @@ let test_tallying =
let sigma = Tallying.tallying Var.Set.empty l in
List.iter (fun (s,t) ->
List.iter (fun sigma ->
let s_sigma = Tallying.(s $$ sigma) in
let t_sigma = Tallying.(t $$ sigma) in
let s_sigma = Tallying.(s >> sigma) in
let t_sigma = Tallying.(t >> sigma) in
assert_equal ~pp_diff:(fun fmt _ ->
Format.fprintf fmt "sigma_i = %a\n" Types.Tallying.CS.pp_e sigma;
Format.fprintf fmt "s @@ sigma_i = %a\n" Types.Print.pp_type s_sigma;
......@@ -453,7 +453,7 @@ let test_apply =
"apply" >:::
let sigmacup sl t =
List.fold_left (fun acc sigma ->
Types.cap acc Tallying.(t $$ sigma)
Types.cap acc Tallying.(t >> sigma)
) Types.any sl
in
List.map (fun (msg,s,t) ->
......
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