Wed Aug 4 12:23:54 PDT 2004 olaf * Modified hat-trans and hat-lib to write extended positions into trace file (a second integer for the end position after that of the begin position). Modified hat-tools to work with the new file format. File format has now a new version 2.04, separate from the Hat version. Note that the additional end line and column of a position are still ignored by all tools. Couldn't really test hat-detect and hat-anim, because they only seem to work in special cases (that has not changed through the modification). M ./Makefile.inc +2 M ./src/hatlib/Hat/Hat.hs -34 +38 M ./src/hatlib/Hat/PreludeBuiltinTypes.hs -4 +4 M ./src/hatlib/Makefile -1 +3 M ./src/hatlib/hat-c.c -18 +23 M ./src/hatlib/hat-c.h -5 +6 M ./src/hattools/HatDetect.hs +1 M ./src/hattools/Ident.hs +8 M ./src/hattools/LowLevel.hs +8 M ./src/hattools/Makefile -1 +1 M ./src/hattools/animnode.c -2 +5 M ./src/hattools/artutils.c -9 +77 M ./src/hattools/artutils.h +10 M ./src/hattools/detectutils.c +1 M ./src/hattools/hat-check.c -5 +9 M ./src/hattools/hat-names.c +3 M ./src/hattools/list.c +1 M ./src/hattools/list.h +1 M ./src/hattools/nodehash.c -2 +2 M ./src/hattools/observeutils.c +3 M ./src/hattrans/AuxFixity.hs -7 +7 M ./src/hattrans/TraceTrans.hs -18 +23