[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