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
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:
Marcin Kosiba marcin.kosiba at 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
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
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,
Salvatore Insalaco kirb...@gmail.com 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.
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
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
The Mac Binary is a great addition! :-) Thanks!
On Fri, Jul 24, 2009 at 6:52 AM, Hamish Mackenzie
ham...@firestream.co.ukwrote:
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
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
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
2009/7/25 Thomas Davie tom.da...@gmail.com:
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
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
On 24 Jul 2009, at 18:01, Hamish Mackenzie wrote:
2009/7/25 Thomas Davie tom.da...@gmail.com:
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
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 everything
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
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 random
On Fri, Jul 24, 2009 at 11:29 AM, Felipe Lessa felipe.le...@gmail.comwrote:
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 =
It seems this was the case, thank you!
/Tobias
2009/7/24 Felipe Lessa felipe.le...@gmail.com:
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)
On Fri, Jul 24, 2009 at 11:08 AM, Don Stewartd...@galois.com 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
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
felipe.le...@gmail.com wrote:
On Fri, Jul 24, 2009 at 08:11:12PM +0200, Tobias Olausson wrote:
prop_schedule ::
On Thu, Jul 23, 2009 at 6:12 PM, John Van Enkvane...@gmail.com 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
On Tue, 21 Jul 2009 09:39:59 +0200, silent_stream silent_str...@126.com
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
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
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
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
Don Stewartd...@galois.com 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
thomas.dubuisson:
Don Stewartd...@galois.com 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
On Fri, 24 Jul 2009 21:16:15 +0200, Henk-Jan van Tuyl hjgt...@chello.nl
wrote:
On Tue, 21 Jul 2009 09:39:59 +0200, silent_stream
silent_str...@126.com 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
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
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
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
32 matches
Mail list logo
