Original bug ID: 7403
Reporter: talex
Assigned to: @gasche
Status: resolved (set by @gasche on 2016-11-07T19:34:09Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 4.04.0
Fixed in version: 4.04.1+dev
Category: standard library

Bug description

There seems to be a bug in the new Set.map in 4.04.

I think perhaps the two v variables here should be v':

Steps to reproduce

module S = Set.Make(String)

let f = function
| "b" -> "z"
| x -> x

let () =
let a = S.of_list ["b"; "a"; "c"] in
let b = S.map f a in
print_endline "Elements of b:";
S.iter (Printf.printf "- %s\n") b;
let b_has x =
Printf.printf "%S in b = %b\n" x (S.mem x b) in
List.iter b_has ["a"; "b"; "c"; "z"]

Produces:

Elements of b:

• a
• z
• c
  "a" in b = true
  "b" in b = false
  "c" in b = false
  "z" in b = true