External Core: don't print superfluous parens in case types

The External Core printer was parenthesizing the scrutinee type in case expressions. Since this type is required to be atomic, the parens aren't necessary.

Don't import FastString in HsVersions.h
Modules that need it import it themselves instead.

DEBUG removal

DEBUG removal

DEBUG removal

DEBUG removal

DEBUG removal

DEBUG removal

Fix typo; spotted by Bdh in #ghc

DEBUG removal

DEBUG removal

Remove a DEBUG use

Remove a DEBUG

Remove more #ifdef DEBUGs

Remove an #ifdef DEBUG

Remove an #ifdef DEBUG

Remove an #ifdef DEBUG

Remove a #ifdef DEBUG

Remove an #ifdef DEBUG

Remove some redundant code

prelude/PrimOp is now mostly warning-free
commutableOp seems to be unused, so we're no 100% there yet.

Fix warnings from primops.txt.pp

Use _ rather than "other" in generated code

Fix some warnings

Remove some redundant imports

Remove an #ifdef DEBUG

Remove an #ifdef DEBUG

Remove some unnecessary imports

Remove an unnecessary #ifdef DEBUG

Another debugIsOn use

Convert some DEBUG uses to debugIsOn

Put debugIsOn in Util, rather than rely on it being CPPed in

External Core: print function types correctly, improve newtype pretty-printing

- In a previous patch I broke the printing of fully-applied arrow
types (e.g., "a -> b" was "(ghczmprim:GHCziPrim a b)") by z-encoding
package names and not updating the primitive module name as defined in
External Core accordingly. Fixed. (Mega sigh...)

- Make newtype decls print slightly more readably.

Print out rational literals correctly in External Core

The External Core printer was printing out rational literals of the
form:
2.0e-2
when the External Core grammar doesn't allow this. (This
bug has apparently been there since the beginning...)

It's now printing rationals in the same form that (show (r::Rational))
does. This requires a parser change as well (soon to come.)

Change syntax for qualified names in External Core

Two changes that make the ext-core code uglier but the parser easier:

- Prefix qualified names with "^" so that we can more easily
distinguish a qualified name:
   ^a:Foo.Bar.quux
from an unqualified name:
   a

- z-encode package names ("ghc-prim" was the culprit.)

Make use of the SDoc type synonym

Fix warnings in rename/RnTypes

Fix warnings in basicTypes/IdInfo

Fix warnings in basicTypes/NameEnv

Fix warnings in basicTypes/NameSet

Fix warning in basicTypes/NewDemand

Fix warnings in basicTypes/VarEnv

Fix warnings in basicTypes/VarSet

main/BreakArray has no warnings

In validate settings, make -Werror easier to override

Remove a redundant type sig

Fix warnings in main/DriverPhases

Remove redundant type sig

Fix warnings in main/HscStats

Fix warnings in main/Constants

Fix warnings in main/InteractiveEval

Fix warnings in main/Packages

Fix warnings in main/PprTyThing

Fix warnings in main/StaticFlags

Change syntax for newtypes in External Core

The way that newtype declarations were printed in External Core files was
incomplete, since there was no declaration for the coercion introduced by a
newtype.

For example, the Haskell source:

newtype T a = MkT (a -> a)

foo (MkT x) = x

got printed out in External Core as (roughly):

  %newtype T a = a -> a;

  foo :: %forall t . T t -> t -> t =
    %cast (\ @ t -> a1 @ t)
    (%forall t . T t -> ZCCoT t);

There is no declaration anywhere in the External Core program for :CoT, so
that's bad.

I changed the newtype decl syntax so as to include the declaration for the
coercion axiom introduced by the newtype. Now, it looks like:

  %newtype T a ^ (ZCCoT :: ((T a) :=: (a -> a))) = a -> a;

And an external typechecker could conceivably typecheck code that uses this.

The major changes are to MkExternalCore and PprExternalCore (as well as
ExternalCore, to change the External Core AST.) I also corrected some typos in
comments in other files.

Documentation and external tool changes to follow.

Fix warnings in the RTS
For some reason this causes build failures for me in my 32-bit chroot,

Another change for GHC.PrimopWrappers moving from base to ghc-prim

Update darcs-boring

Fix primMname in External Core printer

 My earlier changes broke printing of function types in .hcr files.
  In other words: the z-encoding must die.

Fix primMname in External Core printer

My earlier changes broke printing of function types in .hcr files.
In other words: the z-encoding must die.

Follow library changes
Integer, Bool and Unit/Inl/Inr are now in new packages integer
and ghc-prim.

CgTicky now doesn't know about the Integer data constructors

-DDEBUG build fix

Rename rebuild to remake, and define rebuild to "clean; build"

Handle hierarchical module names in External Core tools

I updated the parser to handle hierarchical module names (with package names)
the way GHC is currently printing them out in External Core.

Beware kludgy use of z-encoding and gratutious copy-pasta from GHC.

You can now use the stand-alone Core parser to parse a very simple
GHC-generated .hcr file (progress!) but not to typecheck or interpret it
(the typechecker/interpreter don't snarf in the right libraries yet, among
other things.) And, the parser is still incomplete in that it doesn't handle
programs with newtypes/GADTs/etc. whose syntax has changed since 2003. In
other words: probably don't try to use this yet.

Improve hierarchical module name handling in MkExternalCore

It's easier for the External Core parser if MkExternalCore prints
module names like:
   base:GHCziBase
rather than like:
   base:GHC.Base
(which it was doing before.)

So now we z-encode the hierarchical module-name part of a module
name, but don't z-encode the ':'.

I also removed some old comments that don't seem relevant anymore.

Fixed remaining warning in coreSyn/MkExternalCore

There was a (suppressed) warning about an incomplete pattern match in make_alt. This was because the DEFAULT alt never has variable bindings. I thought it would be better to check that case and panic if it happens than to have an incomplete pattern. It's still not great, but at least now we don't have to suppress any warnings in this file.

Revert an accidental change

Print some extra debugging info when doing --show-iface

Eliminate a global variable
Very little parameter passing is needed without it, so there was no real
benefit to it.

Follow changes in editline

Use editline instead of readline

Vectorise tuple constructorsn

Added double divide and unzipP

Added 'div' to set of vectorising functions

If unregisterised, link with -optl-Wl,--relax on IA64
This fixes part of trac #856

When concatenating variables in Makefile, strip spaces in case one is empty
Otherwise "$(A) $(B)" will not be equal to "" even if A and B are empty.
Trac #856.

Fix a space leak in :trace (trac #2128)
We were doing lots of cons'ing and tail'ing without forcing the tails,
so were building up lots of thunks.

If we are failing due to a warning and -Werror, say so
Fixes trac #1893, based on a patch from Daniel Franke.

Remove leftover NoteTy/FTVNote bits

Remove uses of addFreeTyVars
This optimisation actually make things a bit slower on average, as
measured by nofib. The example in #1136 in particular suffers from high
memory usage. Therefore we no longer do the optimisation.

parsing tweak for :break

Tweaks to stack squeezing

1. We weren't squeezing two frames if one of them was a marked update
   frame.  This is easy to fix.

2. The heuristic to decide whether to squeeze was a little
   conservative.  It's worth copying 3 words to save an update frame.

Some cleanup in TcSimplify.reduceContext
- Makes this horrid function a bit better - and shorter!
- Also gets rid of another API function of TcTyFuns

Properly normalise reduced dicts
- Another chapter in the never-ending TcSimplify.reduceContext saga: after
  context reduction of wanted dicts it is not sufficient to normalise them
  wrt to the wanted equalities.  We also need to take top-level equalities
  into account.  (In fact, we probably also have to normalise wrt to given
  equalities, but I have left that open for the moment - but added a TODO
  note.)
- This finally eliminates substEqInDictInsts from TcTyFuns interface and
  suggest some further possible clean up (which will be in a separate patch).

Thanks to Roman for the intricate example that uncovered this bug.

Bump mAX_NDP_PROD to 5

#2050: save the GHCi history in ~/.ghc/ghci_history
Modified version of Judah's patch

Make sure we generate PA dictionaries for tuples up to mAX_NDP_PROD

Bump mAX_NDP_PROD to 4

First cut at reviving the External Core tools

I updated the External Core AST to be somewhat closer to reality (where reality is defined by the HEAD), and got all the code to compile under GHC 6.8.1. (That means it works, right?)

Major changes:

- Added a Makefile.

- Core AST:
    - Represented package names and qualified module names.
    - Added type annotation on Case exps.
    - Changed Coerce to Cast.
    - Cleaned up representation of qualified/unqualified names.
    - Fixed up wired-in module names (no more "PrelGHC", etc.)

- Updated parser/interpreter/typechecker/prep for the new AST.

- Typechecker:
    - Used a Reader monad to pass around the global environment and top module name.
    - Added an entry point to check a single expression.

- Prep:
    - Got rid of typeofExp; it's now defined in terms of the typechecker.

Remove ndpFlatten

This patch removes the ndpFlatten directory and the -fflatten static flag.
This code has never worked and has now been superceded by vectorisation.

documentation fix: change flag -frules-off to -fno-rewrite-rules

Don't expose the unfolding of dictionary selectors without -O

When compiling without -O we were getting code like this

f x = case GHC.Base.$f20 of
  :DEq eq neq -> eq x x

But because of the -O the $f20 dictionary is not available, so exposing
the dictionary selector was useless.  Yet it makes the code bigger!
Better to get
f x = GHC.Base.== GHC.Bsae.$f20 x x

This patch suppresses the implicit unfolding for dictionary selectors
when compiling without -O.  We could do the same for other implicit
Ids, but this will do for now.

There should be no effect when compiling with -O.  Programs should
be smaller without -O and may run a tiny bit slower.

Fix Trac #783: improve short-cutting literals in the type checker

The Inst.shortCutIntLit mechanism in the type checker was missing cases
where a floating-point literal was given without an explicit decimal point.

As a result, programs with lots of floating-point literals (without decimals)
ended up with massive Static Reference Tables.  This is not cool.  See
comments with Trac #783 for details.

Fix Trac #2138: print the 'stupid theta' of a data type

Fix vectorisation monad

Improve SpecConstr for local bindings: seed specialisation from the calls

This patch makes a significant improvement to SpecConstr, based on
Roman's experience with using it for stream fusion.  The main change is
this:

  * For local (not-top-level) declarations, seed the specialisation
    loop from the calls in the body of the 'let'.

See Note [Local recursive groups] for discussion and example.  Top-level
declarations are treated just as before.

Other changes in this patch:

  * New flag -fspec-constr-count=N sets the maximum number of specialisations
    for any single function to N.  -fno-spec-constr-count removes the limit.

  * Refactoring in specLoop and friends; new algebraic data types
    OneSpec and SpecInfo instead of the tuples that were there before

  * Be less keen to specialise on variables that are simply in scope.
    Example
      f p q = letrec g a y = ...g....  in g q p
    We probably do not want to specialise 'g' for calls with exactly
    the arguments 'q' and 'p', since we know nothing about them.

Refactor OccAnal; and improve dead-code elimination

The occurrence analyer is now really rather subtle when dealing
with recursive groups; see Note [Loop breaking and RULES] especially.

This patch refactors this code a bit, notably
  * Introduces a new data type Details instead of a tuple

  * More clearly breaks up a recursive group into its SCCs
before processing it in a separate function occAnalRec

  * As a result, does better dead-code elimination, becuause it's
    done per SCC rather than for the whole Rec

Copy the right ghc-pkg.bin into bindists

Add a missing endif to the bindist Makefile