Hi all, I seem to remember some Hugs module with an operation: garbageCollection :: IO () which cleaned up the memory. Now I need it, but I can't find it. Did this function ever exist? Koen. -- Koen Claessen http://www.cs.chalmers.se/~koen phone:+46-31-772 5424 mailto:koen@cs.chalmers.se ----------------------------------------------------- Chalmers University of Technology, Gothenburg, Sweden