transform ocaml pervasives interfaces to reason correctly

[GuillaumeSalles]

Currently on master:

$ echo "val ( = ) : 'a -> 'a -> bool" | refmt --parse=ml --print=re --interface=true

Actual result

let (=): ('a, 'a) => bool;

Expected result

let (==): 'a => 'a => bool;

I think there is 2 issues here :

• (=) should mapped to (==)
• 'a -> 'a should not become a tupple

This PR fixes only the first one. The second one seems to be a regression.

Currently the Pervasives reason documentation page is misleading and I think this PR will fix it. E.g. https://reasonml.github.io/api/Pervasives.html#VAL(=)

And probably that one too #1427

I'm still a new to OCaml / Reason so feel free to tell me if I misunderstood something.

[facebook-github-bot]

Thank you for your pull request and welcome to our community. We require contributors to sign our Contributor License Agreement, and we don't seem to have you on file. In order for us to review and merge your code, please sign up at https://code.facebook.com/cla. If you are contributing on behalf of someone else (eg your employer), the individual CLA may not be sufficient and your employer may need the corporate CLA signed.

If you have received this in error or have any questions, please contact us at cla@fb.com. Thanks!

[facebook-github-bot]

Thank you for signing our Contributor License Agreement. We can now accept your code for this (and any) Facebook open source project. Thanks!

[hcarty]

This looks like it may fix #1427 - thank you!

The tuple-looking syntax is due to a major syntax change in master. See #1299 for more details.

[GuillaumeSalles]

The tuple-looking syntax is due to a major syntax change in master. See #1299 for more details.

Oh I see! Thanks for the info.

[chenglou]

Looks good! Thanks, I'll merge it. This indeed fixes #1427.

You can map over signature_item directly btw: http://caml.inria.fr/pub/docs/manual-ocaml/libref/Ast_mapper.html#TYPEmapper

No need to pick signature then do List.map on it yourself. I'll correct it.