[cvs-nhc98] patch applied (hat): Replace GTree (from glib) with
FiniteMap (implemented locally), if
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:26:20 EDT 2006
Mon Jan 12 10:07:33 PST 2004 malcolm
* Replace GTree (from glib) with FiniteMap (implemented locally), if
the third-party library glib is not available. FiniteMap is based
on the ghc implementation of balanced trees in Data.FiniteMap, but
this C version appears to be ~50% slower than GTree.
M ./src/hattools/Makefile -9 +9
A ./src/hattools/finitemap.c
A ./src/hattools/finitemap.h
M ./src/hattools/hat-names.c -42 +41
M ./src/hattools/observeutils.c -38 +47
M ./src/hattools/observeutils.h -2 +2
More information about the Cvs-nhc98
mailing list