April 2003 - Cvs-nhc98

cvs commit: hat/src/hatlib/Data PackedString.hs
by Malcolm Wallace 25 Apr '03

25 Apr '03

malcolm 2003/04/25 03:38:22 PDT Modified files: src/hatlib/Data PackedString.hs Log: Comment out the Hat versions of unlinesPS, unwordsPS, joinPS, because the released versions of ghc/nhc98 do not yet support them. Revision Changes Path 1.3 +9 -0 hat/src/hatlib/Data/PackedString.hs

1 0

cvs commit: hat/src/hatlib/Hat Hat.hs
by olaf＠glass.cse.ogi.edu 25 Apr '03

25 Apr '03

olaf 2003/04/25 03:12:08 PDT Modified files: src/hatlib/Hat Hat.hs Log: 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 Revision Changes Path 1.7 +15 -15 hat/src/hatlib/Hat/Hat.hs

1 0

cvs commit: hat/src/hatlib Makefile
by Malcolm Wallace 25 Apr '03

25 Apr '03

malcolm 2003/04/25 03:05:15 PDT Modified files: src/hatlib Makefile Log: Add Control.Monad.Identity to the hat libraries (requested by Mark Carroll). Revision Changes Path 1.44 +1 -0 hat/src/hatlib/Makefile

1 0

cvs commit: hat/src/hatlib/Control/Monad Identity.hs
by Malcolm Wallace 25 Apr '03

25 Apr '03

malcolm 2003/04/25 03:05:15 PDT Added files: src/hatlib/Control/Monad Identity.hs Log: Add Control.Monad.Identity to the hat libraries (requested by Mark Carroll).

1 0

cvs commit: hat/src/hattrans TraceTrans.hs
by Malcolm Wallace 24 Apr '03

24 Apr '03

malcolm 2003/04/24 09:07:14 PDT Modified files: src/hattrans TraceTrans.hs Log: 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(). Revision Changes Path 1.59 +9 -3 hat/src/hattrans/TraceTrans.hs

1 0

cvs commit: hat/src/hattrans AuxFile.hs TraceId.hs
by olaf＠glass.cse.ogi.edu 24 Apr '03

24 Apr '03

olaf 2003/04/24 08:57:16 PDT Modified files: src/hattrans AuxFile.hs TraceId.hs Log: 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). Revision Changes Path 1.25 +1 -1 hat/src/hattrans/AuxFile.hs 1.20 +1 -1 hat/src/hattrans/TraceId.hs

1 0

cvs commit: nhc98/src/prelude/FFI Int.hs.cpp Word.hs.cpp
by Malcolm Wallace 24 Apr '03

24 Apr '03

malcolm 2003/04/24 05:25:29 PDT Modified files: src/prelude/FFI Int.hs.cpp Word.hs.cpp Log: 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. Revision Changes Path 1.10 +2 -22 nhc98/src/prelude/FFI/Int.hs.cpp 1.10 +7 -27 nhc98/src/prelude/FFI/Word.hs.cpp

1 0

cvs commit: nhc98/src/runtime/Builtin cBits.c
by Malcolm Wallace 24 Apr '03

24 Apr '03

malcolm 2003/04/24 05:25:28 PDT Modified files: src/runtime/Builtin cBits.c Log: 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. Revision Changes Path 1.4 +73 -0 nhc98/src/runtime/Builtin/cBits.c

1 0

cvs commit: nhc98/include/NHC FFI.hi
by Malcolm Wallace 24 Apr '03

24 Apr '03

malcolm 2003/04/24 05:25:27 PDT Modified files: include/NHC FFI.hi Log: 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. Revision Changes Path 1.5 +0 -18 nhc98/include/NHC/FFI.hi

1 0

cvs commit: nhc98/script pkgdirlist
by Malcolm Wallace 24 Apr '03

24 Apr '03

malcolm 2003/04/24 05:25:27 PDT Modified files: script pkgdirlist Log: 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. Revision Changes Path 1.3 +1 -1 nhc98/script/pkgdirlist

1 0