Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

French word "disparition" in English documentation #6848

Closed
vicuna opened this issue Apr 26, 2015 · 2 comments
Closed

French word "disparition" in English documentation #6848

vicuna opened this issue Apr 26, 2015 · 2 comments
Assignees

Comments

@vicuna
Copy link

vicuna commented Apr 26, 2015

Original bug ID: 6848
Reporter: mcc
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:49:00Z)
Resolution: fixed
Priority: normal
Severity: text
Version: 4.02.1
Category: documentation

Bug description

In section 7.9.3 of the manual:

"Polymorphic variant types can be refined in two ways, either to allow the addition of new constructors, or to allow the disparition of declared constructors"

"Disparition" is a beautiful word but it is unfortunately not English (it is not listed in dictionary.com or m-w.com). I think a different word is required, as a reader if I cannot look up the words used in the dictionary then I cannot be sure I am correctly interpreting the sentence.

Steps to reproduce

Access http://caml.inria.fr/pub/docs/manual-ocaml/extn.html

Additional information

An alternate acceptable solution for this bug would be to convince modern dictionaries to add "disparition". Apparently it is in the 1913 Webster's.

@vicuna
Copy link
Author

vicuna commented Apr 26, 2015

Comment author: @gasche

Fixed (but will online be online at the next manual upload). You can see the new formulation on the git mirror:

https://github.com/ocaml/ocaml-manual/blob/trunk/manual/refman/exten.etex#L461-L482

@vicuna
Copy link
Author

vicuna commented Apr 26, 2015

Comment author: mcc

New text is much clearer thank you

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants