[cvs-nhc98] patch applied (hat): Hatobserve: show observation
results immediately. Avoid showing
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:07:06 EDT 2006
Mon Sep 3 09:08:33 PDT 2001 thorsten
* Hatobserve: show observation results immediately. Avoid showing
less general equations, but only consider equations shown so far,
instead of uniquing entire list before displaying any equation.
M ./src/hattools/HatObserve.hs -52 +39
M ./src/hattools/HatTrace.gc -4 +20
M ./src/hattools/HatTrie.hs -43 +50
M ./src/hattools/Hatobserve.hs -52 +39
M ./src/hattools/hatinterface.c -3 +28
M ./src/hattools/hatinterface.h +3
M ./src/hattools/observeutils.c -30 +39
More information about the Cvs-nhc98
mailing list