Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001226OCamlOCaml generalpublic2002-07-08 14:442002-07-18 10:46
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001226: Cvs: Coercion et methode polymorphe
DescriptionFull_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 ?

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker