Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003723OCamlOCaml generalpublic2005-07-15 05:062013-09-03 16:07
Assigned Todoligez 
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: (

Hi, I discovered that true/false/()/[] are treated like built-in constant
(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 = ()


  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 -

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- 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

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker