February 2007 - Libraries

[Fwd: Re: [GHC] #1134: swap minView/maxView return value]
by Christian Maeder 07 Feb '07

07 Feb '07

It should be allowed to fix a buggy interface (before the bug becomes a feature) Christian -------- Original-Nachricht -------- Betreff: Re: [GHC] #1134: swap minView/maxView return value Datum: Tue, 06 Feb 2007 23:59:25 -0000 Von: GHC <trac(a)galois.com> Antwort an: glasgow-haskell-bugs(a)haskell.org An: glasgow-haskell-bugs(a)haskell.org Newsgruppen: gmane.comp.lang.haskell.glasgow.bugs Referenzen: <071.1d16a01fab839e0adc11599f4864434e@localhost> #1134: swap minView/maxView return value ----------------------------+----------------------------------------------- Reporter: jpbernardy | Owner: jpbernardy Type: proposal | Status: new Priority: normal | Milestone: 6.8 Component: libraries/base | Version: 6.6 Severity: normal | Resolution: Keywords: collections | Difficulty: Easy (1 hr) Testcase: | Architecture: Unknown Os: Unknown | ----------------------------+----------------------------------------------- Changes (by igloo): * milestone: 6.6.1 => 6.8 * type: bug => proposal Comment: Unfortunately fixing this for 6.6.1 would mean changing the interface, which we don't allow within a stable branch. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1134> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Compiling module using Data.Time with -O fails; can't find HsTime.h
by Alistair Bayley 06 Feb '07

06 Feb '07

If I try to compile this Main.hs: module Main where import Data.Time main = getCurrentTime >>= print with this ghc-6.6 command: ghc --make Main -o test -O ... I get this error: C:\DOCUME~1\bayleya\LOCALS~1\Temp\ghc728_0\ghc728_0.hc:8:20: HsTime.h: No such file or directory Is this me doing something I shouldn't, or is there something wrong with the way the library has been distributed? Alistair

2 1

Adding binarySize to Binary
by Musasabi 05 Feb '07

05 Feb '07

Hello I keep wanting something like: binarySize :: Binary a => Proxy a -> (Int,Maybe Int) in the Data.Binary for returning the minimum and maximum (or Nothing for infinite) space requirements for objects of a given type. Proxy is just defined as "data Proxy t = Proxy", but omitting it is also possible. Would other people consider this an useful addition? - Einar Karttunen

5 6

Proposal: Make StateT in mtl lazy
by Ian Lynagh 04 Feb '07

04 Feb '07

http://hackage.haskell.org/trac/ghc/ticket/1127 Deadline: 28 February 2007. I propose we make StateT lazy, as I suspect was the intention all along and as has been discussed (without reaching a conclusion) before. The patch is simply (in the definition of (>>=)): hunk ./Control/Monad/State.hs 195 - (a, s') <- runStateT m s + ~(a, s') <- runStateT m s Thanks Ian

5 11

Paramorphisms / Data.Scanable?
by Jim Apple 04 Feb '07

04 Feb '07

I understand that it may not be possible to give simple types to anamorphisms or hylomorphisms, but I don't see there can't be a Data.Scannable with paramorphisms. class Scannable t where scanr :: (a -> b -> b) -> b -> t a -> t b scanl :: (a -> b -> a) -> a -> t b -> t a scanr1 :: (a -> a -> a) -> t a -> t a scanl1 :: (a -> a -> a) -> t a -> t a Jim

3 2

Catamorphisms for arrows?
by Jim Apple 03 Feb '07

03 Feb '07

Could Data.Foldable be extended to function types by way of Bananas in Space: Extending Fold and Unfold to Exponential Types [1][2] or Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism [3][4]? 1. http://citeseer.ist.psu.edu/293490.html 2. http://www.cs.nott.ac.uk/~gmh//bananas.ps 3. http://repository.upenn.edu/cis_reports/43/ 4. http://www.seas.upenn.edu/%7Esweirich/abstracts.html#washburn+:bgb-journal Jim

1 0

Gtk2Hs 0.9.11 RC2 available for testing
by Duncan Coutts 03 Feb '07

03 Feb '07

The second release candidate for Gtk2Hs 0.9.11 is now available. (The actual version number is 0.9.10.6) The source tarball and windows installer are available: http://haskell.org/gtk2hs/gtk2hs-0.9.10.6.tar.gz (md5sum 8842898cb1f6b595b5a3a057e66a810b) http://haskell.org/gtk2hs/gtk2hs-0.9.10.6.exe (md5sum 97ed838d88ee2d6a01e78d3fea26c18c) and the corresponding documentation: http://haskell.org/gtk2hs/docs/gtk2hs-docs-0.9.10.6/ Changes since 0.9.10: * works with GHC-6.6 and Gtk+ 2.10.x * new typed tree/list widget API * new OpenGL widget added * new cairo SVG package (for rendering SVG images on cairo surfaces) * new implementation of the Graphics.SOE API * new glade tutorial (and hopefully the new intro tutorial will be ready in time too) * many more demo programs (clock, graph, traffic congestion sim, fonts, noughts & crosses, opengl, svg and updated profile viewer and other tree/list demos) * much smaller binaries (thanks to the ghc 'split objs' feature) * many bugs fixed * various minor documentation improvements Changes since the first release candidate: * now works again in GHCi (even in Windows!) * new functions for working with the threaded RTS * new ./configure --enable-profiling flag * new ./configure --with-user-pkgconf flag * Windows version now uses the "MS Windows" theme by default * Windows version now comes with the Gtk+ OpenGL package * Windows version now supports GHCi (6.6 only) and profiling * minor fixes to various demo programs * the svgcairo package now uses librsvg rather than libsvg-cairo Please test this on your platform and report success or failures to the gtk2hs users list (gtk2hs-users(a)lists.sourceforge.net) So far we've tested on Linux (x86, x86-64, sparc), Windows and Solaris (sparc) with GHC 6.2.2, 6.4.1, 6.4.2, 6.6 and with Gtk+ 2.0 and 2.10. Build reports from people using *BSD, Mac OS X (ppc or x86), GHC 6.0.x or Gtk+ 2.4-2.8 would be particularly appreciated. Windows notes: The installer expects GHC 6.4.2 or 6.6. (As always if you need a build for a different version of GHC then that's possible by building from source.) The GHCi support is only for GHC-6.6 (due to the infamous relocs overflow bug in earlier versions). The installer now comes bundled with Gtk+ itself so there's no need to download it separately. Hopefully this should also make the installation process a bit more reliable if only by reducing the number of configuration combinations. The windows build doesn't include the svgcairo or sourceview packages since they introduce rather a large number of dependencies and would make the installer a much bigger download. Testing issues: I have enabled the 'split-objs' feature by default (for linking the Gtk2Hs libs such that the final binaries are much smaller). If you run into problems during during the build that you think are related to linking then try ./configure --disable-split-objs and report the problem and whether turning off split-objs fixed it. Depending on how it goes we'll decide whether to leave it on by default in the final release or not. For testing, try building, installing and then run: make installcheck This should build all the demo programs that are appropriate for your configuration. Running a selection of them would be good and if you have any other programs that use Gtk2Hs that you can test with, that'd be great. Packaging: For people preparing packages for distributions: note that there are three new packages, "gtkglext", "svgcairo" and "soegtk". For reference there is a Gentoo ebuild available: http://haskell.org/~gentoo/gentoo-haskell/dev-haskell/gtk2hs/ The mozembed package can now be built against firefox, seamonkey, xulrunner or mozilla. Just pass --enable-<thing> to ./configure. Duncan (on behalf of the Gtk2Hs team)

1 0

UTF8 libraries
by Alistair Bayley 02 Feb '07

02 Feb '07

What is the state of UTF8 support in Haskell libraries (base or user-contributed)? I had a need for a UTF8 en & de-coder for Takusen, and after looking around couldn't find anything particularly satisfactory, so ended up writing (yet another) one. I'm interested mainly in marshalling to/from CStrings, so support for functions like peekUTF8String, newUTF8String, withUTF8String, etc is interesting. I realise that one can use one of the pure decoders after a peekCString, but that means building an intermediate list, which isn't strictly necessary. So far I've found the following: - John Meacham's UTF8 lib: http://repetae.net/repos/jhc/UTF8.hs (only handles codepoints < 65536, pure String <-> [Word8] so no direct CString marshalling) - HXT's Text.XML.HXT.DOM.Unicode: http://www.fh-wedel.de/~si/HXmlToolbox/ (full Unicode range - up to 6 bytes per char, pure String <-> String) - George Russell's: http://www.haskell.org/pipermail/glasgow-haskell-users/2004-April/006564.ht… (buggy - won't roundtrip chars > 127, pure String <-> String) The one I wrote, which is largely based on John Meacham's and HXT's code, can be seen here: http://darcs.haskell.org/takusen/Foreign/C/UTF8.hs Alistair

4 3

ANN: Takusen 0.6
by Alistair Bayley 02 Feb '07

02 Feb '07

We are pleased to announce a new release of Takusen. There are a large number of changes and bug-fixes: - Oracle support for processing cursors returned from procedure calls - withContinuedSession supports connection reuse (e.g. for persistent connections and connection pooling) - new README file with useful information about getting started with Takusen - new UTF8 en/de-coder (the old one was buggy) - PostgreSQL support for CalendarTime - improved Cabal Setup.hs script, which does a better job of modifying the installation to reflect installed DBMS's. This gives good ghci support (PostgreSQL users on Windows have a small extra step) - prepared statement API requires that users distinguish between queries and DML Our long-term plans are the same as ever: - large objects - ODBC and MS Sql Server backends Release: http://darcs.haskell.org/takusen/takusen-0.6.tar.gz Source: darcs get --partial http://darcs.haskell.org/takusen Oleg and Alistair

1 0

Unsafe aspects of ByteString
by Iavor Diatchki 01 Feb '07

01 Feb '07

Hello, The "packCString" function (and other similar functions) in the ByteString library break referential transperancy, which is one of the big selling points of Haskell (and its libraries). Here is an example: main = do x <- newCString "Hello" let s = packCString x h1 = B.head s print s -- print h1 poke x (toEnum 97) print s let h2 = B.head s print h1 print h2 Output: "Hello" "aello" 97 97 This is already confusing because the "pure" value 's' has magically changed. Also notice that the evaluation order of the program affects the output. If we include the commented out statement (which forces h1 to be evaluated earlier) the output becomes: "Hello" 72 "aello" 72 97 I think that because of this we should either remove these functions, or at least follow the convention of other libraries and give them "unsafe" names. -Iavor

10 15