- Cvs-nhc98 - Haskell.org

patch applied (hat): Added hat-source as new experimental tool for combining hat-detect with source highlighting. Currently only highlights evaluated definition body of " main" . Several small changes in other files to make hat-source. Also slightly improved handling of positions.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 24 11:54:53 PDT 2004 olaf * Added hat-source as new experimental tool for combining hat-detect with source highlighting. Currently only highlights evaluated definition body of "main". Several small changes in other files to make hat-source. Also slightly improved handling of positions. M ./src/compiler98/MkSyntax.hs -2 +6 M ./src/hatlib/Hat/Hat.hs -30 +30 A ./src/hattools/HatExplore.hs M ./src/hattools/LowLevel.hs -1 +9 M ./src/hattools/Makefile -1 +11 M ./src/hattools/artutils.c +102 M ./src/hattools/artutils.h +1 M ./src/hattrans/AuxFixity.hs -2 +2 M ./src/hattrans/TraceTrans.hs -3 +3

1 0

patch applied (hat): Use -fno-warn-duplicate-exports to reduce the output clutter when
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Aug 23 04:03:38 PDT 2004 malcolm * Use -fno-warn-duplicate-exports to reduce the output clutter when building with ghc-6.2.x. (Unfortunately, the same flag seems to turn warnings *on* for ghc-5.04.x, sigh.) M ./src/hatlib/Makefile +1

1 0

patch applied (hat): Determine value of __GLASGOW_HASKELL__ more reliably by invoking ghc.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 18 03:26:18 PDT 2004 malcolm * Determine value of __GLASGOW_HASKELL__ more reliably by invoking ghc. M ./script/confhc-hat -12 +11

1 0

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).
by Malcolm Wallace 10 Oct '06

10 Oct '06

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

1 0

patch applied (hat): Corrected a bug in position of function declarations that define operators.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Aug 2 10:35:39 PDT 2004 olaf * Corrected a bug in position of function declarations that define operators. Also now handle positions of types correctly. The position of TypeCon still only described position of the type construtor, but getPos gives the position of the whole type. M ./src/compiler98/Extra.hs -2 +16 M ./src/compiler98/MkSyntax.hs -1 +2 M ./src/compiler98/Rename.hs -2 +2 M ./src/compiler98/SyntaxPos.hs -1 +3

1 0

patch applied (hat): Completed modification of parser etc to handle extended positions correctly.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Aug 2 07:45:34 PDT 2004 olaf * Completed modification of parser etc to handle extended positions correctly. Surely some cases have been missed, which will be noticed in some time as bugs. Note that the tricky problems mentioned last time (see copy below) still exist. Also, positions of types have been left unchanged. These positions do not appear in error messages and there is again a problem of missing position information: a TypeCon has a position for the type constructor, but not the whole type. Note that the type constructor may actually be positioned between the arguments (->). Some tricky things not yet solved: - some constructs may include optional semicolons or curly brackets, e.g. do { x <- myRead; putStr x; } these are currently not included in the position, so the do expression ends at the last "x". - the syntax does not include enough positions to give positions to everything. E.g. now the position of a function declaration DeclFun describes the full declaration, there is no position for the function variable itself. - some syntactic constructs are immediately desugared, for example list comprehensions; now every component of the translation gets the position of the full list comprehension. This makes it easy to map parts of the syntax tree to the source code, but impossible to map part of the source code uniquely to the part of the syntax tree that describes it completely. So hat-observe will find it hard to give for a marked list comprehension just the values of the full list comprehension, not intermediate internal values. M ./src/compiler98/MkSyntax.hs -7 +36 M ./src/compiler98/Parse.hs -33 +39 M ./src/compiler98/SyntaxPos.hs -1 +6

1 0

patch applied (hat): When printing source positions, avoid inelegant output like
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Aug 2 05:20:20 PDT 2004 malcolm * When printing source positions, avoid inelegant output like 23:12-23:12 and 23:12-0:0 by collapsing both to just 23:12 M ./src/compiler98/Extra.hs -2 +4

1 0

patch applied (hat): Parts of parser and renamer modified to handle extended positions correctly.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jul 30 11:57:25 PDT 2004 olaf * Parts of parser and renamer modified to handle extended positions correctly. This work is not yet complete. Some tricky things not yet solved: - some constructs may include optional semicolons or curly brackets, e.g. do { x <- myRead; putStr x; } these are currently not included in the position, so the do expression ends at the last "x". - the syntax does not include enough positions to give positions to everything. E.g. now the position of a function declaration DeclFun describes the full declaration, there is no position for the function variable itself. - some syntactic constructs are immediately desugared, for example list comprehensions; now every component of the translation gets the position of the full list comprehension. This makes it easy to map parts of the syntax tree to the source code, but impossible to map part of the source code uniquely to the part of the syntax tree that describes it completely. So hat-observe will find it hard to give for a marked list comprehension just the values of the full list comprehension, not intermediate internal values. M ./src/compiler98/Extra.hs +4 M ./src/compiler98/MkSyntax.hs -6 +8 M ./src/compiler98/Parse.hs -8 +13 M ./src/compiler98/Rename.hs -6 +10 M ./src/compiler98/SyntaxPos.hs -73 +63

1 0

patch applied (hat): Modified hat-trans to compile with the new extended position type Pos.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jul 30 06:27:20 PDT 2004 olaf * Modified hat-trans to compile with the new extended position type Pos. However, the additional end line and column of a position are currently ignored. M ./src/hattrans/AuxFixity.hs -1 +1 M ./src/hattrans/TraceTrans.hs -3 +3

1 0

patch applied (hat): Changed output of positions to give both start and end.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Jul 29 10:27:15 PDT 2004 olaf * Changed output of positions to give both start and end. Thus noticed wrong ends of identifiers and numbers and corrected that. M ./src/compiler98/Extra.hs -3 +4 M ./src/compiler98/LexPre.hs -3 +3

1 0