Save the Win32 error code where necessary
Similarly to the way we save errno across context switches and
suspendThread/resumeThread, we must save and restore the Win32 error
code via GetLastError()/SetLastError().  Fixes #896.

Comments and layout only

Add -stdout-binary and -stderr-binary flags to bypass dos2unix
Apparently some versions of dos2unix can detect a binary file and
ignore it, but others can't, so provide a way to tell runstdtest that
the output is in binary.

Document the overloaded string extension.

Add support for overloaded string literals.

The class is named IsString with the single method fromString.
Overloaded strings work the same way as overloaded numeric literals.
In expressions a string literals gets a fromString applied to it.
In a pattern there will be an equality comparison with the fromString:ed literal.

Use -foverloaded-strings to enable this extension.

Improve presentation of :print output

Comments only

Refactoring of Debugger.hs

A big motivation to start with it was getting several independently useful functions out of the Ghci monad and into the IO monad instead. Working in debugger integration for Emacs via the ghc-api is helping me to improve reusability..
      While I was there, I tried to make the code less tangled, easier to understand, switched from implicit Exceptions to explicit Eithers in the bkptTable code, etc.

Fix a bug in the closure viewer

Add obtainTerm1 to the GHC api

Reorganizing my mess a bit

Tweak hc-build

Touch all the object files at the end of hc-build, as otherwise make
gets upset as the .h files are newer than them and tries to rebuild
stuff (and fails).

Print a nice message when we're finished.

User's guide: length is not a good consumer anymore.

Don't start a GHC session before answering --version/--numeric-version
This also fixes bootstrapping issues, as when bootstrapping we don't
have a package.conf when we run configure, so it fails to work out
what version of GHC it is which causes breakage later on.

prettifying Cmm: print MachOps as identifiers by replacing ' ' with '_'

prettifying Cmm a bit: convert (x + (-N)) to (x - N)

addition to "Eagerly raise a blocked exception" to fix unreg case

Remove special lambda unicode character, it didn't work anyway
Since lambda is a lower-case letter, it's debatable whether we want to
steal it to mean lambda in Haskell source.  However if we did, then we
would probably want to make it a "special" symbol, not just a reserved
symbol, otherwise writing \x->... (using unicode characters of course)
wouldn't work, because \x would be treated as a single identifier,
you'd need a space.

allow 'ghci -threaded' (fixes #1101)

Check with sysconf _POSIX_THREAD_CPUTIME is available before we try to use it.

Calling clock_gettime(CLOCK_THREAD_CPUTIME_ID,_) regardless was
causing a segfault (trac #1030).

Give -fwrapv to gcc when it supports it
Fixes trac #952: Haskell requires consistent overflow behaviour, which
gcc doesn't give without this flag.

Fix ghc-pkg now showError has been removed

Documentation for the new ':breakpoint continue' command

Add TcGadt to package.conf

I'm assuming that this was overlooked during the System Fc overhaul
If TcGadt is not supposed to be in package.conf please rollback this patch

Add a header for GhciMonad.hs

Remove a false assertion

Too agressive breakpoint coalescing politics

Fix an obscure bug in rule-matching

This bug is the cause of Trac #1092.  The fix is easy
by making the RnEnv2 implementation do the right thing.
See Note [rnBndrLR] in VarEnv.

Test case is simplCore/should_compile/rule1

Add a warning for tabs in source files

expand $topdir in the output of 'ghc-pkg field'
this fixed #937, and gets us further towards 'setup haddock' working
for Cabal on Windows.

Remove bogus assertion in getCallMethod

With my as-yet-uncommitted changes to the demand analyzer, code got
 generated for some programs that caused this assertion to fail.  The
 transformation I was doing was correct; it was the assertion that
 wasn't. So, the assertion is removed.

 This is actually Simon PJ's patch rather than mine, but I noticed that
 it wasn't checked in and it seems completely safe to do so.

Fixed .spec file (no building guide anymore)

An object code module in ghci is not and cannot be handled by the GHCi debugger

This patch should provide more informative messages to the user

Comments only

Added the new :breakpoint continue option

Previously, when in a breakpoint, :quit was used to continue execution.
This is not the right thing to do, so this patch restores :quit to its
original meaning whether or not ghci is in an inferior session.

The continue behavior is now provided by ":breakpoint continue".
I added a synonim command in :continue because it is much shorter,
but this is optional

:cd is a top level only command, that is, not allowed in inferior ghci sessions

Wibble

Slightly improve -ddump-hi-diffs output

Avoid duplicate defns of 'main' in module Main

Add -ddump-rule-firings

Comments

Correct spelling

Sort rules and instances lexicographically in interface files

We should sort rules and instances lexicographically, not by Unique,
in interface files, else we get unnecessary "rules changed" and hence
unnecessary recompilation.

This bug has been there since the interface-file upheaval that put Names
into IfaceSyn.

This patch teaches ghci to announce that a module has beeen loaded in debugging mode

Usually ghci announces when a module has been loaded interpreted. Now it will also announce it when the module has been instrumented for debugging

Fix some text in the GHCi help message that was going over 80 columns

Comments only

Comments only

Make the LiberateCase transformation understand associated types

Consider this FC program:
data family AT a :: *
data instance AT Int = T1 Int Int

f :: AT Int -> Int
f t = case t of DEFAULT -> <body>

We'd like to replace the DEFAULT by a use of T1, so that if
we scrutinise t inside <body> we share the evaluation:

f t = case (t `cast` co) of T1 x y -> <body>

I decided to do this as part of the liberate-case transformation,
which is already trying to avoid redundant evals.

The new transformation requires knowledge of the family instance
environment, so I had to extend ModGuts to carry the fam_inst_env,
and put that envt into the liberate-case environment.

Otherwise it's all pretty straightforward.

Add comments about invariants

Comments

Comments

Add the function TypeRep.pprTypeApp, and use it

  pprTypeApp :: SDoc -> [Type] -> SDoc
  pprTypeApp pp tys = hang pp 2 (sep (map pprParendType tys))

Log message for: Fix a nasty recursive loop in typechecking interface files

(Alas, Darcs failed to record my log-message for the above patch,
so this patch is an attempt to add the log message retrospectively.)

Roman found a case where the type-checker for interface files
would go into a loop.  Here it is:

  module BarAT where
    class Foo a where
      data FooT a :: *
      int :: FooT a -> Int

  module Baz where
    import BarAT
    foo :: FooT Int -> Int
    foo = foo

The trouble turned out to be that Foo gives rise to a *newtype*,
and using a newtpe caused a little bit too much strictness in
BuildTyCl.mkNewTyConRhs.  Specifically, mkNewTypeCoercion did pattern
matching, which forced the call to eta_reduce in mkNewTyConRhs.

This is all too delicate really.  But for now I've fixed the bug,
and added an explanatory comment.  I'll add a test for it, in
indexed-types/should_compile/ATLoop

Log-message for: Improve command-line parser (add OptIntSuffix); make -fliberate-case-threshold dynamic

(Alas, Darcs failed to record my log-message for the above patch,
so this patch is an attempt to add the log message retrospectively.)

Parsing options numeric arguments, such as
-fliberate-case-threshold=30
for dynamic flags wasn't being handled well.  I elaborated the
command-line parser to have a new constructor, OptIntSuffix, for this
case, and did the consequential changes.

This patch also makes the -fliberate-case-threshold flag into a
dynamic flag.

Improve command-line parser (add OptIntSuffix); make -fliberate-case-threshold dynamic

Remove redundant import

Add comments (AT-related)

Spelling correction only

Fix a nasty recursive loop in typechecking interface files

Update comments

Changing bootstrapping for pipes between debugger and debuggee

 - Now we use two pipes and a fork rather than use named pipes
 - We use the HPCRIX env var to send the pipe numbers in %d:%d format
 - We now always breakpoint for special events
 - We check to see we are the original process before each breakpoint event
   sub processes are not debugged; this lets us debug the debugger.

Dynamically allocating the tix box breakpoint array

Adding command channel for the hpc debugger to the hpc part of the RTS

checkTauTvUpdate: take synonym families into account

remove old building guide, change links to point to the wiki

Fix apparently-long-standing bug in FloatIn

The float-in pass wasn't doing the right thing when you have

let x{rule mentions y} = rhs in body

It allowed a binding mentioning y to float into the body, which is
obviously wrong.  I think this bug has been there a long time; I don't
really know why it has not come up before.

It showed up when compiling Text.Regex.Base.Context with WAY=p in
package regex-base.

Comments only

Handle synonym families in check_tau_type

Preserve rigidity for GADTs when typechecking explicit tuples

Fix egregious bug in implication constraints

Build an implication constraint if there is a non-trivial
refinement, even if there are no other 'given' constraints.

Test = gadt/set.hs

reorganise text in the "using packages" section

Unbreak usage of ASSERTM

When setting stdout and stderr to NoBuffering in GHCi, do stdin too.
Fixes trac #929.
Merge to 6.6 branch.

fix version checking of .hi files
I broke it during my recent interface-file overhaul

Have the splitter duplicate the .note.GNU-stack

Have the mangler keep .note.GNU-stack

Try to emulate the output of 'deriving Show' in the Term pretty printer

Extended the debugger documentation with a 'tips' section

More informative message in a breakpoint

Reload modules after ':break stop'

This is necessary to revert CAFs. Previously to this patch the user would get a msg "You may need to reload your modules". This patch takes care of that

Remove a tracing statement, change a comment, and make more obvious an unexpected condition

Improved an error message, giving a more concrete suggestion

This patch fixes ticket #1083 in the ghci debugger

A module loaded under debugging mode but owning no breakpoints was erroneously identified by ghci as a non-under debugging module, producing a confusing error msg when the user tried to set a breakpoint

The fix inserts an empty list of sites in the module-sites dictionary used by the debugger

Updates to the ghci debugger docs

Fixed errors in "clunky" definition for pattern guards
Amusingly, this little error in the GHC manual came from the original
SPJ proposal for pattern guards from 1997 and even slipped into the
Haskell Workshop 2000 paper by SPJ and Martin Erwig.  It's almost 10
years old.

Remove the DocEntity type. Fixes the problem with duplicate error messages at
its root. Also gets rid of the getDeclMainBinder function which isn't needed
anylonger.

Eagerly raise a blocked exception when entering 'unblock' or exiting 'block'
This fixes #1047

wrap Main.main in GHC.TopHandler.runIOFastExit
This is so that exceptions raised by Main.main do exactly the same
thing as they would in a compiled program, including writing the
message to stderr and shutting down with the correct exit code.

disable an incorrect ASSERTion in the non-THREADED_RTS case (bug #1067)

HsSyn clean up for indexed types
- This patch cleans up the HsSyn representation of type family declarations.
- The new representation is not only less delicate, it also simplified teh code
  a bit.
- I took the opportunity of stream lining the terminology and function names
  at the same time.
- I also updated the description on the wiki at
  <http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSyntax>

Fix and improve deriving for indexed data types
- The test for being able to derive the requested classes needs to be made
  with the representation tycon (not the family tycon).
- Standalone deriving for indexed types requires the instance types in the
  derive clause to match a data/newtype instance exactly (modulo alpha).

Record-ise the liberate-case envt, in preparation for new stuff

Add a type synonym for FamInstEnvs

Comments only

Comments only

Be more relaxed about reporting ambiguous class methods
(MERGE to STABLE branch, pls)

This patch makes us a bit more relaxed about ambiguous
class method types.  See tc223 for an example.

Reported by Yitzchak Gale

Fix bug in cast optimisation; fixes Trac #995

There was a plain bug in the cast-optimiation code -- a call to
splitCoercionKind_maybe instead of coercionKind!  Result was that
we missed useful opportunities to move casts around.  Trac #995
is an example, but I bet there are more.

Fix stupid error in rehashing TcRnDriver (fixes TH test errors)

Fix several bugs related to finding free variables

Now that coercion variables mention types, a type-lambda binder can
have free variables.  This patch adjusts the free-variable finder
to take account of this, by treating Ids and TyVars more uniformly.

In addition, I fixed a bug in the specialiser that was missing a
free type variable in a binder.  And a bug in tyVarsOfInst that
was missing the type variables in the kinds of the quantified tyvars.

Comments only