Re: module aggregation

[Bernd Grobauer <grobauer@boole.lmf-di.puc-rio.br>]

[-- Attachment #1: Type: text/plain, Size: 1025 bytes --]

Wolfgang Lux <lux@heidelbg.ibm.com> writes:
>
>> I want to aggregate two modules in one in order
>> to improve some standard modules or some module
>> define by functors . How can I do this in Ocaml ? 
>> 
>
>This answer is very simple: You cannot.
>
>The only way to achieve your goal would be to define a new module,
>copy all values of the module M1 you want to preserve and then add or
>change those values which you do not want to include from M1 or add to
>M1.

Some time ago I was wondering about something kind of equivalent to this problem, regarding module
types:   including an already defined module type in order to keep module types more
readable,  instead of copying all the definitions already made. For example in ML
I could write something like

module type ExtendedList =
 sig
   include ListType
   split::  ('a -> boole) -> 'a list -> 'alist * 'alist
end;;

There is no such thing include in the OCAML-language. Is this because it is incompatible with the type system?

Bernd

[-- Attachment #2: Type: text/enriched, Size: 1072 bytes --]

Wolfgang Lux <<lux@heidelbg.ibm.com> writes:

>

>> I want to aggregate two modules in one in order

>> to improve some standard modules or some module

>> define by functors . How can I do this in Ocaml ? 

>> 

>

>This answer is very simple: You cannot.

>

>The only way to achieve your goal would be to define a new module,

>copy all values of the module M1 you want to preserve and then add or

>change those values which you do not want to include from M1 or add to

>M1.


Some time ago I was wondering about something kind of equivalent to this problem, regarding module

types:   including an already defined module type in order to keep module types more

readable,  instead of copying all the definitions already made. For example in ML

I could write something like


module type ExtendedList =

 sig

   include ListType

   split::  ('a -> boole) -> 'a list -> 'alist * 'alist

end;;


There is no such thing include in the OCAML-language. Is this because it is incompatible with the type system?


Bernd