- Cvs-nhc98 - Haskell.org

patch applied (hat): Comment out the Hat versions of unlinesPS, unwordsPS, joinPS,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 03:38:22 PDT 2003 malcolm * Comment out the Hat versions of unlinesPS, unwordsPS, joinPS, because the released versions of ghc/nhc98 do not yet support them. M ./src/hatlib/Data/PackedString.hs +9

1 0

patch applied (hat): Correct bug in parent of traced application demanded by trusted function.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 03:12:08 PDT 2003 olaf * Correct bug in parent of traced application demanded by trusted function. For example for main = print xs xs :: [Int] xs = map g [1,2,3] g x = 2 * x hat-trail showed Output: ----------------------------------------------------------------------- [2,4,6]\n Trail: ------- no src reference ----------------------------------------------- <- print [2,4,6] <- 2 * 1 <- g 1 <- xs That is, the parent of the traced application "g 1" is not as expected the application of the trusted function "map". The fault was an incorrect definition of the funi combinators, using the function parent as parent for the application instead of the context parent. Now it works correctly: Output: ----------------------------------------------------------------------- [2,4,6]\n Trail: ------- no src reference ----------------------------------------------- <- print [2,4,6] <- 2 * 1 <- g 1 <- map g [1,2,3] <- xs M ./src/hatlib/Hat/Hat.hs -15 +15

1 0

patch applied (hat): Add Control.Monad.Identity to the hat libraries (requested by Mark Carroll).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Apr 25 03:05:15 PDT 2003 malcolm * Add Control.Monad.Identity to the hat libraries (requested by Mark Carroll). A ./src/hatlib/Control/Monad/Identity.hs M ./src/hatlib/Makefile +1

1 0

patch applied (hat): Cover the case when a type synonym T is imported/exported with the T(..)
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 24 09:07:13 PDT 2003 malcolm * Cover the case when a type synonym T is imported/exported with the T(..) syntax. Treat it the same as when the entity is referred to as T or T(). M ./src/hattrans/TraceTrans.hs -3 +9

1 0

patch applied (hat): Correct bug in expansion of type synonyms of hat-trans.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 24 08:57:15 PDT 2003 olaf * Correct bug in expansion of type synonyms of hat-trans. Malcolm Wallace reported the following bug: ----Id.hs---- module Id (Id) where type Id = Int ----Bug.hs---- module Bug where import Id type Foo = ((Bool,Char) -> Id) Try "hmake -hat Bug", and you will see the compiler error message Type constructor Id___1 used at 13:16 is not defined. The hat-trans'd files look like this: ----Hat/Id.hs---- ... type Id = Int ----Hat/Bug.hs---- ... type Foo = T.Fun (T.Tuple2 Bool Char) Id type Foo___1 = T.Tuple2 Bool Char type Foo___2 = Id___1 and clearly the module Hat.Id does not define Id___1. The problem was that the type synonyms that might need expansion because they occur right of the function arrow are always expanded, even if their definition does not contain any function arrows. Restricting the type synonym expansion was very easy (however, required two changes of a nearly duplicated function; because of the duplication problem for interface files and the actual transformation). M ./src/hattrans/AuxFile.hs -1 +1 M ./src/hattrans/TraceId.hs -1 +1

1 0

patch applied (hat): Add instances of Data.Bits.Bits for Int/Word[8, 16, 32, 64] in a different
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 24 05:25:27 PDT 2003 malcolm * Add instances of Data.Bits.Bits for Int/Word[8,16,32,64] in a different way. The module Data.Bits is only available from the base package, which is normally added to the link line *before* the standard libraries, hence if the instances are in the latter, you get link errors. So move the instances into the base package where they belong, in NHC.SizedTypes. M ./script/pkgdirlist -1 +1

1 0

patch applied (hat): Correct bug in handling of imports.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 23 11:21:30 PDT 2003 olaf * Correct bug in handling of imports. Hat-trans has to add an "import qualified PreludeBasic" to any transformed module (except the Prelude modules), because some of these identifiers are used in transformed code, in particular in derived instances. This import is now only added as a last step before pretty-printing. Before it was done before the reading of interface files. As a result the PreludeBasic.hx file was always processed neadlessly and because the renaming phase does not complain if an identifier of a qualified import is referred to unqualified, we also imported unwanted identifiers. In a recent bug report Stephen Pitts complained that the transformed Edison library does not compile. Basically it contains import Prelude hiding (reverse) class Sequence s where reverse :: s a -> s a and unfortunately the superfluous import of PreludeBasic caused hat-trans to consider reverse as the reverse from PreludeBasic. So reverse was annotated as being of arity 0, leading to later problems. This bug fix fixes the Edison example. It does not quite solve the whole problem, because Haskell does not require the hiding of reverse. But I believe it solves all realistic examples. M ./src/hattrans/HatTrans.hs -12 +23

1 0

patch applied (hat): comment wibble only
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 23 09:40:10 PDT 2003 malcolm * comment wibble only M ./src/hattools/Trie.hs -1 +1

1 0

patch applied (hat): Refactor all the common user-interface options into a separate module,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Apr 16 08:54:05 PDT 2003 malcolm * Refactor all the common user-interface options into a separate module, CommonUI. This reduces code duplication, and should help to ensure that the various hat tools do not drift apart. A ./src/hattools/CommonUI.hs M ./src/hattools/HatObserve.hs -179 +48 M ./src/hattools/HatTrail.hs -94 +50 M ./src/hattools/Makefile -3 +10 M ./src/hattools/SExp.hs -8 +15

1 0

patch applied (hat): Add instances of Eq, Ord, Show, for tracing version of PackedString.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Apr 3 07:29:56 PST 2003 malcolm * Add instances of Eq, Ord, Show, for tracing version of PackedString. M ./src/hatlib/Data/PackedString.hs +15

1 0