1. 26 Apr, 2007 3 commits
  2. 25 Apr, 2007 13 commits
  3. 24 Apr, 2007 8 commits
  4. 25 Apr, 2007 7 commits
  5. 24 Apr, 2007 3 commits
  6. 23 Apr, 2007 1 commit
  7. 22 Apr, 2007 5 commits
    • simonpj@microsoft.com's avatar
      Fixes to datacon wrappers for indexed data types · 70918cf4
      simonpj@microsoft.com authored
      nominolo@gmail.com pointed out (Trac #1204) that indexed data types
      aren't quite right. I investigated and found that the wrapper
      functions for indexed data types, generated in MkId, are really very
      confusing.  In particular, we'd like these combinations to work
      	newtype + indexed data type
      	GADT + indexted data type
      The wrapper situation gets a bit complicated!  
      
      I did a bit of refactoring, and improved matters, I think.  I am not
      certain that I have gotten it right yet, but I think it's better.
      I'm committing it now becuase it's been on my non-backed-up laptop for
      a month and I want to get it into the repo. I don't think I've broken
      anything, but I don't regard it as 'done'.
      70918cf4
    • simonpj@microsoft.com's avatar
      Part 2 of: Fix corner case of useless constraint in SPECIALISE pragma · 49079156
      simonpj@microsoft.com authored
      	MERGE TO STABLE
      
      I forgot to include this in the previous patch and Darcs
      crashes if I try 'amend-record' or 'unrecord' because I 
      have a partial repo.  Sigh.
      49079156
    • simonpj@microsoft.com's avatar
      Fix corner case of useless constraint in SPECIALISE pragma · e5ca7e6e
      simonpj@microsoft.com authored
      	MERGE TO STABLE
      
      This patch fixes Trac #1287.  
      
      The problem is described in Note [Unused spec binders] in DsBinds.
      
      At the same time I realised that the error messages in DsBinds.dsPrag
      were being given the location of the *binding* not the *pragma*.
      So I've fixed that too.
      e5ca7e6e
    • simonpj@microsoft.com's avatar
      Warning police · 7edaba26
      simonpj@microsoft.com authored
      7edaba26
    • simonpj@microsoft.com's avatar
      Put the default value for -dppr-user-length in the manual · 1c9f77c4
      simonpj@microsoft.com authored
      	MERGE TO STABLE
      
      Incidentally, this flag should probably be renamed -dppr-user-depth
      1c9f77c4