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: 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));;
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.
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
The text was updated successfully, but these errors were encountered: