[nightly] 26-Feb-2008 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2008-02-26 Thread GHC Build Reports
Build description = STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Tue Feb 26 18:10:01 GMT 2008. checki

[nightly] 26-Feb-2008 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2008-02-26 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Tue Feb 26 18:00:02 GMT 2008. checking out

Re: Core Lint = complete typechecker?

2008-02-26 Thread Tim Chevalier
On 2/26/08, Stefan O'Rear <[EMAIL PROTECTED]> wrote: > On Tue, Feb 26, 2008 at 10:50:56AM -0800, Tim Chevalier wrote: > > Hi all, > > > > I've been wondering whether the Core Lint pass (that is, what gets > > invoked when you run GHC with -dcore-lint) is a complete typechecker > > for Core. T

Re: Core Lint = complete typechecker?

2008-02-26 Thread Stefan O'Rear
On Tue, Feb 26, 2008 at 10:50:56AM -0800, Tim Chevalier wrote: > Hi all, > > I've been wondering whether the Core Lint pass (that is, what gets > invoked when you run GHC with -dcore-lint) is a complete typechecker > for Core. That is, as far as you know, is it possible to construct a > Core AST

Core Lint = complete typechecker?

2008-02-26 Thread Tim Chevalier
Hi all, I've been wondering whether the Core Lint pass (that is, what gets invoked when you run GHC with -dcore-lint) is a complete typechecker for Core. That is, as far as you know, is it possible to construct a Core AST that will pass Core Lint but segfault at runtime? I was fairly sure I had b

patch applied (ghc): Fix Trac #2111: improve error handling for 'rec' in do-notation

2008-02-26 Thread Simon Peyton Jones
Tue Feb 26 09:56:35 PST 2008 [EMAIL PROTECTED] * Fix Trac #2111: improve error handling for 'rec' in do-notation We were not dealing correctly with all the combinations of do notation mdo notation arrow notation in combination with 'rec' Stmts. I think this p

patch applied (ghc): Remove gaw comment

2008-02-26 Thread Simon Peyton Jones
Tue Feb 26 09:53:05 PST 2008 [EMAIL PROTECTED] * Remove gaw comment M ./compiler/typecheck/TcArrows.lhs -1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Fix Trac #1899; missing equality check in typechecker's constraint simplifier

2008-02-26 Thread Simon Peyton Jones
Tue Feb 26 09:47:43 PST 2008 [EMAIL PROTECTED] * Fix Trac #1899; missing equality check in typechecker's constraint simplifier This patch fixes a missing equality check (uifying type variable b=b) in the new constraint simplifier in TcTyFuns. As it stands, we were making 'b' point to

patch applied (ghc): FIX #2122: file locking bug

2008-02-26 Thread Simon Marlow
Tue Feb 26 02:46:50 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * FIX #2122: file locking bug Second and subsequent readers weren't being inserted into the fd->lock hash table, which meant that the file wasn't correctly unlocked when the Handles were closed. M ./rts/posix/FileLock.c +1

patch applied (ghc): documentation improvements from Frederik Eaton

2008-02-26 Thread Simon Marlow
Tue Feb 26 02:26:12 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * documentation improvements from Frederik Eaton M ./docs/users_guide/ghci.xml -7 +12 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): markup fix

2008-02-26 Thread Simon Marlow
Tue Feb 26 02:25:58 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * markup fix M ./docs/users_guide/ghci.xml -2 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: Dynamic Library support

2008-02-26 Thread Clemens Fruhwirth
At Tue, 26 Feb 2008 09:22:56 +, Simon Marlow wrote: > I think Windows DLLs shouldn't be too hard, it's mostly there already, just > a few bugs left to squash, and we have to deal with the > distribution/installation issues there too (different on every platform, > sadly!). Volunteers who w

Re: Dynamic Library support

2008-02-26 Thread Simon Marlow
Clemens Fruhwirth wrote: I want to be fair with respect to my motivation to dynamic library support: I won't complete it. Windows is just to annoying and I find myself postponing hacking on it week by week. I just have to face it, it's too annoying uninteresting and the last strange error messag

Daily report for stable

2008-02-26 Thread BuildBot Collator
Build results: kahl G5 Gentoo Linux stable:pass mnemosyne x86-64 Gentoo stable: pass tnaur PPC OSX stable 2: fail (failed stage2) tnaur x86 Linux stable: fail (failed stage1) x86 Windows stable: fail (failed bindisttest) fail (failed stage1) x86 Windows stable fast:

Daily report for head

2008-02-26 Thread BuildBot Collator
Build results: x86-64 Linux head: lost x86 Windows head: fail (failed bindisttest) x86 Windows head fast: pass pass lost fail (failed stage1) pass pass kahl G5 Gentoo Linux head: pass x86-64 Linux head unreg: lost Old unexpected test failures: 16791 kah