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

2008-10-22 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 Wed Oct 22 18:02:05 BST 2008. checking out

Re: type families & type-level recursion

2008-10-22 Thread Manuel M T Chakravarty
Peter Gavin: > instance ( NaturalT n > , zero ~ (n :==: D0) > , zero ~ True ) > => TestIter n True where > testIter _ _ = "" I am wondering why you are writing (zero ~ (n :==: D0), zero ~ True) instead os just (True ~ (n :==: D0)) - after all zero appears nowhere els

[nightly] 22-Oct-2008 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2008-10-22 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Wed Oct 22 19:00:01 BST 2008. **

Re: Validation failures under Windows

2008-10-22 Thread Thomas Schilling
FWIW, I had some validate failures under windows dependening on which shell I used. I have to check again which one it was, though. 2008/10/22 Mitchell, Neil <[EMAIL PROTECTED]>: > Hi > > >> > Could it be that buffering has a different default on Windows? >> >> 2228 is now an expected failure on

Hierarchical Modules for GHC

2008-10-22 Thread Thomas Schilling
Tjena! After some dependency analysis and a (more or less) careful inspection of the GHC source code, I put together a proposal for GHC's new hierarchical layout: http://hackage.haskell.org/trac/ghc/wiki/ModuleDependencies/Hierarchical FWIW, here's the current dependency graph of the top-level

patch applied (ghc-6.10/ghc): Update ANNOUNCE

2008-10-22 Thread Ian Lynagh
Wed Oct 22 09:44:23 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Update ANNOUNCE M ./ANNOUNCE -45 +57 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20081022164423-3fd76-9ec992e118fdbf6819ad84f3a0f93f044db80e77.gz ___ Cvs-g

RE: type families & type-level recursion

2008-10-22 Thread Simon Peyton-Jones
| --- | Ok, I'll keep that in mind. Equalities in the constraints for instances are | fully supported, though, is that right? Yes, right. Simon ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: type families & type-level recursion

2008-10-22 Thread Peter Gavin
Simon Peyton-Jones wrote: Peter Yes, this is the kind of thing you should be able to do. But a) I'm boggled by your code -- I didn't understand it at all. Doubtless there are supporting definitions that you didn't give. It looks very > Oleg-like; definitely worth asking hin. For example, w

patch applied (testsuite): Test Trac #2714

2008-10-22 Thread Simon Peyton Jones
Wed Oct 22 07:55:17 PDT 2008 [EMAIL PROTECTED] * Test Trac #2714 A ./tests/ghc-regress/typecheck/should_fail/T2714.hs A ./tests/ghc-regress/typecheck/should_fail/T2714.stderr M ./tests/ghc-regress/typecheck/should_fail/all.T +1 View patch online: http://darcs.haskell.org/testsuite/

patch applied (ghc): Fix Trac #2714 (a minor wibble)

2008-10-22 Thread Simon Peyton Jones
Wed Oct 22 07:51:38 PDT 2008 [EMAIL PROTECTED] * Fix Trac #2714 (a minor wibble) In boxy_match (which is a pure function used by preSubType) we can encounter TyVars not just TcTyVars; this patch takes account of that. M ./compiler/typecheck/TcUnify.lhs -1 +4 View patch online: ht

patch applied (ghc-6.10/ghc): Improve crash message from applyTys and applyTypeToArgs

2008-10-22 Thread Ian Lynagh
Tue Sep 23 06:54:19 PDT 2008 [EMAIL PROTECTED] * Improve crash message from applyTys and applyTypeToArgs M ./compiler/coreSyn/CoreUtils.lhs -1 +2 M ./compiler/types/Type.lhs -2 +2 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20080923135419-1287e-67d799dd9380f

patch applied (ghc-6.10/ghc): Fix Trac #2668, and refactor TcDeriv

2008-10-22 Thread Ian Lynagh
Tue Oct 21 07:29:22 PDT 2008 [EMAIL PROTECTED] * Fix Trac #2668, and refactor TcDeriv TcDeriv deals with both standalone and ordinary 'deriving'; and with both data types and 'newtype deriving'. The result is really rather compilcated and ad hoc. Ryan discovered #2668; this patch fi

patch applied (ghc-6.10/ghc): Set configure.ac up for the 6.10.1 release

2008-10-22 Thread Ian Lynagh
Wed Oct 22 07:21:25 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Set configure.ac up for the 6.10.1 release M ./configure.ac -2 +2 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20081022142125-3fd76-9279a3eaad15a9c4898f2f87ac9ea182323bc1b3.gz

patch applied (ghc-6.10/ghc): Reject programs with superclass equalities for now

2008-10-22 Thread Ian Lynagh
Tue Oct 21 06:17:21 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Reject programs with superclass equalities for now - The current implementation of type families cannot properly deal with superclass equalities. Instead of making a half-hearted attempt at supporting them, whic

patch applied (ghc-6.10/ghc): Re-export Located(..) and related functions

2008-10-22 Thread Ian Lynagh
Mon Oct 20 03:24:22 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * Re-export Located(..) and related functions So that clients don't need to import SrcLoc M ./compiler/main/GHC.hs +14 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20081020102422-12142-b3b1e86570bee4

RE: type families & type-level recursion

2008-10-22 Thread Simon Peyton-Jones
Peter Yes, this is the kind of thing you should be able to do. But a) I'm boggled by your code -- I didn't understand it at all. Doubtless there are supporting definitions that you didn't give. It looks very Oleg-like; definitely worth asking hin. For example, when you write > class ( Nat

Re: patches to network, stm and HUnit

2008-10-22 Thread Ian Lynagh
Hi Duncan, On Tue, Oct 21, 2008 at 10:25:29PM -0700, Duncan Coutts wrote: > > Attached are patches to bump the version numbers of stm and network as > described in the previous email on this topic. All the others were done > a few days ago but stm and network were not. All applied, thanks! Th

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

2008-10-22 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 Oct 21 18:02:05 BST 2008. checking out

[nightly] 21-Oct-2008 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2008-10-22 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Tue Oct 21 19:00:02 BST 2008. **

RE: Validation failures under Windows

2008-10-22 Thread Mitchell, Neil
Hi > > Could it be that buffering has a different default on Windows? > > 2228 is now an expected failure on Windows. See #2628. Fair enough. > > As a secondary issue, it appears that the failure reports > are occuring > > after the script has started to print out information about > the n

Re: patch applied (ghc): FIX #2693

2008-10-22 Thread Simon Marlow
Simon Peyton-Jones wrote: For patches that should be merged to the 6.10 branch, the protocol is this: * change the Trac ticket type from 'bug' to 'merge'. * change owner to 'igloo' * add a comment giving the patch that needs to be merged I'm not sure we ever told you about this, but it helps I

Re: Dynamic Library Support for x86_64/Linux

2008-10-22 Thread Simon Marlow
Clemens Fruhwirth wrote: Hi everyone, I'm happy to announce that dynamic library support is back and shows promissing results with the testsuite. At the beginning of the year we had a similar situation but then due to my lack of time, I was not able to complete the whole thing and it started bit

Re: Validation failures under Windows

2008-10-22 Thread Simon Marlow
Mitchell, Neil wrote: Thanks Thorkil, more information: => 2228(normal) cd ./ghc-e/should_run && $MAKE --no-print-directory -s 2228 2228.run.stdout 2>2228.run.stderr => 2636(normal) cd ./ghc-e/should_run && $MAKE --no-print-directory -s 2636 2636.run.stdout 2>2636.run.stderr Actual stdo

Daily report for stable

2008-10-22 Thread BuildBot Collator
Build results: gabor stable:pass kgardas stable: pass malcolm stable: pass tnaur x86 Linux stable: fail (failed stage1) x86 Linux stable:pass x86 Windows stable: fail (failed stage1) x86 Windows stable fast: pass pass pass pass pass pass x86-64 Linux stab

Daily report for head

2008-10-22 Thread BuildBot Collator
Build results: x86-64 Linux head: fail (failed stage2 bindisttest) x86 Windows head:fail (failed darcs) x86 Windows head fast: pass pass fail (failed stage2) pass pass x86-64 Linux head unreg: fail (failed stage2) Old unexpected test failures: 22281 x86 Window