Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005881OCamldocumentationpublic2013-01-10 06:252015-12-11 19:18
Assigned Togarrigue 
StatusclosedResolutionno change required 
PlatformMacOSOS XOS Version10.7.5
Product Version4.00.1 
Target VersionFixed in Version 
Summary0005881: -rectypes no longer required, Manual lags.
DescriptionThe 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 Reproducetype 'a lst = NIL | C of 'a * 'a lst;;
C (3.3, C (2.3, NIL));;
Additional InformationSee [^]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
garrigue (manager)
2013-01-10 07:55

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.

- Issue History
Date Modified Username Field Change
2013-01-10 06:25 norm New Issue
2013-01-10 07:55 garrigue Note Added: 0008731
2013-01-10 07:55 garrigue Status new => resolved
2013-01-10 07:55 garrigue Resolution open => no change required
2013-01-10 07:55 garrigue Assigned To => garrigue
2015-12-11 19:18 xleroy Status resolved => closed
2017-02-23 16:35 doligez Category OCaml documentation => Documentation
2017-02-23 16:44 doligez Category Documentation => documentation

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker