Hi Tomasz,
On Thu, Sep 21, 2006 at 08:03:53PM +0200, Tomasz Zielonka wrote:
I am getting nonsensical execution statistics (+RTS -Sstderr) when
running programs in SMP mode (+RTS -N2).
Example:
Task 0 (worker) : MUT time: 401572821.14s ( 21.89s elapsed)
GC
Brian Smith wrote:
On 9/25/06, *Ian Lynagh* [EMAIL PROTECTED] mailto:[EMAIL PROTECTED] wrote:
On Wed, Sep 13, 2006 at 12:23:27PM -0500, Brian Smith wrote:
* conc023(ghci)
This test only fails when run via GHCi. This test runs out of
memory. The
error message to
On 9/26/06, Simon Marlow [EMAIL PROTECTED] wrote:
Brian Smith wrote: The test always failed. When I decreased the number of threads in the test from 5,000 to 1,400 or so, then the tests passed sometimes, and sometimes failed. Decreasing the number of threads to under a thousand
made the test pass
#909: problems building base package with --make; wired in things are assumed to
not be in current package
-+--
Reporter: igloo |Owner: simonpj
Type: bug | Status: new
Priority:
IFM 2007
Sixth International Conference on Integrated Formal Methods
2nd - 6th July 2007, Oxford, UK
http://www.ifm2007.org
First Call for Technical Papers
The design and analysis of computing systems
Lemmih wrote:
Change:
table :: [(String, Integer)] - String - Maybe Integer
table ls str = Map.lookup str fm
where fm = trace Trace: making the map $ Map.fromList ls
to:
table :: [(String, Integer)] - String - Maybe Integer
table ls = \str - Map.lookup str fm
where fm =
On Fri, Sep 22, 2006 at 08:30:20PM -0400, George Beshers wrote:
This starts out with my being interested in darcs - git related issues.
Since git uses sha1 I wanted to have the ability to calculate sha1 in
an application where I was intending to use darcs as a back-end.
The performance gap
Greetings denizens of the Haskell mailing list!
Though this is not strictly an announcement about Haskell, it might be of
interest to a number of folk here.
The Research Group here at Business Objects has been beavering away since
1999 on a suite of technologies to allow us to represent certain
On Tue, Sep 26, 2006 at 09:22:21PM -0700, Luke Evans wrote:
Here are a few 'highlights' from our feature list:
- A lazily evaluated, strictly-typed language called CAL, with many
similarities to Haskell
Do you think that CAL would be a good target for a Haskell compiler?
In other words, would
John Meacham [EMAIL PROTECTED] writes:
I would also like to see these. I like the python syntax
stuff...
but really most anything will do.
And if we want to embed python code?
-Matthias
___
Haskell-prime mailing list
On 9/23/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote:
paul.hudak:
Thanks Don. I alerted our IT staff this morning, and they seem to have
things working again, although here is their final response:
The web server had over 150 client connections which exceeded
its limit. I
Sorry to bother everyone with this, but some input I've gotten from the
community has been helpful. Haskell.org is up again, and here is the
latest action on part of our IT staff: If anything further develops
I'll let you know.
Thanks, -Paul
I had to reboot haskell this AM it was really
Is there anything useful about the class of functors which foralls can
move across? In other words, functors f, for which for any function g
there is this isomorphism
f (forall a. g a) = forall a. f (g a)
In this Haskell snippet I've called the class Hoistable and the
isomorphism is
On Mon, 25 Sep 2006, Christoph Herrmann wrote:
I'm looking for an honest classification. The aim of the GLs is,
as I think, the degree of abstraction. The question is, how much
*intelligence* provided by preprocessing, libraries etc. is permitted.
Personally, I think Haskell should be a 5GL
Something's going on. Haskell.org seems to be down again.
That's the 3rd time in 4 days.
-- Don
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Donald Bruce Stewart wrote:
You're cabal version is too old then. Try updating either Cabal or GHC.
-- Don
It's the latest version (6.4.1) packaged for Ubuntu. I'll have to
download and install a newer version manually. Unfortunately, the
download site seems to be down again :(
We are looking into it. Sorry for the inconvenience. -Paul
Jason Dagit wrote:
On 9/23/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote:
Hmm. Looks like its gone down again?
And again...
Seems fishy...
Very.
Professor Paul Hudak
Department of Computer ScienceOffice: (203)
From:
HostTracker Notifier [mailto:[EMAIL PROTECTED]
Sent: 26 September 2006 01:19
To: [EMAIL PROTECTED]
Subject: Error Alert
Hello,
The
following url is down:
http://haskell.org
the error
detected is:
Http error:Http_client.No_reply
Error was
detected at
Here is a paper on how to do logic programming in Haskell
Deals with a logic puzzle and how the haskell and prolog solutions compare
http://web.engr.oregonstate.edu/~erwig/zurg/
In terms of automated theorem proving here is another paper
The official name of the assembler for 360/370 was BAL (basic assembly
language). I wrote code in it back in prehistoric times g.
Murray Gross
Brooklyn College
On Mon, 25 Sep 2006, Jerzy Karczmarczuk wrote:
Alex Queiroz wrote:
On 9/25/06, Ch. A. Herrmann [EMAIL PROTECTED] wrote:
Ch. A. Herrmann wrote:
do you think that Haskell is a 3GL (third generation language) or a 5GL or
that the hierarchy of programming language generations is useless?
I did a literature search on language generations a few years ago when I
was preparing the first incarnation of the local
don't know whether this is useful/related, but
- I got a whole bunch of very old haskell.org emails today
(so they must have been hung up somewhere)
- some of the ghc trac tickets look bogus, filled with links
(#889, sent 05 Sept, received today, 26 Sept;
#751, sent 05 Sept, received
lists:
Donald Bruce Stewart wrote:
Probably you didn't build fps with profiling as well? You can rebuild
fps with:
runhaskell Setup.hs configure -p
as the first step.
That worked on my Windows box at home, but on my Linux box at work, I
got unrecognized flag -p.
You're cabal
dons:
Something's going on. Haskell.org seems to be down again.
That's the 3rd time in 4 days.
And of course sending this message when the server _was_ down is guaranteed
to lead to confusion when it is finally delivered, and the server is _up_.
-- Don
Paul Hudak wrote:
I had to reboot haskell this AM it was really hung. My first
assumption is abuse by web crawlers. I have denied access to all web
crawlers at the moment while I continue looking further into this
and the load is staying low. I'll keep you posted.
I've seen this
On 9/25/06, Lyle Kopnicky [EMAIL PROTECTED] wrote:
Donald Bruce Stewart wrote:
You're cabal version is too old then. Try updating either Cabal or GHC.
-- Don
It's the latest version (6.4.1) packaged for Ubuntu. I'll have to download
and install a newer version manually. Unfortunately,
Hi folks,
I'm competing in a contest at work, and we're allowed to use whatever
language we want. I decided this was my chance to prove to people that
Haskell was up to the challenge. Unfortunately, I ran into performance
problems. Since the contest ends this Friday, I've decided to switch to
On Tuesday 26 September 2006 16:44, Lyle Kopnicky wrote:
Hi folks,
I'm competing in a contest at work, and we're allowed to use whatever
language we want. I decided this was my chance to prove to people that
Haskell was up to the challenge. Unfortunately, I ran into performance
problems.
Hi folks,
I am running GHC 6.4.1 on my Linux box at work, which is the latest
packaged version for Ubuntu Dapper Drake. (They have a 6.4.2 package for
Edgy, but I don't know how to install that. The Synaptic Package Manager
seems to only want to install packages specifically labeled for
Lemmih wrote:
Do you have some test input online?
I've attached some (very short) input files. Sorry I can't provide more
- they're proprietary databases. I know that means you can't actually
test the performance, but can only give me advice. At least you can run
the program on them, and
Robert Dockins wrote:
Humm... well, double nested loops seems like the wrong approach.
It may be. I had hoped it would be fast enough that way.
Also, if you
are using GHC, it's hashtable implementation has farily well-known
performance problems. If all you care about is exact matching, then
Lyle Kopnicky wrote:
[snip]
data TextTable s = TextTable { tableFields :: ![s],
keyFieldIndex :: !Int,
tableRecords :: !(HashTable s (Array Int s)) }
[snip]
listRecords :: AbsString s = TextTable s - IO [TextRecord s]
listRecords
This is a follow-up to a thread from June-July[1]. The question was how to
write the function
initlast :: [a] - ([a], a)
initlast xs = (init xs, last xs)
so that it can be consumed in fixed space:
main = print $ case initlast [0..10] of
(init, last) -
Bertram Felgenhauer wrote:
Lyle Kopnicky wrote:
[snip]
listRecords :: AbsString s = TextTable s - IO [TextRecord s]
listRecords (TextTable fields _ records) = do
keyRecs - HT.toList records
return $ map (fromList . zip fields . elems . snd) keyRecs
Doing
Hi folks,
It turns out Haskell is vindicated. It's my algorithm that was slow. As
Robert Dockins pointed out, the double nested loop is just going to take
a long time.
As evidence, it turns out my C++ version is just as slow as the Haskell
version.
So, I'm going to go back to Haskell, but
I am having some difficulty with creating a dynamic link library using
GHC on windows XP.
I am attempting to follow the example in
http://www.haskell.org/ghc/docs/6.4/html/users_guide/win32-dlls.html
though I have a binary build of ghc 6.5
My problem (I think) is that some of my Haskell
My understanding of the MR is heavily influenced by the work I did on
Hatchet, which is based
directly on Mark Jones' paper (and code) Typing Haskell in Haskell.
I thought I would go back to that paper and see how he defines
simple pattern bindings
and the MR.
I now quote directly from the
37 matches
Mail list logo
