fix tests

This commit is contained in:
Simon Cruanes 2016-04-05 20:01:39 +02:00
parent 53c4facdaf
commit 55c9d6c60b

View file

@ -378,10 +378,11 @@ module Make(W : WORD) = struct
map map
in Node (v', map') in Node (v', map')
in map_ _id t in map_ _id t
(*$T
T.mapi (fun k v -> v ^ "!") t1 \ (*$= & ~printer:Q.Print.(list (pair (list int) string))
|> T.to_list |> List.sort Pervasives.compare =\ (List.map (fun (k, v) -> (k, v ^ "!")) l1 |> List.sort Pervasives.compare) \
List.map (fun (k, v) -> (k, v ^ "!")) l1 |> List.sort Pervasives.compare (T.mapi (fun k v -> v ^ "!") t1 \
|> T.to_list |> List.sort Pervasives.compare)
*) *)
let map f t = let map f t =
@ -395,10 +396,10 @@ module Make(W : WORD) = struct
in let map' = M.map map_ map in let map' = M.map map_ map
in Node (v', map') in Node (v', map')
in map_ t in map_ t
(*$T (*$= & ~printer:Q.Print.(list (pair (list int) string))
T.map (fun v -> v ^ "!") t1 \ (List.map (fun (k, v) -> (k, v ^ "!")) l1 |> List.sort Pervasives.compare) \
|> T.to_list |> List.sort Pervasives.compare =\ (T.map (fun v -> v ^ "!") t1 \
List.map (fun (k, v) -> (k, v ^ "!")) l1 |> List.sort Pervasives.compare |> T.to_list |> List.sort Pervasives.compare)
*) *)