wibble

Make pprNameLoc more robust in absence of loc information

Try to manage the size of the text rendered for ':show bindings'

Make the Term ppr depth aware

Use paragraph fill sep where possible

Make SpecConstr work again

In a typo I'd written env instead of env', and as a result RULES are
practically guaranteed not to work in a recursive group.  This pretty
much kills SpecConstr in its tracks!

Well done Kenny Lu for spotting this.  The fix is easy.

Merge into 6.8 please.

Documentation only - fix typo in flags reference

Avoid making Either String an instance of Monad in the Haddock parser

FIX 1463 (implement 'ghc-pkg find-module')

- the ticket asks for a module2package lookup in ghc-pkg
  (this would be useful to have in cabal, as well)

- we can now ask which packages expose a module we need,
  eg, when preparing a cabal file or when getting errors
  after package reorganisations:

  $ ./ghc-pkg-inplace find-module Var
  c:/fptools/ghc/driver/package.conf.inplace:
      (ghc-6.9.20071106)

  $ ./ghc-pkg-inplace find-module Data.Sequence
  c:/fptools/ghc/driver/package.conf.inplace:
      containers-0.1

- implemented as a minor variation on listPackages

(as usual, it would be useful if one could combine
multiple queries into one)

remove --define-name from the --help usage message (#1596)

FIX #1837: emit deprecated message for unversioned dependencies

Fix #782, #1483, #1649: Unicode GHCi input
GHCi input is now treated universally as UTF-8, except for the Windows
console where we do the correct conversion from the current code
page (see System.Win32.stringToUnicode).

That leaves non-UTF-8 locales on Unix as unsupported, but (a) we only
accept source files in UTF-8 anyway, and (b) UTF-8 is quite ubiquitous
as the default locale.

Fix build
I had forgot to update HaddockLex.hi-boot-6, so the build with 6.2.2
failed. This fixes that.

FIX Trac 1662: actually check for existentials in proc patterns

I'd fixed the bug for code that should be OK, but had forgotten to
make the test for code that should be rejected!

Test is arrowfail004

FIX Trac 1888; duplicate INLINE pragmas

There are actually three things here
- INLINE pragmas weren't being pretty-printed properly
- They were being classified into too-narrow boxes by eqHsSig
- They were being printed in to much detail by hsSigDoc

All easy.  Test is rnfail048.

Run the -frule-check pass more often (when asked)

GHCi debugger: added a new flag, -fno-print-binding-contents

The contents of bindings show at breakpoints and by :show bindings
is rendered using the same printer that :print uses.
But sometimes the output it gives spans over too many lines and the
user may want to be able to disable it.

Fix Trac 1865: GHCi debugger crashes with :print

Replaced two uses of head b explicit pattern matching

Print binding contents in :show bindings

 Leftovers from the 1st GHCi debugger prototype

Following an indirection doesn't count as a RTTI step

FIX #1653 (partially): add -X flags to completion for :set

Merge from Haddock: Add <<url>> for images
A merge of this patch:

  Mon Aug  7 16:22:14 CEST 2006  Simon Marlow <simonmar@microsoft.com>
    * Add <<url>> for images
    Submitted by: Lennart Augustsson

Please merge to the 6.8.2 branch.

Improve documentation of INLINE, esp its interactions with other transformations

Comment re Trac #1220

Merge from Haddock: Modify lexing of /../

  Tue Aug 28 11:19:54 CEST 2007  Simon Marlow <simonmar@microsoft.com>
    * Modify lexing of /../
    This makes /../ more like '..', so that a single / on a line doesn't
    trigger a parse error.  This should reduce the causes of accidental
    parse errors in Haddock comments; apparently stray / characters are
    a common source of failures.

Please merge this to the 6.8.2 branch.

Merge from Haddock: allow blank lines inside code blocks

  Tue Jan  9 14:14:34 CET 2007  Simon Marlow <simonmar@microsoft.com>
    * allow blank lines inside a @...@ code block

Please merge this to the 6.8.2 branch

Merge of a patch from the old Haddock branch:

  Fri Jan  5 12:13:41 CET 2007  Simon Marlow <simonmar@microsoft.com>
    * Fix up a case of extra vertical space after a code block

Please merge this to the 6.8.2 branch

Remove ex-extralibs from libraries/Makefile

Remove the X11 and HGL libraries from extralibs
Don Stewart, X11 maintainer, requested we remove X11, and HGL depends on it
on Linux (and we don't try to build HGL on Windows).

arrows is no longer an extralib

Turn -fprint-bind-result off by default

Define CPP in distrib/Makefile-bin-vars.in; fixes #1855
Patch from Christian Maeder

Tweak gen_contents_index to work with Solaris's sh

Update install-sh
This comes from the Debian automake 1:1.10+nogfdl-1 package.

Support more doc targets (html, pdf, etc) in the libraries Makefile

Build Cabal user guide during "make", not only "make install-docs"

Use INSTALL_SCRIPT, not INSTALL_PROGRAM, when installing scripts; fixes #1858

Rename Parser.ly in the extralibs tarball; fixes #1859
If Cabal doesn't see the .ly file then it won't try to run happy, and
thus won't fail if happy isn't installed.

Add a path to the DocBook XSL Stylesheets search path
Slackware puts the stylesheets in /usr/share/xml/docbook/xsl-stylesheets*
Patch from Andrea Rossato.

Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former

Fix typo: -XNoRank2Types -> -XRank2Types

Fix Trac #1654: propagate name changes into CoreRules

This patch is on the HEAD.  It fixes a nasty and long-standing bug
whereby we weren't substituting the ru_fn field of a CoreRule in
CoreSubst.substSpec, which ultimately led to a puzzling "nameModule"
error trying to put the rules in the interface file.

eliminate a bit of duplication

Pad static literals to word size in the code generator

FIX #1617: reloading didn't change the :browse output as it should
The problem was that because the interface hadn't changed, we were
re-using the old ModIface.  Unfortunately the ModIface contains the
GlobalRdrEnv for the module, and that *had* changed.  The fix is to
put the new GlobalRdrEnv in the ModIface even if the interface has not
otherwise changed.

ModIface is not really the right place for the GlobalRdrEnv, but
neither is ModDetails, so we should think about a better way to do
this.

FIX BUILD
Sorry, should have pushed with previous batch of changes.

FIX #1556: GHC's :reload keeps the context, if possible

FIX #1561: don't use tabs in pretty-printed output at all.
Tabs aren't guaranteed to be 8 spaces on every output device, so we
shouldn't be using them.  Instead I added a little optimisation to
use chunks of 8 spaces for long indentations.

FIX #1765, #1766
- :def! now overwrites a previous command with the same name
- :def on its own lists the defined macros
- ":undef f g" undefines both f and g

#1617: Add :browse! and various other additions to GHCi

  - :browse!
    a variant of :browse that lists children separately,
    not in context, and gives import qualifiers in comments

SimonM: I also added sorting by source location for interpreted
modules in :browse, and alphabetic sorting by name otherwise.  For
:browse *M, the locally-defined names come before the external ones.

  - :{ ..lines.. :} (multiline commands)
    allow existing commands to be spread over multiple lines
    to improve readability, both interactively and in .ghci
    (includes a refactoring that unifies the previous three
    command loops into one, runCommands, fed from cmdqueue,
    file, or readline)

  - :set
      now shows GHCi-specific flag settings (printing/
      debugger), as well as non-language dynamic flag
      settings
    :show languages
      show active language flags
    :show packages
      show active package flags as well as implicitly
      loaded packages

FIX #1838: use System.Directory.getHomeDirectory instead of getEnv "HOME"

catch up with removal of config.mk in the readline package

Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones

See Note [Silly type synonym] in TcType for further details.  This bug
(or at least infelicity) has been in GHC for quite a long time.

Fix Trac #1814 (staging interaction in Template Haskell and GHCi), and add comments

An Id bound by GHCi from a previous Stmt is Global but Internal, and
I'd forgotten that, leading to unnecessary restrictions when using TH
and GHCi together.

This patch fixes the problem and adds lots of explanatory comments (which
is where most of the extra lines come from).

Improve error messages

Improve manual entry for binding lexically scoped type variables in pattern signatures

Remove trailing spaces from programlisting lines

Remove unhelpful sentence (see Trac #1832)

Merge to 6.8 branch

fix stage 1 compilation

warning police

GHC API: add checkAndLoadModule
Does what the name suggests: it performs the function of both
checkModule and load on that module, avoiding the need to process each
module twice when checking a batch of modules.  This will make Haddock
and ghctags much faster.

Along with this is the beginnings of a refactoring of the HscMain
interface.  HscMain now exports functions for separately running the
parser, typechecher, and generating ModIface and ModDetails.
Eventually the plan is to complete this interface and use it to
replace the existing one.

update to use latest changes to the GHC API (works much quicker now)

warning police

Various improvements
 - take the GHC topdir as a runtime argument
 - deal with files one at a time (fix space leak)

build ghctags-inplace

updates to ghctags code

eliminate a bit of duplication

catch up with changes to checkModule

reorder the imports

add $(GHCTAGS)

follow changes in HsRecFields

merged patches relating to GhcTags from #946

* accomodate changes in the GHC API
* refactoring for more readable source code
* if the whole group fails, try one file at a time
* desperate attempts to handle the GHC build

Rules to create TAGS using ghctags

request for documentation of a new argument

new README file for utils/ghctags

proper HC entry for bootstrapping in Makefile

first cut at missing case for ids defined in pattern

change representation of FoundThing
refactored FoundThing to use GHC's native representation of
source-code locations and to carry the module name so that the TAGS
file can contain a qualified name as well as the unqualified name

get names of data constructors

do notation for the Maybe monad

load all files at once and compute tags for all

tell GHC not to generate code (thanks Simon M)

cover more cases; take GHC options on command line
Bit of a dog's breakfast here:
  * generate tags for more cases in the syntax
  * accept -package ghc and other args on command line
  * scrub away old code for snaffling thru text

initial, very incomplete tags generator
The ultimate goal is to replace hasktags with
a tags generator based on GHC-as-a-library.
This file is a very incomplete first cut.

Inline implication constraints

This patch fixes Trac #1643, where Lennart found that GHC was generating
code with unnecessary dictionaries.  The reason was that we were getting
an implication constraint floated out of an INLINE (actually an instance
decl), and the implication constraint therefore wasn't inlined even
though it was used only once (but inside the INLINE).  Thus we were
getting:

ic = \d -> <stuff>
foo = _inline_me_ (...ic...)

Then 'foo' gets inlined in lots of places, but 'ic' now looks a bit
big.

But implication constraints should *always* be inlined; they are just
artefacts of the constraint simplifier.

This patch solves the problem, by adding a WpInline form to the HsWrap
type.

Comment warning about transparent newtypes

Wibble to earlier case-merge fix

This fix avoids a bogus WARN in SimplEnv.substId

Improve pretty-printing of Core slightly (avoid indenting let bodies)

Fix an old but subtle bug in the Simplifier

I got a Core Lint failure when compiling System.Win32.Info in the
Win32 package.  It was very delicate: adding or removing a function
definition elsewhere in the module (unrelated to the error) made the
error go away.

Happily, I found it.  In SimplUtils.prepareDefault I was comparing an
InId with an OutId.  We were getting a spurious hit, and hence doing
a bogus CaseMerge.

This bug has been lurking ever since I re-factored the way that case
expressions were simplified, about 6 months ago!

Make CoreLint give a more informative error message

Comments about TH staging

Fix freeHaskellFunctionPtr for Darwin/i386

MERGED: Set interfacedir (using $topdir, not $httptopdir)
Mon Oct 29 10:48:25 PDT 2007  Ian Lynagh <igloo@earth.li>

Teach ghc-pkg about $httptopdir

MERGED: installPackage needs to treat $httptopdir the same as $topdir
Sun Oct 28 06:45:34 PDT 2007  Ian Lynagh <igloo@earth.li>

MERGED: Define and use $httptopdir for the haddock docs locations
Sun Oct 28 05:35:52 PDT 2007  Ian Lynagh <igloo@earth.li>

We need to copy .buildinfo files into the bindists

(>>>) now comes from GHC.Desugar