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

-rectypes no longer required, Manual lags. #5881

Closed
vicuna opened this issue Jan 10, 2013 · 1 comment
Closed

-rectypes no longer required, Manual lags. #5881

vicuna opened this issue Jan 10, 2013 · 1 comment
Assignees

Comments

@vicuna
Copy link

vicuna commented Jan 10, 2013

Original bug ID: 5881
Reporter: norm
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:18:21Z)
Resolution: not a bug
Priority: normal
Severity: minor
Platform: Mac
OS: OS X
OS Version: 10.7.5
Version: 4.00.1
Category: documentation

Bug description

The code below works. I think that it once required ocaml -rectypes. The manual says that it is still required. The manual and 4.00.1 OCaml are out of sync. I suppose that the option should be retained but described as vestigial.

Steps to reproduce

type 'a lst = NIL | C of 'a * 'a lst;;
C (3.3, C (2.3, NIL));;

Additional information

See http://cap-lore.com/Languages/ocaml/bugs/f.html

@vicuna
Copy link
Author

vicuna commented Jan 10, 2013

Comment author: @garrigue

There is a misunderstanding here.
The term "recursive type" stands for a structural recursive type,
such as ((int * 'a) as 'a). Such type requires the -rectypes flag.
This is not to be confused with recursive datatypes, which are
part of the original language specification, and of course require
no specific flag.

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