0003723: Suggestion for built in constructors

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003723

OCaml

OCaml general

public

2005-07-15 05:06

2005-07-15 07:29

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0003723: Suggestion for built in constructors

Description

Full_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

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.