0005881: -rectypes no longer required, Manual lags. - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005881

OCaml

OCaml documentation

public

2013-01-10 06:25

2013-01-10 07:55

Reporter

norm

Assigned To

garrigue

Priority

normal

Severity

minor

Reproducibility

N/A

Status

resolved

Resolution

no change required

Platform

Mac

OS

OS X

OS Version

10.7.5

Product Version

4.00.1

Target Version

Fixed in Version

Summary

0005881: -rectypes no longer required, Manual lags.

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 [^]

Tags

No tags attached.

Relationships

Notes
(0008731) 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

Copyright © 2000 - 2011 MantisBT Group