Make HsRecordBinds a data type instead of a synonym.

Look through Notes when generating and matching RULES

Fix a comment typo.

Fix a typo.

Fix a typo.

Warning police: "%p" format expects a void*

Comments only

Fix a pair of classic, but tricky, bugs in the type matcher; exposed by a program from Roman

One more wibble to FloatOut, fixes HEAD breakage (I hope)

clarify that -main-is sets main module and function

Don't dump floated bindings just outside a lambda

We do not want the FloatOut pass to transform
f = \x. e
to
f = let lvl = ... in \x.e

The arity pinned on f isn't right any more; and see
Note [Floating out of RHSs].

Core Lint is now spotting the arity lossage (for a letrec), which is
how I spotted this bug.

I also re-jigged the code around floatBind; it's a bit tidier now.

Reset the demand info on bindings going to top level (since they cannot be strict)

Record arity of the worker, to maintain consistency of arity and strictness information (checked by Lint)

Extend the local bindings at a breakpoint with one for the wrapped expression

By popular request, in a breakpoint it is possible now to inspect the result of the expression wrapped by the breakpoint.

The user interface for this is right now preliminar; there is a new binding called '_result' at every breakpoint. Suggestions are welcome!

Refactoring of DsBreakpoint.hs

Fix imports

Warning police: Avoid warning about unused variable

Adhere to the new GNU Coding Standards, avoiding a warning with autoconf 2.59c and later

chmod +x install-sh, see bug #978

some dynamic flags cannot be used with OPTIONS_GHC, e.g. -i, -package
fixes #1108

Partial fix for #926
It seems that when a program exits with open DLLs on Windows, the
system attempts to shut down the DLLs, but it also terminates (some
of?) the running threads.  The RTS isn't prepared for threads to die
unexpectedly, so it sits around waiting for its workers to finish.
This bites in two places: ShutdownIOManager() in the the unthreaded
RTS, and shutdownCapability() in the threaded RTS.  So far I've
modified the latter to notice when worker threads have died
unexpectedly and continue shutting down.  It seems a bit trickier to
fix the unthreaded RTS, so for now the workaround for #926 is to use
the threaded RTS.

Always pay attention to -keep-tmp-files when we want to delete files

Slight refactoring for overloaded strings

Use Id.isStrictId

Two new warnings: arity differing from demand type, and strict IDs at top level

I added two new Core Lint checks in lintSingleBinding:

1. Check that the id's arity is equal to the
   number of arguments in its demand type, if it has a demand type
   at all (i.e., if demand analysis already happened).

2. Check that top-level or recursive binders aren't demanded.

Fix typo causing the PowerPC OS X build to fail

Fix typo

BugFix: do not insert breakpoints around expressions with unlifted kind

  I have added a check, and while there removed a few kludges in my code.
  Kudos to -dcore-lint for uncovering this.

  I think that this restriction could be lifted, if GHC.Base.breakpoint could have kind ?? -> ??. But is this a legal type? Does not look so to me.

Fix a typo

Add note about Template Haskell and mutual recursion

Fix Trac #1122; spot absence of TyCon in data/newtype header

Fix for #936
We must traverse dependencies recursively if we encounter any [boot]
modules in the dependencies.

fix bug in GetLastError/SetLastError patch

Fix GHCi on PowerPC OS X
David Kirkman and Peter Tanski noticed that a line had been removed during
a patch merge which meant that oc->image pointed to the wrong place and
ultimately caused an error from realloc.

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.