You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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.
The text was updated successfully, but these errors were encountered: