- Libraries - Haskell.org

X11-extras merged into X11 library
by Don Stewart 31 Oct '07

31 Oct '07

This is a heads up about the X11 library. For the past 6 months a set of extensions, required by xmonad, to this library have been developed in the so-called X11-extras package. The time came to merge these together, finally. A new head branch of X11 has been created, which lives at: darcs.haskell.org/X11 with the merged source (adding support for xinerama, window manger stuff, X events, X fonts and more). This has also been tagged as X11 1.3.0 (following the versioning spec), and uploaded to hackage. Any stable branch ghc wishes to use for its extras bundle can still be found at darcs.haskell.org/packages/X11. -- Don

1 0

Re: [Haskell] Re: Trying to install binary-0.4
by Simon Marlow 29 Oct '07

29 Oct '07

Duncan and I have started a wiki page to collect proposals for ways to avoid or alleviate the pain from future package reorganisations. http://hackage.haskell.org/trac/ghc/wiki/PackageCompatibility It's been helpful for me to write all this down, the issues seem much clearer. However, I don't see an obviously best solution. For me proposal 4.2 (see the wiki page) looks the most promising, but it doesn't provide complete backwards compatibility, so I imagine there will be people who disagree. Please read the page. Fix problems, add rationale, add proposals if you have any that are substantially different from those already there. For general discussion just reply to this message (replies directed to libraries(a)haskell.org) Cheers, Simon

9 18

Proposal: Add Compositor class as superclass of Arrow
by Ashley Yakeley 29 Oct '07

29 Oct '07

http://hackage.haskell.org/trac/ghc/ticket/1773 (darcs patch attached to ticket) The Compositor class has two members: class Compositor comp where identity :: comp a a (>>>) :: comp a b -> comp b c -> comp a c with the obvious monoid. Since all Arrows are Compositors, make Compositor a superclass of Arrow. A number of useful types are Compositors but not Arrows: 1. Bijections data Bijection a b = MkBijection (a -> b) (b -> a) 2. Codecs, i.e. encoder/decoder pairs such as charset converters data Codec base derived = MkCodec { encode :: derived -> base, decode :: base -> Maybe derived -- or other Monad } utf8 :: Codec [Word8] String xml :: Codec String XML 3. Lenses These make updatable sections of data structures. data Lens s t = MkLens { lensGet :: s -> t, lensPutback :: t -> s -> s } See http://www.cis.upenn.edu/~bcpierce/papers/lenses-etapsslides.pdf 4. Reified proofs of type identity These are useful if you use GADTs and type-witnesses a lot. newtype SameType a a' = MkSameType (forall f. f a -> f a') Proposal period: two weeks, until 10-27

10 39

proposal: in base, for Data.Version, change the meaning of comparisons
by Malcolm Wallace 29 Oct '07

29 Oct '07

Proposal: that values of the type Data.Version.Version should compare equal, by ignoring trailing zeros. Thus 1.2.0 == 1.2, rather than 1.2.0 > 1.2 Regards, Malcolm ---- New patches: [In Data.Version, make equality comparisons independent of trailing zeros. Malcolm.Wallace(a)cs.york.ac.uk**20071025161240] { hunk ./Data/Version.hs 122 - v1 == v2 = versionBranch v1 == versionBranch v2 + v1 == v2 = branchEq (versionBranch v1) (versionBranch v2) hunk ./Data/Version.hs 125 + where + branchEq :: [Int] -> [Int] -> Bool + branchEq [] [] = True + branchEq vs [] = all (==0) vs + branchEq [] vs = all (==0) vs + branchEq (v:vs) (w:ws) = v==w && branchEq vs ws hunk ./Data/Version.hs 133 - v1 `compare` v2 = versionBranch v1 `compare` versionBranch v2 - + v1 `compare` v2 = versionBranch v1 `cmpBranch` versionBranch v2 + where + cmpBranch [] [] = EQ + cmpBranch vs [] | all (==0) vs = EQ + | otherwise = GT + cmpBranch [] vs | all (==0) vs = EQ + | otherwise = LT + cmpBranch (v:vs) (w:ws) | v==w = cmpBranch vs ws + | otherwise = compare v w + } Context: [Fix doc building with Haddock 0.9 Simon Marlow <simonmar(a)microsoft.com>**20071024090947 I was using a recent build here, which is more tolerant. ] [FIX #1258: document that openTempFile is secure(ish) Simon Marlow <simonmar(a)microsoft.com>**20071023130928 Also change the mode from 0666 to 0600, which seems like a more sensible value and matches what C's mkstemp() does. ] [Clean up .cabal file a bit Duncan Coutts <duncan(a)haskell.org>**20071022132708 specify build-type and cabal-version >= 1.2 put extra-tmp-files in the right place use os(windows) rather than os(mingw32) ] [base in 6.8 and head branch should be version 3.0 Don Stewart <dons(a)galois.com>**20071007150408] [FIX #1652: openTempFile should accept an empty string for the directory Simon Marlow <simonmar(a)microsoft.com>**20071018122345] [clean up duplicate code Simon Marlow <simonmar(a)microsoft.com>**20071017141311] [expose the value of +RTS -N as GHC.Conc.numCapabilities (see #1733) Simon Marlow <simonmar(a)microsoft.com>**20071009132042] [typo Simon Marlow <simonmar(a)microsoft.com>**20070917130703] [put extra-tmp-files field in the right place Simon Marlow <simonmar(a)microsoft.com>**20070914140812] [Add more entries to boring file Ian Lynagh <igloo(a)earth.li>**20070913210500] [Add a boring file Ian Lynagh <igloo(a)earth.li>**20070913204641] [TAG 2007-09-13 Ian Lynagh <igloo(a)earth.li>**20070913215720] Patch bundle hash: fe636959d9254b8fabd6e7ad6926a4d0b7ee0d15

6 6

QuickCheck support in libraries
by Conal Elliott 27 Oct '07

27 Oct '07

I'd like libraries to provide QuickCheck support (instances of Arbitrary) for types they define, where possible. Are there any reasons not to routinely do so? Otherwise, I end up working them out for myself and probably replicating other people's work. - Conal

5 6

System.Win32.Types to base library?
by Felix Martini 25 Oct '07

25 Oct '07

I am working on some Windows specific code for GHC in the base library. System.Win32.Types contains basic Win32 types and error handling functions. Using them would mean a dependency on the Win32 library. I could duplicate parts of System.Win32.Types that i need, but is it not preferable to relocate System.Win32.Types to the base library? Regards, Felix

4 12

Packages within a package
by ramsdell＠mitre.org 25 Oct '07

25 Oct '07

When I first carefully read the Cabal documentation, I remember wondering why there is a limit of one on the number of libraries in a package. Reflecting on autoconf, and its AC_CONFIG_SUBDIRS macro, I also wondered why packages cannot be components of a package. If you wrote a symbolic model checker, and you want it to be used with a specific version of a binary decision diagram package, the simplest way of enforcing this restriction is by including the package within yours. This is in fact how NuSMV is distributed. (It includes CUDD.) Recently, when I discovered there is no direct support for linking the executables in a package with the library it defines, I wondered why the advice was to separate the library and the executables into two packages even though both are meant to be used and distributed as a unit. Does Cabal not support things like packages within a package simply because Haskell libraries currently are not complex enough to require such a feature, or is there a guiding design principle with which these features are incompatible? John

4 13

!! for Data.Stream
by Conal Elliott 24 Oct '07

24 Oct '07

I see that (!!) for Data.Stream has arguments reversed, compared to !! on lists. The Haddock comment, however, suggests otherwise. Is the argument reversal intended? - Conal >From Data.Stream: -- | @xs !! n@ returns the element of the stream @xs@ at index -- @n@. Note that the head of the stream has index 0. -- -- /Beware/: passing a negative integer as the first argument will cause -- an error. (!!) :: Int -> Stream a -> a (!!) n (Cons x xs) | n == 0 = x | n > 0 = (!!) (n - 1) xs | otherwise = error "Stream.!! negative argument"

2 1

Let's do ListT right, finally
by Yitzchak Gale 24 Oct '07

24 Oct '07

Hi Ian, thanks for responding to my plea! I am renaming this thread and moving it to libraries. Please respond there. I wrote: >> http://haskell.org/haskellwiki/ListT_done_right >> and not the broken implementation that comes with mtl. >> (Finally fixed in 6.8? Please?) Ian Lynagh wrote: > If you want to propose that mtl switches to a different definition of > ListT then please see > http://www.haskell.org/haskellwiki/Library_submissions OK, then. This is a major rewrite of this module. So let me open up the topic for discussion even before posting a submission. Do we need to worry about breaking code? Not very much, I suspect. That "monad" really is broken - it's not a monad at all. The problem and its solution have been well known for years. I personally tried using the "standard" ListT for a while, just because it's the standard. Until I ran into enough problems that I finally slapped my forehead and said "forget it". But just in case: Is there anyone reading this who would be hurt by this change and opposes it? Should we provide a more gradual deprecation path (what is it)? Thanks, Yitz

3 3

Bumping "extralib" library versions
by Duncan Coutts 23 Oct '07

23 Oct '07

All, There is unfortunately some synchronisation between ghc releases and the releases of various common libraries, the so-called "extralibs" collection. So I'd like to look briefly at what the version numbers of theses packages should be. It is important that we do increase the version numbers if there are changes since the last releases. In cases where the package's HEAD repo is maintained somewhere other than darcs.haskell.org/packages/$pkg that we do not break the version scheme used by the package maintainer. The current set of "extralibs" packages is: ALUT arrows cgi fgl GLUT haskell-src HGL html HUnit mtl network ObjectIO OpenAL OpenGL parallel parsec QuickCheck regex-base regex-compat regex-posix stm time X11 xhtml For each one I'd like to identify where the HEAD repo is, what the last released version was, what the current version number in the darcs version is, if there are any changes since that release and if so what the new release number ought to be. These version number bumps are based on existing versioning practise for these libraries rather than the proposed package versioning policy. http://haskell.org/haskellwiki/Package_versioning_policy#Version_numbers I have also listed for each package what the next version number would be under the proposed package versioning policy.They are marked as "PVP next version". If you think I've got any of these details wrong, please say so. ========== ALUT HEAD repo: http://darcs.haskell.org/packages/ALUT Released version: 2.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 2.0.1 Changes since release: minor build system changes Suggested next version: 2.0.2 PVP next version: 2.0.1.1 ========== arrows HEAD repo: http://darcs.haskell.org/packages/arrows Released version: 0.3 (on hackage) Current version: 0.3 Changes since release: none Suggested next version: not needed PVP next version: not needed Notes: The latest version of this package depends on Stream which is not currently in the extralibs collection. This anomaly will need to be sorted out. ========== cgi HEAD repo: http://darcs.haskell.org/packages/cgi Released version: 3001.1.5 (on hackage) Current version: 3001.1.5 Changes since release: comments and build system changes Suggested next version: 3001.1.6 PVP next version: 3001.1.5.1 Notes: requires .cabal changes to build with older base versions ========== fgl HEAD repo: http://darcs.haskell.org/packages/fgl Released version: 5.4.1 (in ghc-6.6.1 extralibs tarball) Current version: 5.4.1 Changes since release: build system changes Suggested next version: 5.4.2 PVP next version: 5.4.1.1 Notes: requires .cabal changes to build with older base versions ========== GLUT HEAD repo: http://darcs.haskell.org/packages/GLUT Released version: 2.1.1 (in ghc-6.6.1 extralibs tarball) Current version: 2.1.1 Changes since release: build system changes Suggested next version: 2.1.2 PVP next version: 2.1.1.1 ========== haskell-src HEAD repo: http://darcs.haskell.org/packages/haskell-src Released version: 1.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since release: build system and portability changes (same api) Suggested next version: 1.0.2 PVP next version: 1.0.1.1 Notes: requires .cabal changes to build with older base versions ========== HGL HEAD repo: http://darcs.haskell.org/packages/HGL Released version: 3.1.1 (in ghc-6.6.1 extralibs tarball) Current version: 3.1.1 Changes since: build system changes Suggested next version: 3.1.2 PVP next version: 3.1.1.1 Notes: requires .cabal changes to build with older base versions ========== html HEAD repo: http://darcs.haskell.org/packages/html Released version: 1.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since: build system changes Suggested next version: 1.0.2 PVP next version: 1.0.1.1 ========== HUnit HEAD repo: http://darcs.haskell.org/packages/HUnit Released version: 1.1.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.1.1 Changes since: some code changes, not obvious if api changed Suggested next version: 1.1.2 PVP next version: 1.1.2 ========== mtl HEAD repo: http://darcs.haskell.org/packages/mtl Released version: 1.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since: added more module re-exports and docs Suggested next version: 1.0.2 PVP next version: 1.0.2 Note: does not build with ghc-6.4.x as base-1.0 ========== network HEAD repo: http://darcs.haskell.org/packages/network Released version: 2.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 2.0.1 Changes since: IPV6 support added, api extended not changed Suggested next version: 2.0.2 PVP next version: 2.0.2 Note: needs a patch to build with ghc-6.4.x and base-1.0 ========== ObjectIO HEAD repo: http://darcs.haskell.org/packages/ObjectIO Released version: 1.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since: Setup.hs changes only Suggested next version: 1.0.2 PVP next version: 1.0.1.1 ========== OpenAL HEAD repo: http://darcs.haskell.org/packages/OpenAL Released version: 1.3.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.3.1 Changes since: build system changes Suggested next version: 1.3.2 PVP next version: 1.3.1.1 ========== OpenGL HEAD repo: http://darcs.haskell.org/packages/OpenGL Released version: 2.2.1 (in ghc-6.6.1 extralibs tarball) Current version: 2.2.1 Changes since: build system changes Suggested next version: 2.2.2 PVP next version: 2.2.1.1 ========== parallel HEAD repo: http://darcs.haskell.org/packages/parallel Released version: none Current version: 1.0 Changes since: n/a Suggested next version: 1.0 PVP next version: 1.0 Note: cannot build with older ghc/base versions as it exposes modules provided by base-2.x. ========== parsec HEAD repo: http://darcs.haskell.org/packages/parsec Released version: 2.0 (hackage and ghc-6.6.1 extralibs tarball) Current version: 2.0 Changes since: api additions (extended, not changed) Suggested next version: 2.0.1 PVP next version: 2.0.1 ========== QuickCheck HEAD repo: http://darcs.haskell.org/QuickCheck 1.x repo: http://darcs.haskell.org/packages/QuickCheck Released version: 1.0.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since: build system Suggested next version: 1.0.2 PVP next version: 1.0.1.1 Note: we seem to be including QuickCheck 1.x rather than 2.x. ========== regex-base HEAD repo: http://darcs.haskell.org/packages/regex-unstable/regex-base 0.72 repo: http://darcs.haskell.org/packages/regex-base Released version: 0.72 (in ghc-6.6.1 extralibs tarball) 0.92 (on hackage) Current version: 0.72 (in ghc-6.8 extralibs) 0.92 (upstream) Changes since: build system changes Suggested next version: 0.72.1 PVP next version: 0.72.0.1 Note: we seem to be including regex-base 0.72 when the latest upstream version is 0.92. ========== regex-compat HEAD repo: http://darcs.haskell.org/packages/regex-unstable/regex-compat 0.71 repo: http://darcs.haskell.org/packages/regex-compat Released version: 0.71 (hackage and ghc-6.6.1 extralibs tarball) 0.90 (on hackage) Current version: 0.71 (in ghc-6.8 extralibs) 0.90 (upstream) Changes since: trivial code change and build system changes Suggested next version: 0.71.1 PVP next version: 0.71.0.1 Note: Setup.lhs needs fixing to be trivial. Again, we seem to be including regex-base 0.71 when the latest upstream version is 0.90. ========== regex-posix HEAD repo: http://darcs.haskell.org/packages/regex-unstable/regex-posix 0.72 repo: http://darcs.haskell.org/packages/regex-posix Released version: 0.71 (hackage and ghc-6.6.1 extralibs tarball) 0.91 (on hackage) Current version: 0.72 (in ghc-6.8 extralibs) 0.91 (upstream) Changes since: compatible code changes and build system changes Suggested next version: 0.72.1 PVP next version: 0.72.0.1 Note: will need patching to build with base-2.0. Again, we seem to be including regex-base 0.72 when the latest upstream version is 0.91. ========== stm HEAD repo: http://darcs.haskell.org/packages/stm Released version: 2.1 (hackage and ghc-6.6.1 extralibs tarball) Current version: 2.1 Changes since: two new new functions and build system changes Suggested next version: 2.1.1 PVP next version: 2.1.1 Note: will not currently build with base-2.0. It's not clear if this is a problem, or if stm is tightly tied to the base/ghc version anyway. ========== time HEAD repo: http://darcs.haskell.org/packages/time Released version: 1.1.1 (in ghc-6.6.1 extralibs tarball) Current version: 1.1.1 Changes since: minor behaviour changes (bug fixes) Suggested next version: 1.1.2 PVP next version: 1.1.2 ========== X11 HEAD repo: http://darcs.haskell.org/packages/X11 Released version: 1.2.3 (on hackage) Current version: 1.2.3 Changes since: none Suggested next version: not needed PVP next version: not needed ========== xhtml HEAD repo: http://darcs.haskell.org/packages/xhtml Released version: 3000.0.2 (in ghc-6.6.1 extralibs tarball) Current version: 3000.0.2 Changes since: minor build system changes Suggested next version: 3000.0.3 PVP next version: 3000.0.2.1 Additionally, there are some core libs that could be usable with older versions of other libs, like base and so could be used with older releases of ghc or other implementations: bytestring Cabal filepath haskell98 readline unix Win32 ========== bytestring HEAD repo: http://darcs.haskell.org/bytestring Released version: 0.9 (on hackage) Current version: 0.9 Changes since: none Suggested next version: not needed PVP next version: not needed ========== Cabal HEAD repo: http://darcs.haskell.org/cabal Released version: 1.2.1 (on hackage) Current version: 1.2.1 Changes since: some minor changes Suggested next version: 1.2.2 PVP next version: 1.2.2 ========== filepath HEAD repo: http://darcs.haskell.org/packages/filepath 1.1 repo: http://darcs.haskell.org/ghc-6.8/packages/filepath Released version: 1.0 (on hackage) Current version: 1.1 Changes since: api additions, bug fixes Suggested next version: 1.1 PVP next version: 1.0.1 Note: filepath head branch is marked as version 1.0 while the version included with ghc-6.8 is marked as 1.1. ========== haskell98 HEAD repo: http://darcs.haskell.org/packages/haskell98 Released version: 1.0 (hackage and ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since: build system changes Suggested next version: ??? PVP next version: 1.0.0.1 Note: If the version number identifies the api to some degree, then the H98 api never changes so it's version number should never increment, except in the micro revision for build system changes. ========== readline HEAD repo: http://darcs.haskell.org/packages/readline Released version: 1.0 (ghc-6.6.1 extralibs tarball) Current version: 1.0.1 Changes since: api additions, build system changes Suggested next version: 1.0.1 PVP next version: 1.0.1 ========== unix HEAD repo: http://darcs.haskell.org/packages/unix Released version: 2.1 (ghc-6.6.1 extralibs tarball) Current version: 2.2 Changes since: many api additions Suggested next version: 2.2 PVP next version: 2.1.1 Note: will not currently build with base-2.0. ========== Win32 HEAD repo: http://darcs.haskell.org/packages/Win32 Released version: 2.1 (hackage and ghc-6.6.1 extralibs tarball) Current version: 2.1.1 Changes since: api additions Suggested next version: 2.1.1 PVP next version: 2.1.1 Note: will not currently build with base-2.0. Duncan

5 11