Bonjour,

J'utilise la version 3.04 de caml.
Je veux utiliser des enregistrements dont certains
des champs portent le meme nom. Cela ne fonctionne pas.
Ainsi:

<cime:479> ./ocaml
        Objective Caml version 3.04

# type t1={a:int ; b:int} ;;
type t1 = { a : int; b : int; }
# type t2 = {a:int} ;;
type t2 = { a : int; }
# {a=2} ;;
- : t2 = {a = 2}
# {a=1;b=2} ;;
The record field label b belongs to the type t1
but is here mixed with labels of type t2
#


Il n'y a pourtant aucune ambiguite sur le type de
{a=1;b=2} !
Est-ce un bug connu ?


Frederic Tronel.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr