[cvs-nhc98] patch applied (hat): Hide away top-level identifier bit in basic c interface: hatinterface.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:08:35 EDT 2006


Thu Oct 11 10:12:48 PDT 2001  thorsten
  * Hide away top-level identifier bit in basic c interface: hatinterface.
  Treat as normal Identifier
  with additional information in the node. This avoids modifying
  observe/algorithmic debugging tools and Haskell representation
  of Redex Trail.

    M ./src/hattools/Expressions.c -10 +2
    M ./src/hattools/HatDetect.hs -3 +4
    M ./src/hattools/HatObserve.hs -17 +18
    M ./src/hattools/Hatdetect.hs -3 +4
    M ./src/hattools/Hatobserve.hs -17 +18
    M ./src/hattools/Makefile -1 +1
    M ./src/hattools/hat-checki.c -7 +5
    M ./src/hattools/hatinterface.c -13 +11
    M ./src/hattools/observeutils.c -7 +3


More information about the Cvs-nhc98 mailing list