[cvs-nhc98] patch applied (hat): 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).
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:28:36 EDT 2006
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
More information about the Cvs-nhc98
mailing list