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: 1226 Reporter: administrator Assigned to:@garrigue Status: closed (set by @garrigue on 2016-12-08T07:45:58Z) Resolution: not a bug Priority: normal Severity: feature Category: typing Monitored by: vanicat
object
method virtual foo : 'a . 'a -> 'a
method foo x = x
end;;
et une fonction comme celle ci:
let f x = x #foo;;
alors je n'ai trouvé aucune façon d'utiliser la fonction f sur un objet de la
class
bar. Ne serais-t-il pas souhaitable de pouvoir faire une coercion d'un type
polymorphe
vers un type monomorphe ?
The text was updated successfully, but these errors were encountered:
Original bug ID: 1226
Reporter: administrator
Assigned to: @garrigue
Status: closed (set by @garrigue on 2016-12-08T07:45:58Z)
Resolution: not a bug
Priority: normal
Severity: feature
Category: typing
Monitored by: vanicat
Bug description
Full_Name: Vanicat Rémi
Version: 3.04+15 (2002-06-18)
OS:
Submission from: ca-bordeaux-9-157.abo.wanadoo.fr (80.8.81.157)
Si on a un object comme celui ci :
class bar =
object
method virtual foo : 'a . 'a -> 'a
method foo x = x
end;;
et une fonction comme celle ci:
let f x = x #foo;;
alors je n'ai trouvé aucune façon d'utiliser la fonction f sur un objet de la
class
bar. Ne serais-t-il pas souhaitable de pouvoir faire une coercion d'un type
polymorphe
vers un type monomorphe ?
The text was updated successfully, but these errors were encountered: