[Caml-list] Re: How to add a hook to Stream.junk?

[bobzhang <bobzhang1988@gmail.com>]

On 11/20/12 10:34 PM, Wojciech Meyer wrote:
> Francois Berenger <berenger@riken.jp> writes:
>
>> Why the need for module type of and all?
>>
>> Why not simply:
>>
>> module MyStream = struct
>>    include Stream
>>    let junk =
>>      failwith "put your code here"
>> end;;
>
> Yes you could also do through a functor application.
>
> module MyStream(H : sig val junk_hook : unit -> unit end) =
> struct
>    include Stream
>    let junk stream =
>       H.junk_hook ();
>       junk stream
> end
neither works.
functor approach, as I pointed out, stream specialized on char.
overshadowing junk does not work
   a. it's not late binding, existing definitions will not be shadowed
   b. type does not check...
>
>
> --
> Wojciech Meyer
> http://danmey.org
>