version skew between GreenCard and hugs
Hi, I am currently engaged in a frustrating battle to track down a stray pointer bug in some GreenCard'ed code under Win32. Extremely un-fun. On my system, I currently have installed: Hugs98Feb2001 (from sources) GreenCard 2.01 (from sources) I notice that, for some reason, both GreenCard and hugs include their own versions of "GreenCard.h". (in the "src/" directory for the Hugs distribution, and in "lib/hugs" in the GreenCard distribution). And it turns out that they are different (though it looks like the Hugs version is a strict extension of the GreenCard version). Questions: 1. Why is this source file duplicated? Presumably since the file lives in the "lib/hugs" directory of GreenCard, it is only useful with Hugs anyway. Perhaps GreenCard should just let Hugs own this file. 2. Are there any version compatibility issues to worry about here? I'm a little perplexed as to why the latest release of hugs has a more up-to-date "GreenCard.h" than GreenCard itself. Thanks, -antony -- Antony Courtney Grad. Student, Dept. of Computer Science, Yale University antony@apocalypse.org http://www.apocalypse.org/pub/u/antony
1. Why is this source file duplicated?
For the benefit of those who want to use greencard but don't want to use a source distribution of Hugs. A better solution to this (rather lame) argument would have been adding GreenCard.h to the binary distributions.
2. Are there any version compatibility issues to worry about here?
Hugs uses version numbers for the API that Greencard uses. Greencard currently uses version 2 whilst Hugs supports 2 and 3. There is a dynamic check that the version number is ok. I believe that the check reflects reality - i.e., that it really is ok to use greencard and the greencard-supplied API with a modern version of Hugs.
I'm a little perplexed as to why the latest release of hugs has a more up-to-date "GreenCard.h" than GreenCard itself.
Because GreenCard.h is really a definition of the FFI-support API and the FFI support has been updated much more recently than GreenCard. Perhaps the name of the file should be changed and copies included in binary distributions. -- Alastair Reid ps The CVS repository for Hugs is online so you could track down who is to blame for changes like this. (Me, in this case.)
participants (2)
-
Alastair Reid -
Antony Courtney