0001629: Wish : open type

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001629

OCaml

OCaml general

public

2003-04-11 07:26

2003-05-05 16:56

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

0001629: Wish : open type

Description

Full_Name: Nicolas Cannasse
Version: 3.06
OS: WindowsXP
Submission from: newgw.soba-project.org (219.163.8.177)

Bonjour,

Aprés quelques discutions avec Jacques Garrigue, je me suis dit qu'il serait
interessant de pouvoir ajouter un "open" sur un type. En effet, actuellement, si
je possede un module "M" qui définit un type et plusieures valeurs, j'aimerais
pouvoir utiliser ce type (entendre : ses contructeurs, ou ses champs si c'est un
record) sans pour autant avoir à ouvrir/citer l'intégralité du namespace.

Syntaxe proposée:
open M.t

On peut envisager la même chose pour les exceptions et les valeurs, mais
l'utilisation pratique (et la justification sémantique) est moins évidente.
Cependant avoir un "open" sélectif complet nous permettrait de nous rapprocher
des facilités de java en terme de nommage (une sorte d'équivalent à import, qui
ne justifierai pas d'aprés moi l'introduction d'un nouveau mot-clé)

Nicolas Cannasse

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.