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

Documentation bug (Was Re: [Caml-list] OCaml 3.05 released) #3470

Closed
vicuna opened this issue Jul 29, 2002 · 2 comments
Closed

Documentation bug (Was Re: [Caml-list] OCaml 3.05 released) #3470

vicuna opened this issue Jul 29, 2002 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Jul 29, 2002

Original bug ID: 1270
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Xavier Leroy writes:

Version 3.05 of the Objective Caml system is now available from

    http://caml.inria.fr/ocaml/distrib.html

The main novelty in this release is the addition of first-class
polymorphism for methods and record fields.

Great news, thanks! Now you guys can remove this line

  The best solution would be to make method fold polymorphic. However, 
  OCaml does not currently allow methods to be polymorphic. Thus, the 
  current solution is to leave the function fold outside of the class. 

and add some more interesting documentation to

from http://caml.inria.fr/ocaml/htmlman/manual007.html

-- Brian

@vicuna
Copy link
Author

vicuna commented Jul 31, 2002

Comment author: administrator

Dear Brian,

Great news, thanks! Now you guys can remove this line

  The best solution would be to make method fold polymorphic. However, 
  OCaml does not currently allow methods to be polymorphic. Thus, the 
  current solution is to leave the function fold outside of the class. 

and add some more interesting documentation to
from http://caml.inria.fr/ocaml/htmlman/manual007.html

Well spotted! Will do as you suggest.

Cheers,

  • Xavier Leroy

@vicuna
Copy link
Author

vicuna commented Jul 31, 2002

Comment author: administrator

Fixed 2002-07-30 by XL

@vicuna vicuna closed this as completed Jul 31, 2002
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant