[Haskell-cafe] ANNOUNCE: graphviz-2999.1.0.2

2009-07-24 Thread Ivan Lazar Miljenovic
This is a bug release that fixes a bug spotted by Srihari Ramanathan where the Dot representation of Color values were double-quoted when they shouldn't have been. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskel

[Haskell-cafe] YAHT Question about Exercise 4.8

2009-07-24 Thread Futari
Hi, I was trying to use the solution given, but I don't know how to use it... How do I create something that is of type List? data List a = Nil | Cons a (List a) >From the previous examples, I was thinking something like Cons 'a' 'b' 'c' would create a list ['a','b','c'] but it gave me errors...

[Haskell-cafe] Re: System.Mem.performGC leaks?

2009-07-24 Thread Neal Alexander
Simon Marlow wrote: On 23/07/2009 11:53, Simon Marlow wrote: On 22/07/2009 02:51, Neal Alexander wrote: Neal Alexander wrote: Compiled with "ghc -O2 -fvia-C -optc-O2 -funbox-strict-fields -threaded" btw. GHC 6.10.3 on 64bit windows7. Interesting. It's completely flat on Linux, but gobbles

Re: [Haskell-cafe] Haskell on a VPS

2009-07-24 Thread Jeremy Shaw
At Thu, 23 Jul 2009 10:53:40 -0400, John Van Enk wrote: > > Has any one used a service similar to (or equivelant to) Slicehost or > Linode to run Haskell network applications? Ok, I discovered an issue with some VPSes. There are two virtualization technologies in common use, OpenVZ and Xen. With

Re: [Haskell-cafe] generalize RecordPuns and RecordWildCards to work with qualified names?

2009-07-24 Thread Iavor Diatchki
Hello, I think that Even refers to an example like this: module A where data A = A { a :: Int } The following works: {-# LANGUAGE NamedFieldPuns #-} module B where import A f (A { a }) = a However, if we import "A" qualified, then punning does not seem to work: {-# LANGUAGE NamedFieldP

[Haskell-cafe] Re: Curl error message

2009-07-24 Thread Henk-Jan van Tuyl
On Fri, 24 Jul 2009 21:16:15 +0200, Henk-Jan van Tuyl wrote: On Tue, 21 Jul 2009 09:39:59 +0200, silent_stream wrote: When I compile curl-1.3.5 on Windows xp. I run the prompt "runghc Setup.hs configure " I got the following error Setup.hs: Missing dependency on a foreign library: * Mi

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Don Stewart
thomas.dubuisson: > Don Stewart wrote: > > Oh, so it is scanning all the files and not finalizing them? > > That's the implication, but I can't seem to trigger the case short of > [re]moving the .leksah directory and redoing the config that way... > when I do that... > > A brief black-box view of

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Thomas DuBuisson
Don Stewart wrote: > Oh, so it is scanning all the files and not finalizing them? That's the implication, but I can't seem to trigger the case short of [re]moving the .leksah directory and redoing the config that way... when I do that... A brief black-box view of it shows that it opens and closes

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Don Stewart
Oh, so it is scanning all the files and not finalizing them? thomas.dubuisson: > BTW, it works better when I don't give it a directory with numerous > branches of Xen and the Linux kernel - somewhat unfortunate that this > causes massive memory use. Now to figure out how to get it to > properly c

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Thomas DuBuisson
BTW, it works better when I don't give it a directory with numerous branches of Xen and the Linux kernel - somewhat unfortunate that this causes massive memory use. Now to figure out how to get it to properly configure/build projects! Thomas On Fri, Jul 24, 2009 at 11:44 AM, Thomas DuBuisson wro

Re: [Haskell-cafe] lifting restrictions on defining instances

2009-07-24 Thread wren ng thornton
David Menendez wrote: wren ng thornton wrote: John Lask wrote: Can anyone explain the theoretical reason for this limitation, ie other than it is a syntactical restriction, what would it take to lift this restriction ? There are a couple of theoretical concerns, mainly that full type-level la

Re: [Haskell-cafe] Re:Haskell-Cafe Digest, Vol 71, Issue 30

2009-07-24 Thread Henk-Jan van Tuyl
On Tue, 21 Jul 2009 09:39:59 +0200, silent_stream wrote: When I compile curl-1.3.5 on Windows xp. I run the prompt "runghc Setup.hs configure " I got the following error Setup.hs: Missing dependency on a foreign library: * Missing C library: curl This problem can usually be solved by instal

Re: [Haskell-cafe] Haskell on a VPS

2009-07-24 Thread Bit Connor
On Thu, Jul 23, 2009 at 6:12 PM, John Van Enk wrote: > No, I just want to know if there are any gotchas in the typical VPS > setups that for some strange reason wouldn't like Haskell binaries. I > couldn't think of any, but I miss details some times. There used to be problems with ghci running und

Re: [Haskell-cafe] QuickCheck behaving strange

2009-07-24 Thread Miguel Mitrofanov
I've felt a bit stupid using instance Monoid ()... but it seemed quite natural. On 24 Jul 2009, at 22:33, Jason Dagit wrote: On Fri, Jul 24, 2009 at 11:29 AM, Felipe Lessa wrote: On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote: > prop_schedule :: Ord t => [Interval a t]

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Thomas DuBuisson
On Fri, Jul 24, 2009 at 11:08 AM, Don Stewart wrote: > thomas.dubuisson: >> "Now updating metadata ..." > > How many packages do you have installed? :-) > 90 packages - so no more than most other devs I think. ___ Haskell-Cafe mailing list Haskell-Cafe@h

Re: [Haskell-cafe] QuickCheck behaving strange

2009-07-24 Thread Tobias Olausson
It seems this was the case, thank you! /Tobias 2009/7/24 Felipe Lessa : > On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote: >> prop_schedule :: Ord t => [Interval a t] -> Bool >> prop_schedule []        = True >> prop_schedule [a]       = True >> prop_schedule (x:y:ys)  = end x <=

Re: [Haskell-cafe] QuickCheck behaving strange

2009-07-24 Thread Jason Dagit
On Fri, Jul 24, 2009 at 11:29 AM, Felipe Lessa wrote: > On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote: > > prop_schedule :: Ord t => [Interval a t] -> Bool > > prop_schedule []= True > > prop_schedule [a] = True > > prop_schedule (x:y:ys) = end x <= begin y && prop

Re: [Haskell-cafe] QuickCheck behaving strange

2009-07-24 Thread Felipe Lessa
On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote: > prop_schedule :: Ord t => [Interval a t] -> Bool > prop_schedule []= True > prop_schedule [a] = True > prop_schedule (x:y:ys) = end x <= begin y && prop_schedule (y:ys) [..] > How come QuickCheck passes 100 tests of r

[Haskell-cafe] QuickCheck behaving strange

2009-07-24 Thread Tobias Olausson
Hey Guys! I was writing a small implementation of the earliest-end-first algorithm for the Interval Scheduling problem just now. When I was done, I thought it would be a nice thing to have a QuickCheck property for my code. This is what I came up with: -- Intervals are just triplets type Interval

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Don Stewart
thomas.dubuisson: > "Now updating metadata ..." How many packages do you have installed? :-) > Why does it need more than 3GB of RAM at this point (I have 4GB and > see 70% going to Leksah before I kill it)? I didn't point it at > _that_ much Haskell code to parse though. Does it read everythin

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Thomas Davie
On 24 Jul 2009, at 18:01, Hamish Mackenzie wrote: 2009/7/25 Thomas Davie : The new detach feature is great, it makes it much more usable for OS X users, but there's a small problem – if you detach the main source window (from the default config), you end up with a window containing just t

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Thomas DuBuisson
"Now updating metadata ..." Why does it need more than 3GB of RAM at this point (I have 4GB and see 70% going to Leksah before I kill it)? I didn't point it at _that_ much Haskell code to parse though. Does it read everything into some bloated internal format before parsing? Thomas On Fri, Jul

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Hamish Mackenzie
2009/7/25 Thomas Davie : > The new detach feature is great, it makes it much more usable for OS X > users, but there's a small problem – if you detach the main source window > (from the default config), you end up with a window containing just the > package management/documentation stuff, which is

[Haskell-cafe] Re: [Haskell] ANN: yices 0.0.0.1 - Haskell programming interface to Yices SMT solver

2009-07-24 Thread Aaron Tomb
You may want to take a look at this, as well: http://www.sivity.net/projects/smt-yices Aaron On Jul 23, 2009, at 5:32 PM, Ahn, Ki Yung wrote: http://hackage.haskell.org/package/yices Incomplete (no bitvectors) syntax, parser, and inter process communication to Yices from Haskell through pipe

[Haskell-cafe] Re: System.Mem.performGC leaks?

2009-07-24 Thread Simon Marlow
On 23/07/2009 11:53, Simon Marlow wrote: On 22/07/2009 02:51, Neal Alexander wrote: Neal Alexander wrote: Compiled with "ghc -O2 -fvia-C -optc-O2 -funbox-strict-fields -threaded" btw. GHC 6.10.3 on 64bit windows7. Interesting. It's completely flat on Linux, but gobbles up about 1MB/s on Win

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread David Leimbach
The Mac Binary is a great addition! :-) Thanks! On Fri, Jul 24, 2009 at 6:52 AM, Hamish Mackenzie wrote: > Hi, > > Just a quick note to let people know we released a new version of > Leksah this week. Thanks for the help and feedback on the previous > version. We have done our best to add the

Re: [Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Thomas Davie
On 24 Jul 2009, at 15:52, Hamish Mackenzie wrote: Hi, Just a quick note to let people know we released a new version of Leksah this week. Thanks for the help and feedback on the previous version. We have done our best to add the features we thought were most pressing. Please give it a go an

[Haskell-cafe] ANN: Leksah 0.6

2009-07-24 Thread Hamish Mackenzie
Hi, Just a quick note to let people know we released a new version of Leksah this week. Thanks for the help and feedback on the previous version. We have done our best to add the features we thought were most pressing. Please give it a go and let us know what features you would like to see most

[Haskell-cafe] Re: ANN: darcs 2.3.0

2009-07-24 Thread Petr Rockai
Salvatore Insalaco writes: > Great! Just a little note: MSYS isn't required to install Darcs with > cabal on Windows, just to develop or run tests. Oh, good to know. I had no idea you could use cmd.exe to run cabal and darcs and that it would work. Yours, Petr.

Re: [Haskell-cafe] Static linking

2009-07-24 Thread Marcin Kosiba
On Friday 24 July 2009, Michael Oswald wrote: > Hello, > > > I wrote a small installer program which configures and installs some > software packages. In order to be able to let it run on a different > machine, where I possibly don't have the needed shared libraries, I tried > to link it statically

Re: [Haskell-cafe] ANN: darcs 2.3.0

2009-07-24 Thread Salvatore Insalaco
Great! Just a little note: MSYS isn't required to install Darcs with cabal on Windows, just to develop or run tests. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Static linking

2009-07-24 Thread Michael Oswald
Marcin Kosiba gmail.com> writes: > Try: > ghc --make Installer.hs -static -optl-static -optl-pthread > Ah, that fixed it. Thanks a lot! > If that doesn't work, you can always do a ghc -v, find the command it uses > for > linking, modify it and run it manually. Peter suggested t

[Haskell-cafe] Static linking

2009-07-24 Thread Michael Oswald
Hello, I wrote a small installer program which configures and installs some software packages. In order to be able to let it run on a different machine, where I possibly don't have the needed shared libraries, I tried to link it statically, following this advice: http://www.haskell.org/haskellwi

[Haskell-cafe] Don't miss CUFP

2009-07-24 Thread Simon Peyton-Jones
Hey, guys, This list has zillions of people who use Haskell for day-to-day work. So you might want to come to the now-annual workshop for Commercial Users of Functional Programming (CUFP) http://cufp.galois.com 4 Sept 2009, Edinburgh Speakers from companies including Fa