<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7226.0">
<TITLE>combin two library versions in one executable?</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/rtf format -->
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">Dear Cleaners,</FONT></SPAN>
</P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">I have a libray version that I consider semantically correct (actually it is a parser combinator library), but it is not optimally efficient.</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">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?</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">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.</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">In Clean I see the following options:</FONT></SPAN>
<BR><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">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.</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">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.</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">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.</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">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?</FONT></SPAN></P>
<P><SPAN LANG="en-us"><FONT SIZE=2 FACE="Arial">Regards Erik Zuurbier</FONT></SPAN>
</P>
<BR>
<BR>
</BODY>
</HTML>