[TAG GHC 6.10.1 release Ian Lynagh **20081107191823] < [TAG 2008-10-19 Ian Lynagh **20081019142201] [Refuse to register packages with unversioned dependencies; trac #1837 Ian Lynagh **20081031181746] [Export typeclasses for accessing compiler results. Thomas Schilling **20081028182310 MERGE TO 6.10. ] [Fix Trac #2674: in TH reject empty case expressions and function definitions simonpj@microsoft.com**20081030094528] [Do proper cloning in worker/wrapper splitting simonpj@microsoft.com**20081021143156 See Note [Freshen type variables] in WwLib. We need to clone type variables when building a worker/wrapper split, else we simply get bogus code, admittedly in rather obscure situations. I can't quite remember what program showed this up, unfortunately, but there definitely *was* one! (You get a Lint error.) ] [Fix tcrun031: yet more tidying up in TcDeriv simonpj@microsoft.com**20081029130155] [Fix Trac #2713: refactor and tidy up renaming of fixity decls simonpj@microsoft.com**20081027222738 In fixing #2713, this patch also eliminates two almost-unused functions from RnEnv (lookupBndr and lookupBndr_maybe). The net lines of code is prety much unchanged, but more of them are comments! ] [Fix Trac #2701: make deriving check better for unlifted args simonpj@microsoft.com**20081025171211 Getting the automatic deriving mechanism to work really smoothly is surprisingly hard. I keep finding myself in TcDeriv! Anyway, this is a nice clean fix to Trac #2701. ] [Use pdflatex rather than latex for building Ian Lynagh **20081024112400 The Windows builder is having problems running ps2pdf, so this works aroudn the problem. ] [Remove an unmatched } in core.tex Ian Lynagh **20081024111750] [Add a usepackage{url} Ian Lynagh **20081024111458] [Update library version numbers in the release notes Ian Lynagh **20081023144018] [Fix Trac #2714 (a minor wibble) simonpj@microsoft.com**20081022145138 In boxy_match (which is a pure function used by preSubType) we can encounter TyVars not just TcTyVars; this patch takes account of that. ] [Update ANNOUNCE Ian Lynagh **20081022164423] [Improve crash message from applyTys and applyTypeToArgs simonpj@microsoft.com**20080923135419] [Fix Trac #2668, and refactor TcDeriv simonpj@microsoft.com**20081021142922 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 fixes that bug, and makes the internal interfces #more uniform. Specifically, the business of knocking off type arguments from the instance type until it matches the kind of the class, is now done by derivTyData, not mkNewTypeEqn, because the latter is shared with standalone derriving, whree the trimmed type application is what the user wrote. ] [Set configure.ac up for the 6.10.1 release Ian Lynagh **20081022142125] [Reject programs with superclass equalities for now Manuel M T Chakravarty **20081021131721 - The current implementation of type families cannot properly deal with superclass equalities. Instead of making a half-hearted attempt at supporting them, which mostly ends in cryptic error message, rejecting right away with an appropriate message. MERGE TO 6.10 ] [Re-export Located(..) and related functions Simon Marlow **20081020102422 So that clients don't need to import SrcLoc ] [Restore the terminal attributes even if ghci does not exit normally. Judah Jacobson **20081020164109] [Wibble to ungrammatical error message simonpj@microsoft.com**20080920232256] [FIX #2693 Manuel M T Chakravarty **20081021120107 - As long as the first reduceContext in tcSimplifyRestricted potentially performs improvement, we need to zonk again before the second reduceContext. It would be better to prevent the improvement in the first place, but given the current situation zonking is definitely the right thing to do. MERGE TO 6.10 ] [FIX #2688 Manuel M T Chakravarty **20081021044213 - Change in TcSimplify.reduceContext: We do *not* go around for new extra_eqs. Morally, we should, but we can't without risking non-termination (see #2688). By not going around, we miss some legal programs mixing FDs and TFs, but we never claimed to support such programs in the current implementation anyway. MERGE TO 6.10 ] [FIX (partially) #2703: bug in stack overflow handling when inside block Simon Marlow **20081020121103 As a result of a previous ticket (#767) we disabled the generation of StackOverflow exceptions when inside a Control.Exception.block, on the grounds that StackOverflow is like an asynchronous exception. Instead we just increase the stack size. However, the stack size calculation was wrong, and ended up not increasing the size of the stack, with the result that the runtime just kept re-allocating the stack and filling up memory. ] [Don't put the README file in the Windows installer; fixes trac #2698 Ian Lynagh **20081021162543 The README file talks about getting and building the sources, which doesn't make sense for the installer. ] [FIX #2691: Manually reset the terminal to its initial settings; works around a bug in libedit. Judah Jacobson **20081016024838] > { }