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

[Erik Zuurbier]

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:
1) Actually compile the testware twice - with different path settings
and have them write the results to two files (possibly with Dynamics).
Then compare the two files with a third program.
2) Instead of files, somehow use messaging to feed parse results to the
comparison program. This may be a bit more complicated, but it does not
require disk space proportional to the test set size.
3) Rename all the exported items of one of the library versions, so both
versions can be imported into one comparision-program. Formulate two
versions of each actual parser to be tested.

Neither of these options attract me very much. Is there some way
(fiddling with the path settings?) to combine two versions of a library
into one executable?

Regards Erik Zuurbier



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20050222/bc9221d7/attachment-0001.html