Re: [Haskell-cafe] Re: databases in Haskell type-safety

2009-01-30 Thread Alistair Bayley
2009/1/30 guenni68 red...@fedoms.com: Hi Alistair, yes, please, pretty please do! I really am desparate, I'm running into so much trouble because I have to export to MS-Access and I'm a little out of luck with HDBC. HDBC works like a charm unless you have to use MS-Access. Hmm... it's not

Re: [Haskell-cafe] haddock-2.3.0 error: file name does not match module name

2009-01-30 Thread Alistair Bayley
This has been reported before: http://trac.haskell.org/haddock/ticket/73#comment:4 Not sure what's going on yet. If anyone's got a minimal test-case, that'd be great. This is what fails for me (in Test/Fail.hs): {- # LANGUAGE CPP #-} module Test.Fail I've added this to the trac ticket.

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Robin Green
On Fri, 30 Jan 2009 15:21:05 +0800 Evan Laforge qdun...@gmail.com wrote: Is there a description somewhere of what the critical flaws have been and are, and what the current problems are to solve before we can finally have a practical declarative and compositional UI library? In *theory*,

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-30 Thread Gour
Stefan == Stefan Monnier monn...@iro.umontreal.ca writes: Stefan In any case I've added a note to mention that all you need to do Stefan is (setq haskell-font-lock-symbols t). Thanks - nice refactoring for my emacs-haskell.el :-D Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key:

[Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Gour
Conal == Conal Elliott co...@conal.net writes: Conal I don't mind if it takes a while, since I'm confident it'll be Conal worth the wait. Besides, compositionality yields exponential Conal rewards. Conal Some more encouragement from my friends: [snip] I'm with you Conal, at least with the

[Haskell-cafe] Re: C-like Haskell

2009-01-30 Thread Simon Marlow
Lennart Augustsson wrote: I had a quick look at the code for loop :: Int64 - Int64 - Int64 loop i r = if i == 0 then r else loop (i-1) (r+1) It's quite bad. It's full of C calls. It would be much better to do what gcc does and treat Int64 as a primitive type, and just insert C calls for the

[Haskell-cafe] HPC and literate haskell

2009-01-30 Thread Pavel Perikov
Hi, list! I have a file: \begin{code} module Main where import MyModule main=do print hello \end{code} MyModule is in MyModule.lhs when building with ghc -o main -fhpc --make Main.lhs I get perfectly working code, but MyModule.mix lacks any usable coverage information: Mix

Re: [Haskell-cafe] HPC and literate haskell

2009-01-30 Thread Robin Green
Have you tried processing the file with lhs2tex first, to unlit it? (Or is that what you are doing? It's unclear from your email.) -- Robin On Fri, 30 Jan 2009 16:02:08 +0300 Pavel Perikov peri...@gmail.com wrote: Hi, list! I have a file: \begin{code} module Main where import MyModule

[Haskell-cafe] ANNOUNCE: Extensible and Modular Generics for the Masses: emgm-0.2

2009-01-30 Thread Sean Leather
== Extensible and Modular Generics for the Masses == Extensible and Modular Generics for the Masses (EMGM) is a library for generic programming in Haskell using type classes and a sum-of-products view.

[Haskell-cafe] The case of the missing Arrow function

2009-01-30 Thread Henk-Jan van Tuyl
L.S., The function 'liftA2' is mentioned in many documents about Arrows; yet I cannot find it in the Control.Arrow module, as it comes with GHC 6.10.1 and Hugs Sep 2006. Is there a special reason for this? -- Regards, Henk-Jan van Tuyl -- http://functor.bamikanarie.com

Re: [Haskell-cafe] The case of the missing Arrow function

2009-01-30 Thread Neil Mitchell
Hi Henk, You're only a Hoogle away: http://haskell.org/hoogle/?hoogle=liftA2 Control.Applicative liftA2 :: Applicative f = (a - b - c) - f a - f b - f c I guess its both an arrow function and an applicative function. Thanks Neil On Fri, Jan 30, 2009 at 3:02 PM, Henk-Jan van Tuyl

Re: [Haskell-cafe] The case of the missing Arrow function

2009-01-30 Thread Ross Paterson
On Fri, Jan 30, 2009 at 03:05:52PM +, Neil Mitchell wrote: You're only a Hoogle away: http://haskell.org/hoogle/?hoogle=liftA2 Control.Applicative liftA2 :: Applicative f = (a - b - c) - f a - f b - f c I guess its both an arrow function and an applicative function. Ah, but this

[Haskell-cafe] experience with SmallCheck

2009-01-30 Thread Sebastian Fischer
Today I played with SmallCheck. Interested in what happened when I tried to find a small unsatisfiable boolean formula that is not easily detected as such? Watch my attempts: http://www-ps.informatik.uni-kiel.de/~sebf/haskell/unsatisfiable-formula-that-needs-guessing-to-fail.lhs.html

[Haskell-cafe] Standard C available in cabal package

2009-01-30 Thread Maurí­cio
Hi, I see that cabal allows me to say: c-sources: (...) and then have a few C files built with my program. I see that I can have lines like #include some usual C header in those files, and that makes me think that, even if I add no C files to my .cabal, I still can count on what would be

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Antony Courtney
On Fri, Jan 30, 2009 at 2:21 AM, Evan Laforge qdun...@gmail.com wrote: Conal As Meister Eckhart said, Only the hand that erases can write the Conal true thing. Nicely said... I'm sure you're not the only one desiring to write GUI in genuinely functional toolkit, but, being realistic and

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Rick R
I haven't really thought about GUIs much in the last decade, but if one were to embark on such an endeavor, I think an appropriate starting point would be SDL with OpenGL. There would be no very little API structure to hinder the pure functional approach, and it would be portable to a wide

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Luke Palmer
2009/1/30 Rick R rick.richard...@gmail.com I haven't really thought about GUIs much in the last decade, but if one were to embark on such an endeavor, I think an appropriate starting point would be SDL with OpenGL. There would be no very little API structure to hinder the pure functional

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Peter Verswyvelen
Wow Luke, this is a nice little package you made :) If you now add support for Bezier curves then you're my hero, then I can get rid of GTK/Cairo for experiments (which turned out to be really slow when rendering large double buffered surfaces...) I also believe that building something on top of

[Haskell-cafe] Re: Standard C available in cabal package

2009-01-30 Thread Achim Schneider
Maurcio briqueabra...@yahoo.com wrote: Supposed I wanted to write a module with all C functions always available, what could I let be there? POSIX? -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring,

Re: [Haskell-cafe] Re: Haskell on ARM (was Re: ANN: Topkata)

2009-01-30 Thread Anatoly Yakovenko
i don't think haskell on llvm exists, so the answer would be no On Thu, Jan 29, 2009 at 8:36 AM, Dan Mead d.w.m...@gmail.com wrote: does the haskell on llvm compiler support the ghc extentions? On Wed, Jan 28, 2009 at 7:27 PM, Anatoly Yakovenko aeyakove...@gmail.com wrote: ghc llvm port

[Haskell-cafe] Re: Standard C available in cabal package

2009-01-30 Thread Maurí­cio
Achim Schneider a écrit : Maurcio briqueabra...@yahoo.com wrote: Supposed I wanted to write a module with all C functions always available, what could I let be there? POSIX? Is that portable for non-unix? I think cabal does work on some non-unix systems. Maurício

[Haskell-cafe] Re: Standard C available in cabal package

2009-01-30 Thread Achim Schneider
Maurcio briqueabra...@yahoo.com wrote: Achim Schneider a __crit : Maurcio briqueabra...@yahoo.com wrote: Supposed I wanted to write a module with all C functions always available, what could I let be there? POSIX? Is that portable for non-unix? I think cabal does

[Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Achim Schneider
Antony Courtney antony.court...@gmail.com wrote: One issue I think you may encounter, though, is that last time I looked, there was still no high-quality, widely available cross-platform 2-D vector graphics library in C or C++! [...] Xrender. It appears to map exceptionally well onto FP, is

Fwd: [Haskell-cafe] HPC and literate haskell

2009-01-30 Thread Pavel Perikov
No I do not process it using lhs2tex. I just compile literate haskell code. The necessity of preprocessing kills the entire idea of having literate source. I just feed lhs files to ghc and everything works fine except code coverage. On 30.01.2009, at 5:35, Robin Green wrote: Have you

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Antony Courtney
On Fri, Jan 30, 2009 at 3:50 PM, Achim Schneider bars...@web.de wrote: Antony Courtney antony.court...@gmail.com wrote: One issue I think you may encounter, though, is that last time I looked, there was still no high-quality, widely available cross-platform 2-D vector graphics library in C or

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Bryan O'Sullivan
On Fri, Jan 30, 2009 at 1:11 PM, Antony Courtney antony.court...@gmail.comwrote: A 2-D vector graphics library such as Java2D ( or Quartz on OS/X or GDI+ on Windows ) supports things like computing tight bounding rectangles for arbitrary shapes, hit testing for determining whether a point is

[Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread John Goerzen
Hi everyone, I'm pleased to announce that HDBC v2.0 is now available. Simultaneously, HDBC-sqlite3, HDBC-postgresql, and HDBC-odbc v2.0 have also been uploaded. All may be found from Hackage, or at software.complete.org. A guide to new features and migration can be found at:

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Max Rabkin
2009/1/30 Bryan O'Sullivan b...@serpentine.com: On Fri, Jan 30, 2009 at 1:11 PM, Antony Courtney antony.court...@gmail.com wrote: A 2-D vector graphics library such as Java2D ( or Quartz on OS/X or GDI+ on Windows ) supports things like computing tight bounding rectangles for arbitrary

Re: Re[Haskell-cafe] cursive referencing

2009-01-30 Thread Belka
Great thanks, Ryan and Yevgeny! 1. For sumAA 10 $ f 1 2 and for sumAA 1000 $ f 1 2 - does the used memory amounts differ? 2. Does it create in memory only 2 data objects, or creates 10s and 1000s and garbage collects unneeded? -- Also consider fix (\p - (AA somedata1 $ snd p, BB

Re: [Haskell-cafe] Re: Standard C available in cabal package

2009-01-30 Thread Matthias Kilian
On Fri, Jan 30, 2009 at 09:40:02PM +0100, Achim Schneider wrote: POSIX? Is that portable for non-unix? I think cabal does work on some non-unix systems. Even windows provides POSIX, it's _the_ C standard. If you are going to find a common set of C functions, that'll be it. Don't

[Haskell-cafe] UI-state, using State Monad or IORef?

2009-01-30 Thread guenni68
Hi, at one point I generate n elements of dropdowns dynamically. Whenever I make a selection in any of those choices the others should also be updated, ie. the list of available choices needs to be altered. But I also need to update in place the model that is associated with each individual

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Antony Courtney
On Fri, Jan 30, 2009 at 4:25 PM, Bryan O'Sullivan b...@serpentine.com wrote: On Fri, Jan 30, 2009 at 1:11 PM, Antony Courtney antony.court...@gmail.com wrote: A 2-D vector graphics library such as Java2D ( or Quartz on OS/X or GDI+ on Windows ) supports things like computing tight bounding

[Haskell-cafe] darcs-client on ghc 6.10.1

2009-01-30 Thread Phil
Hi, Was wondering if anyone knew if darcs-server is still maintained? The author¹s e-mail address bounces. The Haskell client is broken in ghc 6.10. I have a straightforward fix for it: phil$ darcs whatsnew hunk ./client/build 2 -ghc -Wall -O2 -o darcs-client -package network Http.hs

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Bryan O'Sullivan
Hi, Antony - It's good to see you active on here. It's not clear to me if the Cairo API in its current form supports vector-level clipping or constructive area geometry, [...] The Cairo clipping API is very PostScripty; you set up a path and then turn it into a clip region instead of

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Valentyn Kamyshenko
Hello John, I'm trying to install the new version of HDBC on my Mac (ghc version is 6.10.1), and get the following error: # cabal upgrade --global Resolving dependencies... 'HDBC-2.0.0' is cached. Configuring HDBC-2.0.0... Preprocessing library HDBC-2.0.0... Preprocessing executables for

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Peter Verswyvelen
I found Cairo rather slow, even on the fastest hardware. Maybe OpenVG will take off one day: http://www.khronos.org/openvg 2009/1/30 Bryan O'Sullivan b...@serpentine.com: Hi, Antony - It's good to see you active on here. It's not clear to me if the Cairo API in its current form supports

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Krzysztof Skrzętnicki
On Sat, Jan 31, 2009 at 00:07, Valentyn Kamyshenko kam...@kamysh.orgwrote: Hello John, I'm trying to install the new version of HDBC on my Mac (ghc version is 6.10.1), and get the following error: # cabal upgrade --global Resolving dependencies... 'HDBC-2.0.0' is cached. Configuring

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Michael Snoyman
2009/1/30 Krzysztof Skrzętnicki gte...@gmail.com On Sat, Jan 31, 2009 at 00:07, Valentyn Kamyshenko kam...@kamysh.orgwrote: Hello John, I'm trying to install the new version of HDBC on my Mac (ghc version is 6.10.1), and get the following error: # cabal upgrade --global Resolving

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Krzysztof Skrzętnicki
On Sat, Jan 31, 2009 at 00:45, Krzysztof Skrzętnicki gte...@gmail.comwrote: On Sat, Jan 31, 2009 at 00:07, Valentyn Kamyshenko kam...@kamysh.orgwrote: Hello John, I'm trying to install the new version of HDBC on my Mac (ghc version is 6.10.1), and get the following error: # cabal upgrade

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Valentyn Kamyshenko
Thanks, Krzysztof - it worked for me. Something is definitely wrong with cabal dependencies: even when HDBC-2.0.0 was installed, it tried to install it again (and failed) when I tried to install HDBC-postgresql and HDBC-sqlite3. Manual installation (./Setup configure; ./Setup build; ./Setup

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread John Goerzen
On Fri, Jan 30, 2009 at 03:50:30PM -0800, Michael Snoyman wrote: [3 of 7] Compiling Database.HDBC.Statement ( Database/HDBC/Statement.hs, dist/build/Database/HDBC/Statement.o ) Database/HDBC/Statement.hs:113:9: Type constructor `Exception' used as a class In the instance

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread John Goerzen
On Sat, Jan 31, 2009 at 12:52:02AM +0100, Krzysztof Skrz??tnicki wrote: I got the same error: Windows XP, GHC 6.10.1. For some reason imported Control.Exception module appears to be 6.8.* version. I found a (temporary) fix: change dependancy in .cabal file to state base = 4. Otherwise

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Austin Seipp
Excerpts from John Goerzen's message of Fri Jan 30 18:31:00 -0600 2009: Why would cabal-install select a different base than running Setup manually? I can't hard-code base = 4 into .cabal because that would break for GHC 6.8 users. I have CPP code that selects what to compile based on

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Niklas Broberg
Thanks for the hint for folks. Why would cabal-install select a different base than running Setup manually? Someone thought it was a good idea to make base-3 the preferred selection for cabal-install, to make the transition from base-3 to base-4 as smooth as possible. It may have worked for

[Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Achim Schneider
Antony Courtney antony.court...@gmail.com wrote: Pretty clear how to build a 2-D Scenegraph library like Piccolo on top of Java2D or Quartz or GDI+; much less clear to me how to build something like that directly on top of XRender. I intended the scene graph to be implemented piece-wise

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread Krzysztof Skrzętnicki
The following change in .cabal file may solve the problems:--- flag base4 description: Choose base-4 if possible default: True library if flag(splitBase) if flag(base4) Build-Depends: base=4, old-time, time, bytestring, containers, old-locale else Build-Depends: base=3,

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Rick R
Cairo is now the graphics back end for Firefox, yes? I thought moving to Cairo resulted in a considerable rendering speedup for FF. On Fri, Jan 30, 2009 at 6:31 PM, Peter Verswyvelen bugf...@gmail.comwrote: I found Cairo rather slow, even on the fastest hardware. Maybe OpenVG will take off

[Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Achim Schneider
Achim Schneider bars...@web.de wrote: -- compositional -- That's certainly the wrong word, but I think you know what I mean. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread John Goerzen
On Sat, Jan 31, 2009 at 01:51:54AM +0100, Krzysztof Skrz??tnicki wrote: The following change in .cabal file may solve the problems:--- flag base4 description: Choose base-4 if possible default: True library if flag(splitBase) if flag(base4) Build-Depends: base=4,

Re: [Haskell-cafe] ANN: HDBC v2.0 now available

2009-01-30 Thread John Goerzen
On Fri, Jan 30, 2009 at 06:40:29PM -0600, Austin Seipp wrote: Excerpts from John Goerzen's message of Fri Jan 30 18:31:00 -0600 2009: Why would cabal-install select a different base than running Setup manually? I can't hard-code base = 4 into .cabal because that would break for GHC

Re: [Haskell-cafe] what does atomically# mean?

2009-01-30 Thread Daryoush Mehrtash
I like to look at the code where the runtime detects a TVar, inside an atomic block, has been changed by another thread and hence it aborts the atomic operation. Any suggestion as to where I would find the code? daryoush On Sun, Dec 7, 2008 at 10:48 PM, Don Stewart d...@galois.com wrote:

Re: [Haskell-cafe] Re: Why binding to existing widget toolkits doesn't make any sense

2009-01-30 Thread Conal Elliott
Hi Antony, Hopefully some enterprising Haskell hacker will wrap Cairo in a nice purely functional API. Jefferson Heard is working on such a thing, called Hieroglyph. Lately I've been helping him simplify the design and shift it toward a clear, composable semantic basis, i.e. genuinely

Re: [Haskell-cafe] Re: GHCi Memory Leak in Windows Vista

2009-01-30 Thread Andir
2009/1/23 Duncan Coutts duncan.cou...@worc.ox.ac.uk: Did either of you file a ghc ticket about this issue? As result after reproducing by other users I create new ghc bug: http://hackage.haskell.org/trac/ghc/ticket/2992 ___ Haskell-Cafe mailing list