- Cvs-nhc98 - Haskell.org

patch applied (hat): Fix hmake to work with ghc' s new version numbering scheme.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu May 29 10:33:30 PDT 2003 malcolm * Fix hmake to work with ghc's new version numbering scheme. M ./script/fixghc +5

1 0

patch applied (hat): Make hat-detect work again, using the new file format for hat versions > = 2.00.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun May 4 07:55:43 PDT 2003 malcolm * Make hat-detect work again, using the new file format for hat versions >= 2.00. This preliminary re-implementation of hat-detect is not yet fully featured. It allows answering questions yes or no, but does not yet support "maybe". Nor does it support memoisation of previously-seen answers. However, it does deal (nearly) correctly with asking about the application of trusted functions. A trusted application should not be asked as a question unless it has suspect children - the vast majority of trusted applications do not, but it is expensive to determine accurately. In fact, we use an approximation to determine whether the trusted application has untrusted children. Rather than searching the whole file looking for such children, we reason that the only way for such children to arise is in a higher-order application where the untrusted function is passed as an argument. Thus, when determining the trustedness of the function symbol, we simply extend the check a little to determine the trustedness of all function symbols within the (most evaluated form of the) arguments as well. A ./src/hattools/Detect.hs M ./src/hattools/HatDetect.hs -327 +322 M ./src/hattools/Makefile -35 +33 A ./src/hattools/detectutils.c A ./src/hattools/parentset.c A ./src/hattools/parentset.h

1 0

patch applied (hat): The routine q_skipNode() now returns the parent of the skipped node.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun May 4 07:43:22 PDT 2003 malcolm * The routine q_skipNode() now returns the parent of the skipped node. M ./src/hattools/artutils.c -18 +24 M ./src/hattools/artutils.h -1 +1

1 0

patch applied (hat): Ghc > = 5.04 has the showHex function in the Numeric library.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Sun May 4 07:41:51 PDT 2003 malcolm * Ghc >= 5.04 has the showHex function in the Numeric library. M ./src/hattools/FFIExtensions.hs +4

1 0

patch applied (hat): Correct bugs introduced by previous bug-fixes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Apr 29 08:26:59 PDT 2003 olaf * Correct bugs introduced by previous bug-fixes. Malcolm Wallace reported that the hat-transformed prelude would no longer compile. There were two sorts of errors: Hat/PreludeBuiltin.hs:1: Type constructor or class not in scope: `Char' This was because import of the sort "TraceOrigPrelude" had been dropped by some inappropriate filtering of such imports. Now they are back again. Hat/PreludeBuiltin.hs:108: Variable not in scope: `Prelude.sempty' Calls in instances needed qualification when the class was imported qualified. However, the implementation always qualified the ids; when the class did not have a qualfifier it used Prelude. Now no qualfication happens in such a case. M ./src/hattrans/AuxFile.hs -6 +8 M ./src/hattrans/TraceTrans.hs -1 +3

1 0

patch applied (hat): Correct bugs in hx-file importing and renaming.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Apr 28 02:59:01 PDT 2003 olaf * Correct bugs in hx-file importing and renaming. All the fixes are however rather "hacky" and still leave loopholes. However, knowbody in their right mind should write Haskell programs that fall through the loopholes. Stephen Pitts reported the following problem with the Edison library. Transforming ListSeq and compiling it yields: Hat/ListSeq.hs:493: Ambiguous occurrence `anull' It could refer to either `Hat.ListSeq.anull', defined at Hat/ListSeq.hs:1261 or `Hat.PreludeBasic.anull', imported from Hat.Prelude at Hat/ListSeq.hs:23 ... and Hat/ListSeq.hs:996: Variable not in scope: `ssingle' ... The last errors are cause by code like instance Hat.S.Sequence (T.List) where gempty pempty p = T.constUse pempty p sempty sempty = T.constDef T.mkRoot a254v4empty (\ p -> gempty p254v12 p) The problem is that the class Sequence is only imported qualified, and hence even inside the instance declaration "sempty" is not in scope, only the qualified id "Hat.S.sempty". Now hat-trans qualfies such uses of shared variables with the same module id used in the qualification of the class id. In principal a method could be imported with a different qualifier than the class id... The first sort of error messages is caused by attaching the wrong hx-file information to identifiers in import (especially hiding) lists. First of all attaching of info is now done only with information from imported files, not with information of locally defined identifiers that may hide the imported ones (they do not hide them in the import declarations). Second, information for identifiers in "hiding"-lists should not be imported for attaching information in the program body, but is needed for attaching information to the identifiers in the hiding-list! So hidden identifiers are now imported separately. This is rather inefficient and probably scopes of imported identifiers are still not handled completely correctly. M ./src/hattrans/AuxFile.hs -6 +34 M ./src/hattrans/AuxLabelAST.hs -23 +28 M ./src/hattrans/TraceTrans.hs -10 +32

1 0

patch applied (hat): Remove spurious (non-H' 98) comma in named field structure.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 06:34:44 PDT 2003 malcolm * Remove spurious (non-H'98) comma in named field structure. M ./src/hattools/SExp.hs -2 +2

1 0

patch applied (hat): Add a bunch of libraries that are (mainly) ghc-only, together with an
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 04:25:20 PDT 2003 malcolm * Add a bunch of libraries that are (mainly) ghc-only, together with an appropriate conditional in the Makefile. A ./src/hatlib/Control/Monad/Cont.hs A ./src/hatlib/Control/Monad/Error.hs A ./src/hatlib/Control/Monad/List.hs A ./src/hatlib/Control/Monad/RWS.hs A ./src/hatlib/Control/Monad/Reader.hs A ./src/hatlib/Control/Monad/State.hs A ./src/hatlib/Control/Monad/Trans.hs A ./src/hatlib/Control/Monad/Writer.hs A ./src/hatlib/Data/Monoid.hs M ./src/hatlib/Makefile -22 +18

1 0

patch applied (hat): Time to move the CVS version numbers up to nhc98-1.17 and hat-2.03.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 03:57:46 PDT 2003 malcolm * Time to move the CVS version numbers up to nhc98-1.17 and hat-2.03. M ./Makefile.inc -2 +2

1 0

patch applied (hat): Store the actual value of a PackedString in the .hat file, not an
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 03:39:30 PDT 2003 malcolm * Store the actual value of a PackedString in the .hat file, not an abstract marker that just tells you it is a PS and nothing more. M ./src/hatlib/Hat/Data/PackedStringBuiltin.hs -1 +2

1 0