Sorry.  I mis-typed.  Then I tried to un-record the patch I had recorded.  Darcs crashed (log below).

Since I cannot un-record it, all I could do was to push it.

Sigh

Anyway, it's a small change fixing a bug in TcSimplify that mixed up implication constraints and implicit parameters; it fixes one of the two bugs reported in Trac #1033

Simon

| -----Original Message-----
| From: cvs-all-bounces@haskell.org [mailto:cvs-all-bounces@haskell.org] On Behalf Of Lemmih
| Sent: 01 December 2006 15:28
| To: Simon Peyton-Jones
| Cc: cvs-ghc@haskell.org
| Subject: Re: patch applied (ghc): q
|
| On 12/1/06, Simon Peyton Jones <simonpj@microsoft.com> wrote:
| > Thu Nov 30 19:42:07 PST 2006  simonpj@microsoft.com
| >   * q
| >
| >     M ./compiler/typecheck/Inst.lhs -1 +3
| >     M ./compiler/typecheck/TcSimplify.lhs -4 +1
|
| q?

sh-2.04$ darcs unrecord

Fri Dec  1 03:42:07 GMT Standard Time 2006  simonpj@microsoft.com
  * q
Shall I unrecord this patch? (1/1121) [ynWvpxqadjk], or ? for help: y

Wed Nov 29 22:52:43 GMT Standard Time 2006  simonpj@microsoft.com
  * Remove trace
Shall I unrecord this patch? (2/1121) [ynWvpxqadjk], or ? for help: d

darcs.exe: failed to read patch in get_extra:
Fri Apr  7 11:18:39 GMT Standard Time 2006  Simon Marlow <simonmar@microsoft.com>
  * Fix a bug related to threads blocked on blackholes
  We weren't making them live early enough, with the result that
  finalizable objects referred to only by a thread blocked on a black
  hole could be finalized too early (see conc057 test).
Perhaps this is a 'partial' repository?

I'm switching to non-partial repositories for most of my GHC trees now.  This 
way I avoid the whole class of get_extra failures, which seem to be cropping up 
quite a lot these days.  To start, you can grab:

   http://darcs.haskell.org/ghc-HEAD-20061109.tar.bz2

And then pull into that tree.  Doing 'darcs get' without --partial probably 
won't work on Windows because some of the patches interact badly with 
case-insensitive file systems.

Non-partial trees aren't so bad: you only need to download the whole thing once, 
then you can just copy it to make new trees.  Don't 'darcs get' on Windows, 
again due to the case-insensitivity problem, but definitely *do* 'darcs get' on 
Unix, because it'll share the patch files between the two trees.

Cheers,
	Simon

Simon Peyton-Jones wrote:
> Sorry.  I mis-typed.  Then I tried to un-record the patch I had recorded.  Darcs crashed (log below).
> 
> Since I cannot un-record it, all I could do was to push it.
> 
> Sigh
> 
> Anyway, it's a small change fixing a bug in TcSimplify that mixed up implication constraints and implicit parameters; it fixes one of the two bugs reported in Trac #1033
> 
> Simon
> 
> | -----Original Message-----
> | From: cvs-all-bounces@haskell.org [mailto:cvs-all-bounces@haskell.org] On Behalf Of Lemmih
> | Sent: 01 December 2006 15:28
> | To: Simon Peyton-Jones
> | Cc: cvs-ghc@haskell.org
> | Subject: Re: patch applied (ghc): q
> |
> | On 12/1/06, Simon Peyton Jones <simonpj@microsoft.com> wrote:
> | > Thu Nov 30 19:42:07 PST 2006  simonpj@microsoft.com
> | >   * q
> | >
> | >     M ./compiler/typecheck/Inst.lhs -1 +3
> | >     M ./compiler/typecheck/TcSimplify.lhs -4 +1
> |
> | q?
> 
> sh-2.04$ darcs unrecord
> 
> Fri Dec  1 03:42:07 GMT Standard Time 2006  simonpj@microsoft.com
>   * q
> Shall I unrecord this patch? (1/1121) [ynWvpxqadjk], or ? for help: y
> 
> 
> Wed Nov 29 22:52:43 GMT Standard Time 2006  simonpj@microsoft.com
>   * Remove trace
> Shall I unrecord this patch? (2/1121) [ynWvpxqadjk], or ? for help: d
> 
> darcs.exe: failed to read patch in get_extra:
> Fri Apr  7 11:18:39 GMT Standard Time 2006  Simon Marlow <simonmar@microsoft.com>
>   * Fix a bug related to threads blocked on blackholes
>   We weren't making them live early enough, with the result that
>   finalizable objects referred to only by a thread blocked on a black
>   hole could be finalized too early (see conc057 test).
> Perhaps this is a 'partial' repository?

May I most humbly request a clarification?

                                                     Juliusz

On Mon, Dec 18, 2006 at 12:54:36AM +0000, Juliusz Chroboczek wrote:
> 
> Juliusz Chroboczek <jch@pps.jussieu.fr> added the comment:
> 
> May I most humbly request a clarification?
> 
>                                                      Juliusz

There is a (hidesouly large) example of what looks like the same problem
in

    http://bugs.darcs.net/issue317

Sorry about the size - I spent a while trying to reproduce the problems
we've been having with minimal repositories and failed.

Thanks
Ian

Closing as a duplicate of issue317 (I don't really know, but it seems like a
reasonable guess)