- Libraries - Haskell.org

darcs patch: base.cabal: install all include files from include/
by Bertram Felgenhauer 23 May '07

23 May '07

Hi, the base package needs to install some more header files to make compilations via C work properly (as required, for example, by gtk2hs). This can now be done properly with Cabal. See the patch below. Bertram Sat May 19 15:47:19 CEST 2007 Bertram Felgenhauer <int-e(a)gmx.de> * base.cabal: install all include files from include/ many of them are needed by HsBase.h; Typeable.h is useful for Haskell code

2 1

Re: anyone interested in developing a Language.C library?
by Stephen Tetley 21 May '07

21 May '07

Hello I've a Frown port of the c2hs parser here: http://slackwise.org/spt/files/Haskell/lang_c-2007_05_21.tar.gz I've also done some work towards packaging the original c2hs code so it follows the form of the Language/Haskell library (removed the 'C' prefix from file names, added Haddock markers in some of the comments). Other changes include some work to handle GCC attributes (added in the syntax tree and some of the productions in the parser); and some work on a pretty printer (there is a rough version implemented with UUAG and the PPrint library that needs better parens handling). Also I've changed the AST slightly to remove some of the dependency on c2hs - the parser just tracks source position rather than source locations and unique names. I haven't looked further at disentangling the Happy parser, and with the changes to the syntax tree and file layout it would need some work to reinstate it. I hope to look at this in the next couple of weeks. Best wishes Stephen Tetley Duncan Coutts wrote: > * The parser error messages are terrible (it might be interesting > to try porting from happy to frown for this purpose)

1 0

Ord instance for Data.Map?
by Henning Thielemann 21 May '07

21 May '07

I wonder whether the Ord instance is a good choice as constraint for Data.Map, Data.Set and so on. I want to manage complex numbers and residue classes in a set, or polynomials as keys of maps, but I hesitate to make them instances of Ord, because "a<b" shall remain a type error for complex numbers, residue classes and polynomials. Also in Haskore we abuse Ord instance to get canonical form of arranged notes. However there is no notion of magnitude for notes, so the Ord instance is rather artificial. I have a work-around in mind: I could introduce class Eq a => Indexable a where compareIndex :: a -> a -> Ordering then make several mathematical object types instances of this class. Then make a wrapper type newtype IndexableToOrd a = Cons a which maps the Indexable instance to an Ord instance: instance Indexable a => Ord (IndexableToOrd a) where compareIndex (Cons x) (Cons y) = compare x y Then I do not insert complex numbers immediately in a set, but wrap them in IndexableToOrd and insert the wrapped values in a set. Cumbersome, isn't it? So my question is: Was the Ord constraint for Data.Map a good idea? If yes, are there simpler work-arounds than mine? I think, that '<' and '>' imply something like comparisons of magnitudes and the Data.Map doesn't require that notion and it is happy with any total ordering. Btw. is there a Data.Map.unzip?

5 8

darcs patch: fix failure to compile with cabal included with ghc 6.6
by David Roundy 20 May '07

20 May '07

I'm not sure if this is sufficient, or even a good idea, but removing this type signature makes Setup.hs able to run on my system with an older cabal. David Wed May 16 09:18:47 PDT 2007 David Roundy <droundy(a)darcs.net> * fix failure to compile with cabal included with ghc 6.6

4 5

darcs patch: add test that X11 will actually build.
by David Roundy 20 May '07

20 May '07

Just for future benefits, it seems a good idea to occasionally check that the X11 library actually can be built. This patch is untested, since the X11 library won't build for me. David Wed May 16 09:26:26 PDT 2007 David Roundy <droundy(a)darcs.net> * add test that X11 will actually build.

2 1

terminateProcess
by Johannes Waldmann 18 May '07

18 May '07

according to documentation of System.Process.terminateProcess, "This function should not be used under normal circumstances." Well, then what function then *should* be used normally? I have the following code in a multithreaded Haskell program, which does not work (if this thread is killed, the external process keeps running after the Haskell program exits) bracket ( System.Process.runCommand cmd ) ( terminateProcess p ) ( polling_waitForProcess ) It took me a while to figure out why "waitForProcess" here does not work: Control.Concurrent.throwTo says "If the target thread is currently making a foreign call, then the exception will not be raised (and hence throwTo will not return until the call has completed.") That's why I defined let polling_waitForProcess p = do me <- getProcessExitCode p case me of Just e -> return () Nothing -> do threadDelay ( 10^5 ) polling_waitForProcess p any hints appreciated, J.W.

2 1

Proposal: ByteString based datagram communication (Ticket #1238 )
by Robert Marlow 17 May '07

17 May '07

I've made a proposal to add ByteString based datagram communication to Network.Socket and Network. Details are at: http://hackage.haskell.org/trac/ghc/ticket/1238#preview I rushed to get this done before I go on a trip tomorrow so I haven't completed testing and won't be available to discuss it for the next 9 days. As such, if discussion is needed, an extended deadline would be appreciated. Testing windows is a bit awkward for me since I don't have a windows machine, so if anyone can test that platform I'd be very appreciative. I'll try to work through the problems I was having with hugs and test when I get back unless someone else wants to test it first. Thanks. -- Robert Marlow MITS Co-operative Limited http://www.mits.coop/

7 23

darcs patch: fix failure to compile with cabal includ... (and 1 more)
by David Roundy 16 May '07

16 May '07

Here's a fixed patch for testing that X11 actually builds. This time it calls autoreconf as the README instructs. David Wed May 16 09:18:47 PDT 2007 David Roundy <droundy(a)darcs.net> * fix failure to compile with cabal included with ghc 6.6 Wed May 16 09:55:02 PDT 2007 David Roundy <droundy(a)darcs.net> * add fixed test that X11 builds

1 0

cgi-compat and ghc-6.6.1
by Johannes Waldmann 15 May '07

15 May '07

What is the status of cgi-compat with ghc-6.6.1? I have some older code that wants Network.CGI.Compat, which seems not available in ghc-6.6.1 standard installation. When I build cgi-compat from source cgi-compat-2006.9.6.tar.gz it will complain about missing "fps". I delete this requirement from cgi.cabal and then can build and install. But now when I compile my program, the message is Could not find module `Network.CGI.Compat': it was found in multiple packages: cgi-compat-2006.9.6 cgi-3001.1.1 I can ghc-pkg hide cgi-3001.1.1 and that seems to solve it for the moment. If I find the time, I probably should change my sources to use the newer API - is there a "migration guide" somewhere? Best regards, Johannes Waldmann.

2 1

Is there already a list class?
by Marc Weber 13 May '07

13 May '07

Hello. Is here the right place to request a list class? eg class List l e where (:) :: e -> l e -> l e head :: .. This might be used in Data.Set, Data.Map class StorableAsList l e t where fromList :: l e -> t toList :: t -> l e I'd like to help implementing/ writing it. Do you consider this beeing a useful enhancement? Cheers Marc Weber

12 20