version skew between GreenCard and hugs

[Antony Courtney]

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