* Interface manipulation patches @ 2007-07-18 14:24 Chris King 2007-07-18 17:30 ` [Caml-list] " Vincent Aravantinos 0 siblings, 1 reply; 2+ messages in thread From: Chris King @ 2007-07-18 14:24 UTC (permalink / raw) To: Caml List Back in December Piotr Wieczorek sent a couple patches for the O'Caml compiler to the mailing list [1]. They dealt mostly with manipulating interfaces, in particular adding the ability to 1) "export" a module when packing 2) treat .cmis as module types 3) import interfaces sans selected fields 4) retype .cmo files These patches are great for a library developer... in the library I am currently developing (O'Caml RT) I have an immediate use for (1), (3), and (4), and I have had a need for (2) in the past. I'm wondering if these patches have been considered for inclusion in the official O'Caml tree, and, if not, what it would take to get them included. - Chris [1] http://caml.inria.fr/pub/ml-archives/caml-list/2006/12/c7461312202053f2213a9bb33206fcb8.en.html ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Interface manipulation patches 2007-07-18 14:24 Interface manipulation patches Chris King @ 2007-07-18 17:30 ` Vincent Aravantinos 0 siblings, 0 replies; 2+ messages in thread From: Vincent Aravantinos @ 2007-07-18 17:30 UTC (permalink / raw) To: Caml List Le 18 juil. 07 à 16:24, Chris King a écrit : > Back in December Piotr Wieczorek sent a couple patches for the O'Caml > compiler to the mailing list [1]. They dealt mostly with manipulating > interfaces, in particular adding the ability to > > 1) "export" a module when packing > 2) treat .cmis as module types > 3) import interfaces sans selected fields > 4) retype .cmo files > > These patches are great for a library developer... in the library I am > currently developing (O'Caml RT) I have an immediate use for (1), (3), > and (4), and I have had a need for (2) in the past. > > I'm wondering if these patches have been considered for inclusion in > the official O'Caml tree, and, if not, what it would take to get them > included. > > - Chris > > [1] http://caml.inria.fr/pub/ml-archives/caml-list/2006/12/ > c7461312202053f2213a9bb33206fcb8.en.html > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs Would be very nice indeed ! I love (3)... -- Vincent Aravantinos PhD Student in Computer Science LIG - CAPP Team ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2007-07-18 17:30 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2007-07-18 14:24 Interface manipulation patches Chris King 2007-07-18 17:30 ` [Caml-list] " Vincent Aravantinos
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox