From: Bardur A. <oca...@sc...> - 2004-08-14 08:31:44
|
On Sat, Aug 14, 2004 at 10:13:48AM +0200, Markus Mottl wrote: > On Sat, 14 Aug 2004, Bardur Arantsson wrote: > > I guess we could just provide an OptParser module which > > uses the "default" formatter automatically and provide > > "another" OptParserWithFormatter module which takes a > > Formatter "parameter". > > > > Any objection to that? > > No, that was exactly what I had in mind. I thought so :). I've now finished the functorization itself, but for the life of me I can't find the proper syntax/whatever to declare the "defaulted" OptParser module. Maybe someone can shed some light on this: I'm using the following declarations in the .mli file: module type Formatter = sig val hello_world : unit -> unit end module StdFormatter : Formatter module OptParserWithFormatter (F:Formatter) : sig val say : unit -> unit (** This may call F.hello_world at some point... *) end what I want now is to declare the "default" OptParser as an OptParserWithFormatter with F=StdFormatter. I've tried various things, but OCaml just keeps telling me that "OptParserWithFormatter" is unbound...? -- Bardur Arantsson <ba...@im...> <ba...@sc...> - BART! Stop pestering Satan! Marge Simpson | The Simpsons |