Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001629OCamlOCaml generalpublic2003-04-11 07:262003-05-05 16:56
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001629: Wish : open type
DescriptionFull_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

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker