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: 1744 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Boris Yakobowski
Version: 3.06+37
OS: Linux
Submission from: lcultra.macs.hw.ac.uk (137.195.27.64)
Il semble qu'il y ait une régression involontaire au niveau de ce qui est
accepté par le typeur en types polymorphes :
boris@elrond ~
$ ledit ocaml
Objective Caml version 3.06+37 (2003-06-30)
type 'a t = 'a;;
type 'a t = 'a
type 'a u = A of 'a t;;
Constraints are not satisfied in this type.
Type 'a t should be an instance of 'b t
Amicalement,
--
Boris Yakobowski
The text was updated successfully, but these errors were encountered:
Il semble qu'il y ait une regression involontaire au niveau de ce qui est
accepte' par le typeur en types polymorphes :
Merci pour ce rapport. Il s'agissait en effet d'un oubli stupide.
C'est maintenant corrige'.
(Ca peut prendre un petit moment a` apparaitre sur camlcvs.
typing/ctype.{ml,mli} sont modifies)
Original bug ID: 1744
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Boris Yakobowski
Version: 3.06+37
OS: Linux
Submission from: lcultra.macs.hw.ac.uk (137.195.27.64)
Il semble qu'il y ait une régression involontaire au niveau de ce qui est
accepté par le typeur en types polymorphes :
boris@elrond ~
$ ledit ocaml
Objective Caml version 3.06+37 (2003-06-30)
type 'a t = 'a;;
type 'a t = 'a
type 'a u = A of 'a t;;
Constraints are not satisfied in this type.
Type 'a t should be an instance of 'b t
Amicalement,
--
Boris Yakobowski
The text was updated successfully, but these errors were encountered: