[clean-list] Combine two library versions in one executable?

[Tomasz Zielonka]

On Tue, Feb 22, 2005 at 12:07:49PM +0100, Tomasz Zielonka wrote:
> On Tue, Feb 22, 2005 at 11:00:50AM +0100, Erik Zuurbier wrote:
> > Dear Cleaners,
> > 
> > I have a libray version that I consider semantically correct (actually it
> > is a parser combinator library), but it is not optimally efficient.
> > 
> > And then I have a second version that exports exactly the same functions
> > and types. This version is faster but considerably more complicated. But
> > is it semantically correct?
> > 
> > I would like to test that by running a number of actual parsers, each compiled
> > twice - with both library versions. Then I would like to compare the results
> > and list the differences. Call it model checking if you like.
> > 
> > In Clean I see the following options:
> > [...]
> 
> 4) Introduce a third parser type with combinators that build both types
>    of parsers. I managed to do something like this in Haskell for two
>    libraries of monadic parser combinators - see the attached example.

It seems that I misunderstood your basic problem - bringing both
versions of the library into scope. I hope my suggestion will be helpful
anyway.

Best regards
Tomasz