Hi
I am writing a network server in haskell. Lately I seem to have
introduced a new bug. On Linux, when a client closes the connection to
the server, the server dumps core. On Windows, the error message there
is way different from the core dump on Linux. It says:
application.exe: config.xml:
On 1/8/07, Stefan Aeschbacher [EMAIL PROTECTED] wrote:
There are many things i do not understand. Why the different behaviour
on Linux and Windows? Shouldn't an exception be thrown on Linux
instead of a core dump? I don't use any unsafePerformIO or foreign
calls. Why the changed path? I never
2007/1/8, Kirsten Chevalier [EMAIL PROTECTED]:
On 1/8/07, Stefan Aeschbacher [EMAIL PROTECTED] wrote:
There are many things i do not understand. Why the different behaviour
on Linux and Windows? Shouldn't an exception be thrown on Linux
instead of a core dump? I don't use any unsafePerformIO
Hi
I.e. cabal + hackage + planet.haskell + weekly news ;)
Does hackage actually allow a user to setup a new darcs repo on a
remote server? That's about the only thing lacking - for everything
else people can just use code.google.com, which is way better than
anything any Haskell hacker would
Hi Stefan,
I am writing a network server in haskell. Lately I seem to have
introduced a new bug. On Linux, when a client closes the connection to
the server, the server dumps core.
Are you using any calls to system? Any libraries which may do funky stuff?
application.exe: config.xml:
I've added this useful response to the GHC Building FAQ, here
http://hackage.haskell.org/trac/ghc/wiki/Building/FAQ
Please continue to add material to this page.
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Duncan
| Coutts
| Sent:
Hi
2007/1/8, Neil Mitchell [EMAIL PROTECTED]:
Hi Stefan,
I am writing a network server in haskell. Lately I seem to have
introduced a new bug. On Linux, when a client closes the connection to
the server, the server dumps core.
Are you using any calls to system? Any libraries which may do
So Terminating contains all the terminating terms in the untyped lambda
calculus and none of the non-terminating ones. And the type checker
checks
this. So it sounds to me like the (terminating) type checker solves the
halting problem. Can you please explain which part of this I have
On Mon, Jan 08, 2007 at 08:02:36AM -0500, Lennart Augustsson wrote:
So Terminating contains all the terminating terms in the untyped
lambda calculus and none of the non-terminating ones. And the type
checker checks this. So it sounds to me like the (terminating) type
checker solves the
On 1/8/07, Tomasz Zielonka [EMAIL PROTECTED] wrote:
On Mon, Jan 08, 2007 at 08:02:36AM -0500, Lennart Augustsson wrote:
So it sounds to me like the (terminating) type
checker solves the halting problem. Can you please explain which part
of this I have misunderstood?
Perhaps you, the user,
Issues: In Haskell, any function or constructor can be enclosed in backticks
and then used as an infix operator.
from http://www-users.cs.york.ac.uk/~mfn/hacle/issues/node2.html
But this seems to be contradicted by...
from #haskell
-- 09:19 tphyahoo let func = (+) in 1 `func` 2
-- 09:19
Hello,
I am trying to install hsffig and I get the following error:
bash$ make
:
:
Linking cabal-setup.exe ...
Distribution/Simple/Configure.o:fake:(.text+0x74fd): undefined
reference to [EMAIL PROTECTED]'
collect2: ld returned 1 exit status
I noticed that GHC generates slower code on an Linux amd64 bit platform than
the 32-bit version on a cheaper 32-bit machine.
CPUTime for running sieve of Erathostenes to generate 10,000 primes:
Athlon XP 2800 (32-bit): 7.98 secs
Athlon 64 3800 (64-bit): 10.29 secs
This is using GHC 6.6 on
tphyahoo wrote:
Issues: In Haskell, any function or constructor can be enclosed in backticks
and then used as an infix operator.
from http://www-users.cs.york.ac.uk/~mfn/hacle/issues/node2.html
But this seems to be contradicted by...
from #haskell
-- 09:19 tphyahoo let func =
On 2007-01-07, Imam Tashdid ul Alam [EMAIL PROTECTED] wrote:
is it a good idea to have HaskellForge?
Ruby, Lua and some other languages have already
adopted GForge, and I must say, those sites look
*impressive*!!!
Have you looked at trac? I'm using it for about a dozen projects over
on
On 1/7/07, Brandon S. Allbery KF8NH [EMAIL PROTECTED] wrote:
http://rubyforge.org/ , for one. But I'd argue it's not really
Hackage, so much as a pretty wrapper for darcs.haskell.org. (Gems is
the Ruby equivalent of Cabal and Hackage.)
I've been programming in Ruby for about 1.5 years, and
On 08/01/07, Greg Buchholz [EMAIL PROTECTED] wrote:
...I've also thought it would be nice to be able to say things like...
(foo `liftM2 (,)` bar)
You can fake this:
(-!) = ($)
(!-) = flip ($)
foo -! liftM2 (,) !- bar
Not perfect, but it's interesting nonetheless.
And yes, this was a
On Mon, 8 Jan 2007 08:51:40 -0500
Jim Apple [EMAIL PROTECTED] wrote:
The Terminating datatype takes three parameters:
1. A term in the untyped lambda calculus
2. A sequence of beta reductions
3. A proof that the result of the beta reductions is normalized.
Number 2 is the hard part. For a
Am Montag, 8. Januar 2007 17:15 schrieb Justin Bailey:
[...]
For example, if I want to install Rails (ruby web-app framework), I just
type:
gem install rails
It's pretty slick.
How does this work with the native packaging mechanism on your platform
(RPM, ...)? Does it work behind it's
On 1/8/07, Robin Green [EMAIL PROTECTED] wrote:
On Mon, 8 Jan 2007 08:51:40 -0500
Jim Apple [EMAIL PROTECTED] wrote:
GHC's type checker ends up doing exactly what it was doing before:
checking proofs.
Well, not really - or not the proof you thought you were getting. As I
am constantly at
On 1/8/07, Sven Panne [EMAIL PROTECTED] wrote:
Am Montag, 8. Januar 2007 17:15 schrieb Justin Bailey:
[...]
For example, if I want to install Rails (ruby web-app framework), I just
type:
gem install rails
It's pretty slick.
How does this work with the native packaging mechanism on your
Hello All,
The beta of the 'Gtk2Hs:Getting Started' short tutorial for beginners,
Haskell GUI for Dummies, if you like :-) can be viewed at
http://j-van-thiel.speedlinq.nl/gtk2hs/gtk2hsGetStart.html
It tells what Gtk2Hs is, shows how to write and run 'Hello World',
introduces the api and
Hallo,
On 1/8/07, Hans van Thiel [EMAIL PROTECTED] wrote:
Hello All,
The beta of the 'Gtk2Hs:Getting Started' short tutorial for beginners,
Haskell GUI for Dummies, if you like :-) can be viewed at
http://j-van-thiel.speedlinq.nl/gtk2hs/gtk2hsGetStart.html
Nitpicking: Glade does not
I wrote:
In the meantime, how about the following:
In default non-verbose mode, silently memoize
the list of packages that were not found. Then,
only if something goes wrong, say something like:
The package failed to build. Perhaps the reason
is that one of the following packages was not
David House wrote:
:
| You can fake this:
|
| (-!) = ($)
| (!-) = flip ($)
|
| foo -! liftM2 (,) !- bar
|
| Not perfect, but it's interesting nonetheless.
|
| And yes, this was a product of some #haskell
| brainstorming and algorithm tennis. :)
:-)
Was anyone in that brainstorm
On 08/01/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Was anyone in that brainstorm thinking of Chung-chieh Shan's
-: and :-
(http://www.haskell.org/pipermail/haskell-cafe/2002-July/003215.html)
It's likely. I don't remember exactly where it came from.
--
-David House, [EMAIL PROTECTED]
Robin Green wrote:
Well, not really - or not the proof you thought you were getting. As I
am constantly at pains to point out, in a language with the possibility
of well-typed, non-terminating terms, like Haskell, what you actually
get is a partial proof - that *if* the expression you are
[EMAIL PROTECTED] wrote:
David House wrote:
You can fake this:
(-!) = ($)
(!-) = flip ($)
foo -! liftM2 (,) !- bar
Was anyone in that brainstorm thinking of Chung-chieh Shan's
-: and :-
(http://www.haskell.org/pipermail/haskell-cafe/2002-July/003215.html)
or was the similarity just a
Hey all,
I'm trying to profile my application, which makes use of MissingH.
But when compiling with -prof -auto-all, I get the following error:
Language.hs:8:7:
Could not find module `Data.String':
Perhaps you haven't installed the profiling libraries for
package
On Mon, 2007-01-08 at 18:20 +0100, Hans van Thiel wrote:
Hello All,
The beta of the 'Gtk2Hs:Getting Started' short tutorial for beginners,
Haskell GUI for Dummies, if you like :-) can be viewed at
http://j-van-thiel.speedlinq.nl/gtk2hs/gtk2hsGetStart.html
It tells what Gtk2Hs is, shows
On Mon, 2007-01-08 at 16:11 -0200, Alex Queiroz wrote:
Hallo,
On 1/8/07, Hans van Thiel [EMAIL PROTECTED] wrote:
Hello All,
The beta of the 'Gtk2Hs:Getting Started' short tutorial for beginners,
Haskell GUI for Dummies, if you like :-) can be viewed at
Thanks! I'm sure I could have figured this out by looking at the code,
but it was easier to ask.
It's very cool example, even if it doesn't practical. :)
-- Lennart
On Jan 8, 2007, at 08:51 , Jim Apple wrote:
On 1/8/07, Tomasz Zielonka [EMAIL PROTECTED] wrote:
On Mon, Jan 08, 2007
On 1/3/07, Roberto Zunino [EMAIL PROTECTED] wrote:
1) Why the first version did not typececk?
2) Why the second one does?
3) If I replace (Teq a w) with (Teq w a), as in
SM :: Ord w = Teq w a - Set.Set w - SetM a
then union above does not typecheck! Why? I guess the type variable
On Mon, 2007-08-01 at 18:19 +0100, Sven Panne wrote:
For example, if I want to install Rails (ruby web-app framework), I just
type:
gem install rails
It's pretty slick.
How does this work with the native packaging mechanism on your platform
(RPM, ...)? Does it work behind it's
34 matches
Mail list logo