[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