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: 1196 Reporter: administrator Assigned to:@garrigue Status: closed (set by @garrigue on 2012-07-12T00:08:17Z) Resolution: fixed Priority: normal Severity: minor Target version: 4.01.0+dev Fixed in version: 3.09.0 Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
ceci avait été abordé il y a quelques temps dans la mailing liste;
même si ce genre de foncteur ne peux pas être appliqué (aucun
module ne correspond à l'interface), il semblerait plus normale de
le refuser.
module Blop (M : sig type t end with type t='a constraint 'a = [> A]) : sig val y : [ A] end
= struct let x : M.t = C 1 let y = (x :> [ A]) end
The text was updated successfully, but these errors were encountered:
module type S = sig type t end with type t='a constraint 'a = [> `A];;
module type S = sig type t = [> `A] end
Il me semble que le patch suivant dans Typedecl.transl_with_constraint
resoud le probleme.
Y avait-il une raison pour ne pas le faire jusqu'a` present?
Original bug ID: 1196
Reporter: administrator
Assigned to: @garrigue
Status: closed (set by @garrigue on 2012-07-12T00:08:17Z)
Resolution: fixed
Priority: normal
Severity: minor
Target version: 4.01.0+dev
Fixed in version: 3.09.0
Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
ceci avait été abordé il y a quelques temps dans la mailing liste;
même si ce genre de foncteur ne peux pas être appliqué (aucun
module ne correspond à l'interface), il semblerait plus normale de
le refuser.
module Blop (M : sig type t end with type t='a constraint 'a = [>
A]) : sig val y : [
A] end= struct let x : M.t =
C 1 let y = (x :> [
A]) endThe text was updated successfully, but these errors were encountered: