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

Erik Zuurbier erik.zuurbier at tiscali.nl
Tue Feb 22 11:00:50 MET 2005


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




_____________________________________________________________________

Je eigen persoonlijk e-mailadres bij Tiscali? Registreer nu 
een domeinnaam bij Tiscali. Ga naar http://www.tiscali.nl






More information about the clean-list mailing list