Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003723OCamlOCaml generalpublic2005-07-15 05:062016-12-07 18:50
Reporteradministrator 
Assigned Todoligez 
PrioritynormalSeverityfeatureReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003723: Suggestion for built in constructors
DescriptionFull_Name: Ethan Aubin
Version: 3.07+2 and 3.08.3
OS: solaris/linux
Submission from: c-24-60-21-144.hsd1.ma.comcast.net (24.60.21.144)


Hi, I discovered that true/false/()/[] are treated like built-in constant
constructors.
(I accidentally typed 'type u = ()' instead of 'type u = unit'.)

Ocaml allows me to use 3 of these constructors in new type:

  type t = true
  type f = false
  type u = ()

but

  type l = []

fails with a parse error. Do people actually reuse these constructors? Maybe
their use on the rhs of a type decl could be deprecated or removed in 3.09?
Cheers - ethan.aubin@pobox.com

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0016799)
shinwell (developer)
2016-12-07 18:50

The example now works (I think possibly due to https://github.com/ocaml/ocaml/pull/234 [^])

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-09-03 16:07 doligez Assigned To => doligez
2013-09-03 16:07 doligez Status acknowledged => confirmed
2016-12-07 18:50 shinwell Note Added: 0016799
2016-12-07 18:50 shinwell Status confirmed => resolved
2016-12-07 18:50 shinwell Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker