Implement the RTS side of GHC.Environment.getFullArgs

Typo

Corrections for warnings in the user guide

Sync the UG entries for -Wall, -w etc with reality

-w should turn off /all/ options, not just the -Wall ones

Implement -fwarn-dodgy-imports
You used to only be able to enable Opt_WarnDodgyImports with -W or -Wall.
This patch adds the flag to en/disable it by name.
(DodgyImports == importing T(..) when only T is exported).

Doc tweaks

Remove note that -E behaviour has changed (6.0 has the same note)

Doc tweaks

User guide tweaks

Doc tweak

Doc tweak

Correct user guide on when .ghci is read

Tweak punctuation in the user guide

ghci command docs tweaks

Fix alphabetical ordering in :? output

Fix alphabetical ordering in user guide

Typo

Remove another instance of the banner from the user guide

In user guide, don't claim that ghci never generates .hi files
With -fobject-code it now can do.

ghci debugger documentation tweaks

Fix typo

ghci doc tweaks

Adding pushing of hpc translation status through hi files.

Now, if a single module *anywhere* on the module tree is built with
-fhpc, the binary will enable reading/writing of <bin>.tix.

Previously, you needed to compile Main to allow coverage to operate.

This changes the file format for .hi files; you will need to recompile every library.

Handle unlifted tycons and tuples correctly during vectorisation

Initialise global vectorisation environment properly

Vectorise type declarations

Vectorisation of data declarations (incomplete)

Add vectorisation environment transformers

Refactor

Remove mapping from tycons to PA dictionaries from vect environment

Add datacons to vectorisation environment

Add fixV

Classification of tycons for vectorisation

Clean up

Move type vectorisation code to a separate module

Pass correct dictionary to lengthPA for single-element environments

Abstract over all in-scope type variables when creating closures

Pass PA dictionaries after all type arguments

This makes the code slightly simpler but only works because we do not support
rank-n types.

Fix bug in lifted environment inspection code

Lifting contexts have type Int#

This tracks the corresponding change in package ndp. With this patch, we
finally can vectorise something (f x = x).

Fix bug in vectorisation

Fix bad bug in type vectorisation

Make vectorisation part of the optimiser pipeline

Get NDP prelnames from the right modules

Vectorise top-level bindings of a module

Vectorisation of top-level bindings

Store hoisted bindings in the global environment during vectorisation

Add support for name cloning to vectorisation monad

Refactoring

Adapt interface file code for vectorisation

For the most part, this patch simply renames functions which had been used
for closure conversion and hence have CC in their name. It also changes the
OccNames generated by vectorisation.

Collect hoisted vectorised functions

First incomplete version of closure vectorisation

Refactor slightly

Add utility function for vectorisation

Add closedV

Export wrapFamInstBody and unwrapFamInstScrut

Refactoring

Add whitespace

Only vectorise rank-1 expressions

Move some vectorisation utility functions

Modify PA dictionary computation to work with the class-based scheme

Clean up handling of PA dictionaries

FIX problem with not using the compat lib for Set in hpc tools.

Properly parse GC blocks for functions with info tables

Removed 'allow_header_set' argument from 'pack_continuation'.
Because branches might now go to continuations and become calls to
continuations, 'allow_header_set' isn't always correct.
Removing that parameter makes the conservative approximation.
A better approximation might save one memory store is some cases.

Fixed conditional branches to proc points
These could occur due to GC checks.

Removed unused variable from compiler/cmm/CmmCPS.hs

Removed unused import from compiler/cmm/CmmCPS.hs

Keep the CPS pass from creating proc points due to unreachable parents.

The parser/flattener will generate an extra block after an if/else
statement even if both branches exit the function.  So it is possible
for the input to the CPS pass to have dead/unreachable blocks.

If a dead block goes to a live block then the live block would
have more parents than the dead block and prior to this patch
the live block would then be identified as a proc point.
This is fixed by adding a check to see if the parent
has at least one owner.

Fixed CPS to account for info tables not being next to code

Fix the CPS pass to pack the continuation with correct label form.
It was using the return point label before; now it uses the info label.

Fix for print022 (round up when dividing type size by word size)
From Pepe Iborra (mnislaih)

Fix putting hsicon.ico into the Windows installer; fixes #1515
It was done in a bit of the Makefile that was if'ed out for Windows.

Update the ghci "loading" section of the user guide

Don't show the ghci :? output in the user guide
The ghci command list is now much larger than it used to be, and it
tends to go out of sync with the docs anyway.

User guide tweaks

User guide tweaks

Tweak Windows installation instructions in the user guide

Update the contents of the library directy in the user guide

User guide tweaks

Don't talk about nfib from the user guide now that we no longer ship it

Remove "What bundles there are" now we only have the standard one

Update bundle installation instructions

In the users guide, talk about configure flags
(rather than talking about tweaking the Makefile(-vars) by hand)

Remove "install in-place" blurb from the docs as it no longer works

doc tweak

Remove outdated bundle-contents description

Merge *UnboxedTuples flags
Merge
    ExpressionSignaturesUnboxedTuples
    TypeSynonymUnboxedTuples
into
    UnboxedTuples

Automatic RTTI for ghci bindings

With this patch, ghci runs rtti (bounded in the term treewith a max. depth of 10)
automatically after evaluating any expression in the interactive env.
In addition, a rtti step is performed on the local bindings in a breakpoint,
before returning control to the user

Let's see how well this works in practice

Teach :print to not panic when the DataCon for a closure is not exposed by the .hi file

Previously the behaviour was to panic.
Now it will print an approximated representation,
using the names (enclosed in keys, i.e. "<...>")
and the pointed subterms. Non pointed subterms cannot
be included in this representation:

Prelude> let se = Data.Sequence.fromList (map Just "abc")
Prelude> :eval se
()
Prelude> :p se
se = <Data.Sequence.Deep> (<Data.Sequence.One> (_t1::t)) () (<Data.Sequence.Two> (_t2::t) (_t3::t))
Prelude> :eval _t2
()
Prelude> :p se
se = <Data.Sequence.Deep> (<Data.Sequence.One> (_t4::t1)) () (<Data.Sequence.Two> (Just 'b') (_t5::t1))
Prelude>

This patch also includes some fixes in the pretty printer
for the Term datatype

Fix an array indexing bug in getClosureData (used by :print)

remove some leftovers of the first ghci debugger prototype

Fix imports & add missing type signatures

Ask for a HscEnv instead of a Session in InteractiveEval.obtainTerm

This does a better job of showing that obtainTerm does not alter the Session

Add a max depth bound to the bfs implementation in cvReconstructType,

to avoid looping when reconstructing insufficiently evaluated, circular structures

FIX panic from the GHC API
In hscFileCheck, initialize md_vect_info with noVectInfo instead of
a panic value, since this is a strict field.

init mg_inst_env when reading ext core

Warning Police: No newline at end of file

Warning Police: Unused imports