Fix warnings in coreSyn/CoreSyn

Strictness tweaks

Parser tweak

A couple more parser tweaks

Make comb[234] strict

Strictness tweaks

Tell happy to be strict

Make the Parser Monad's return strict

Get a bit of sharing

Make sL strict in /both/ arguments to L

A touch more strictness in the parser

Add a bit of strictness to the parser

Use nilFS

Whitespace only

Fix #2062: foldr1 problem in hpc tool

Fix do-notation so that it works with -DDEBUG

Be a little keener to inline

This is really a bug.  A saturated call in an "interesting" context
should inline, but there was a strange "n_val_args > 0" condition, which
was stopping it.  Reported by Roman.

Fix the build
Work around various problems caused by some of the monadification patches
not being applied.

Replace ioToTcRn with liftIO

Remove unused custom versions of monad combinators from IOEnv

Remove unused custom versions of monad combinators from UniqSupply

Replace remaining uses of ioToIOEnv by liftIO, remove ioToIOEnv

Monadify iface/BuildTyCl: use return

Monadify iface/TcIface: use do, return, applicative, standard monad functions

Monadify iface/MkIface: use do, return and standard monad functions

Monadify iface/LoadIface: use return and liftIO

Monadify iface/IfaceEnv: use do, return and standard monad functions

Monadify typecheck/TcRnMonad: use return, standard monad functions and liftIO

Monadify typecheck/TcEnv: use do, return, applicative, standard monad functions

Monadify typecheck/TcRnDriver: use return and standard monad functions

Monadify typecheck/TcMatches: use return and standard monad functions

Monadify typecheck/TcMType: use do, return, applicative, standard monad functions

Monadify typecheck/TcInstDcls: use do, return and standard monad functions

Monadify typecheck/TcHsType: use do, return and standard monad functions

Monadify typecheck/TcSimplify: use do, return and standard monad functions

Monadify typecheck/TcSplice: use do and return

Monadify typecheck/TcTyClsDecls: use return and standard monad functions

Monadify typecheck/TcDefaults: use return and standard monad functions

Monadify typecheck/TcDeriv: use return

Monadify typecheck/TcClassDcl: use do, return and standard monad functions

Monadify typecheck/TcBinds: use do, return and standard monad functions

Monadify typecheck/TcArrows: use do and return

Monadify typecheck/Inst: use do, return and standard monad functions

Monadify typecheck/TcUnify: use do, return and standard monad functions
  there may be some accidental tab->space conversion

Monadify typecheck/TcTyFuns: use standard monad functions

Monadify typecheck/TcPat: use return and standard monad functions

Monadify typecheck/TcRules: use do, return and standard monad functions

Monadify typecheck/TcForeign: use do, return and standard monad functions

Monadify typecheck/TcExpr: use do, return and standard monad functions

Monadify specialise/Specialise: use do, return, standard monad functions and MonadUnique

Monadify specialise/SpecConstr: use do, return and standard monad functions

Monadify stgSyn/StgLint
 - made LintM a newtype instead of a type synonym
 - use do, return and standard monad functions
 - use MaybeT where `thenMaybeL` was used
 - removed custom versions of monad functions

Monadify stgSyn/CoreToStg
 - made LneM a newtype instead of a type synonym
 - use do, return and standard monad functions
 - removed custom versions of monad functions

Remove generic monad function from State, it was moved to MonadUtils

Added MaybeT monad transformer to utils/Maybes

Removed unused Maybe functions, use the standard Maybe monad instead

MonadIO instance for IOEnv

Monadify simplCore/SimplMonad: custom monad functions are no longer needed

Monadify simplCore/SimplMonad: use MonadUnique instance instead of custom functions

Monadify simplCore/SetLevels: use do, return, standard monad functions and MonadUnique

Monadify simplCore/SimplUtils: use do, return, standard monad functions and MonadUnique

Monadify simplCore/Simplify: use do and return

Monadify simplCore/SimplEnv: use standard monad functions

Monadify simplCore/SimplCore: use do, return and standard monad functions

Monadify profiling/SCCfinal
  - change monad type synonym into a newtype
  - use do, return and standard monad functions

Monadify coreSyn/CorePrep: use do, return, applicative, standard monad functions

Monadify rename/RnTypes: use do, return and standard monad functions

Monadify rename/RnPat: use do, return and standard monad functions

Monadify rename/RnNames: use return and standard monad functions

seqMaybe is more commonly known as mplus

Monadify rename/RnBinds: use do, return and standard monad functions

Monadify stranal/StrictAnal: use the State monad instead of a custom thing

Monadify stranal/WwLib: use do, return, applicative, standard monad functions

Added MonadUnique class for monads that have a unique supply

Monadify stranal/WorkWrap: use do, return, applicative, standard monad functions

Added Applicative and Functor instances for State monad

Monadify deSugar/DsMonad: use do, return, applicative, standard monad functions

Monadify deSugar/Desugar: use do, return, applicative, standard monad functions

Monadify deSugar/DsUtils: use do, return, applicative, standard monad functions

Monadify deSugar/DsListComp: use do, return, applicative, standard monad functions

Monadify deSugar/DsForeign: use do, return, applicative, standard monad functions

Monadify deSugar/DsGRHSs: use do, return, applicative, standard monad functions

Monadify deSugar/DsExpr: use do, return, applicative, standard monad functions

Added Applicative instance for IOEnv

Add 'util/MonadUtils.hs' with common monad (and applicative) combinators

Monadify deSugar/MatchLit: use do, return, applicative, standard monad functions

Monadify deSugar/Match: use do, return, applicative, standard monad functions

Monadify deSugar/DsCCall: use do, return, applicative, standard monad functions

Monadify deSugar/DsArrows: use do, return, applicative, standard monad functions

Monadify deSugar/DsBinds: use do, return, applicative, standard monad functions

Added MASSERT macro for assertions in do notation

FIX BUILD wrong imports on non-Windows

Show CmdLineError exceptions as "<command line>: ..."
instead of something like "ghc-6.8.2: ...", which causes problems in
the test suite.  In any case, "<command line>" seems a more
appropriate context for these errors, the only question is whether
we're using CmdLineError incorrectly anywhere.

FIX #1750: in isBrokenPackage, don't loop if the deps are recursive

FIX #1750: throw out mutually recursive groups of packages

Windows now doesn't need different values for DQ in the build system

Fix setting argv[0] in shell-utils.c on Windows

Escape arguments for Windows in shell-tools.c

Attach the INLINE Activation pragma to any automatically-generated specialisations

Another idea suggested by Roman, happily involving a one-line change.  Here's
the new Note in Specialise:

Note [Auto-specialisation and RULES]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Consider:
   g :: Num a => a -> a
   g = ...

   f :: (Int -> Int) -> Int
   f w = ...
   {-# RULE f g = 0 #-}

Suppose that auto-specialisation makes a specialised version of
g::Int->Int That version won't appear in the LHS of the RULE for f.
So if the specialisation rule fires too early, the rule for f may
never fire.

It might be possible to add new rules, to "complete" the rewrite system.
Thus when adding
RULE forall d. g Int d = g_spec
also add
RULE f g_spec = 0

But that's a bit complicated.  For now we ask the programmer's help,
by *copying the INLINE activation pragma* to the auto-specialised rule.
So if g says {-# NOINLINE[2] g #-}, then the auto-spec rule will also
not be active until phase 2.

Tidy up the treatment of SPECIALISE pragmas

Remove the now-redundant "const-dicts" field in SpecPrag

In dsBinds, abstract over constant dictionaries in the RULE.
This avoids the creation of a redundant, duplicate, rule later
in the Specialise pass, which was happening before.

There should be no effect on performance either way, just less
duplicated code, and the compiler gets a little simpler.