0001403: labels optionels et inclusion de type

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001403

OCaml

OCaml general

public

2002-09-22 20:56

2002-09-26 11:15

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

0001403: labels optionels et inclusion de type

Description

Full_Name: Laurent MAGDELAINE
Version: 3.04
OS: Redhat 6.2
Submission from: nas-cbv-10-62-147-123-65.dial.proxad.net (62.147.123.65)

Je ne pense pas que ce soit un bug, tout au plus un comportement
que j'aurai souhaité au niveau de l'inclusion de type.
J'ignore si cela est faisable, ou même souhaitable.

Un petit exemple vaut mieux qu'un long discour :

module type TEST1 = sig
  val add : ?n:int -> int -> int
end

module type TEST2 = sig
  val add : n:int -> int -> int
end

module Test = struct
  let add ?(n=1) x = x + n
end

module Test1 = (Test:TEST1)
(* Là pas de problème bien sûr ! *)

module Test2 = (Test:TEST2)

(**
value do not match:
  val add : ?n:int -> int -> int
is not included in
  val add : n:int -> int -> int
**)

Ici par contre, il n'y a pas inclusion.

Voila, c'est tout, merci d'avance pour votre réponse.

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.