Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001629OCaml-OCaml generalpublic2003-04-11 07:262016-12-06 21:53
Reporteradministrator 
Assigned Toshinwell 
PrioritynormalSeverityfeatureReproducibilityalways
StatusresolvedResolutionno change required 
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
(0016663)
shinwell (developer)
2016-12-06 21:52

I think the same effect can be achieved using type-directed disambiguation.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2016-12-06 21:52 shinwell Note Added: 0016663
2016-12-06 21:53 shinwell Status acknowledged => resolved
2016-12-06 21:53 shinwell Resolution open => no change required
2016-12-06 21:53 shinwell Assigned To => shinwell
2017-02-23 16:36 doligez Category OCaml general => -OCaml general


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker