Interface manipulation patches

Interface manipulation patches

[Chris King]

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

Re: [Caml-list] Interface manipulation patches

[Vincent Aravantinos]

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

Re: [Caml-list] Interface manipulation patches

[Vincent Aravantinos]

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.

Would be very nice indeed ! I love (3)...

--
Vincent Aravantinos
PhD Student in Computer Science
LIG - CAPP Team