Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000479OCamlOCaml generalpublic2001-08-10 00:242001-08-13 11:23
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000479: Bug dans la doc
DescriptionBonjour,

un feature wish qui se transforme en bug report ...
Je voulais pouvoir donner des contraintes dans les inclusions de types de
modules:

  include X with module Y = Z

mais le manuel semble indiquer que c'est impossible:

The expression include modtype-path in a signature performs textual
inclusion of the components of the signature denoted by modtype-path. It
behaves as if the components of the included signature were copied at the
location of the include. _The modtype-path argument must refer to a module
type that is a signature,_

(http://caml.inria.fr/ocaml/htmlman/manual017.html [^])

Je souligne la phrase problématique (le paragraphe se termine sur cette
virgule); en fait, il semble que ça marche bien avec n'importe quel type
de module.


Cordialement,

Alain Frisch

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000643)
administrator (administrator)
2001-08-13 11:21

Bonjour Alain,

> un feature wish qui se transforme en bug report ...
> Je voulais pouvoir donner des contraintes dans les inclusions de types de
> modules:
>
> include X with module Y = Z
>
> mais le manuel semble indiquer que c'est impossible:

Tu as raison, le manuel est trop restrictif, l'exemple ci-dessus
marche très bien.

> Je souligne la phrase problématique (le paragraphe se termine sur cette
> virgule); en fait, il semble que ça marche bien avec n'importe quel type
> de module.

Pas tout à fait: il faut que le type de module se réduise en une
signature, si c'est un type de foncteur ça ne marche pas (évidemment).

Je corrige la doc de ce pas.

- Xavier

(0000644)
administrator (administrator)
2001-08-13 11:23

Documentation fixed 2001-08-13 by XL.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker