Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000492OCamlOCaml generalpublic2001-08-22 13:412001-08-24 01:20
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000492: Weird polymorphic variants behaviour
DescriptionBonjour,

je suis pas certain que ce soit un bug, mais je trouve le comportement
assez étrange :

le morceau de code suivant compile bien quand il est un fichier .ml
sans fichier .mli .

<<<<<<
class type ['a] renderer =
  object
    constraint 'a = [< `A of unit | `B]
    method set_style : 'a -> unit
  end

class type ['a] component =
  object
    method add_style : 'a -> unit
    method draw : 'a renderer -> unit
  end
>>>>>>

 $ ocamlc -c t.ml
 $

Par contre :

 $ cp t.ml t.mli
 $ ocamlc t.mli
 $ ocamlc -c t.ml
 The implementation t.ml does not match the interface t.cmi:
 Type declarations do not match:
   type 'a component = < add : 'a -> unit; draw : 'a renderer -> unit >
     constraint 'a = [< `A of unit | `B]
 is not included in
   type 'a component = < add : 'a -> unit; draw : 'a renderer -> unit >
     constraint 'a = [< `A of unit | `B]

Par contre ça marche en utilisant :
  contraint 'a = [< `A | `B]
En supprimant le deuxième class type, ça compile bien également.

Je vois pas bien pourquoi le fait d'utiliser un variant avec
contructeur pose un problème (et le message d'erreur n'aide pas trop).

        Olivier

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000649)
administrator (administrator)
2001-08-24 01:20

> je suis pas certain que ce soit un bug, mais je trouve le comportement
> assez etrange :

C'est bien un bug. Ou plutot un oubli.
C'est maintenant corrige' en CVS.
Bon camlage, et merci pour ce rapport

    Jacques Garrigue
(0000650)
administrator (administrator)
2001-08-24 01:20

Fixed byg JG. (2001-08-24)

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker