You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 479 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
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,
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
The text was updated successfully, but these errors were encountered:
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).
Original bug ID: 479
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
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
The text was updated successfully, but these errors were encountered: