Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001226OCamltypingpublic2002-07-08 14:442016-12-08 08:45
Reporteradministrator 
Assigned Togarrigue 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionno change required 
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
(0016815)
garrigue (manager)
2016-12-08 08:45

C'est possible depuis une dizaine d'années je crois:

f (new bar : <foo : 'a. 'a -> 'a; ..> :> <foo : 'a -> 'a >);;

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2016-12-07 17:33 shinwell Category OCaml general => OCaml typing
2016-12-07 17:33 shinwell Description Updated View Revisions
2016-12-08 08:45 garrigue Note Added: 0016815
2016-12-08 08:45 garrigue Status acknowledged => closed
2016-12-08 08:45 garrigue Assigned To => garrigue
2016-12-08 08:45 garrigue Resolution open => no change required
2017-02-23 16:45 doligez Category OCaml typing => typing


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker