update submodules for GHC.HetMet.GArrow -> Control.GArrow renaming

allow either <[]> or <{}> at the type level

swap <[]> and <{}> syntax

add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus

add pretty-printing of <[...]>@.. types

update submodule pointers

add submodule for all upstream repos

update submodule pointers

update submodule pointers

update submodule pointers

update submodule pointers

update submodule pointers

update submodule pointers

update submodule pointers

put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs

CoreMonad: add lookupOrigCoreM, modeled after IfaceEnv.lookupOrig

minimize impact on PrelNames

adapt to upstream changes

merge upstream

Implement regslot inlining, document soundness concerns.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Split out assignment rewriting to own module.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Rename CmmCPS to CmmPipeline.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Move control flow optimization to CmmCPS.

Unfortunately, I couldn't remove all incidences of runCmmContFlowOpt
from HscMain; in particular, there is a Cmm conversion testing
facility which may run with only control flow optimizations, which
I preserved the semantics of.  Given the state of the current
codegen, this code might be moribund anyway.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

update submodule pointer

Merge branch 'master' of darcs.haskell.org/ghc

Improve the reporting of module cycles, to give a nice message like this

  Module imports form a cycle:
    module `Foo4' imports `Foo'
            which imports `Foo2'
            which imports `Foo3'
            which imports `Foo4'

as requested by Bryan Richter

Remove type synonyms for CmmFormals, CmmActuals (and hinted versions).

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Bake in ByteOff to ParamLocation, and remove ArgumentFormat synonym.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Remove unused assignArguments and argumentsSize.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Merge branch 'master' of darcs.haskell.org/ghc

Comment only

Don't allow specialisation of class methods (fixes Trac #5001)

It doesn't make sense to specialise class methods -- their
code is simply a record selector.  Moreover, such methods
don't (currently) have an inl_sat field in their InlinePragma
which made DsBinds.makeCoreArity bleat.

This patch just ignores such pragmas, with a warning.

Port "Make array copy primops inline" and related patches to new codegen.

The following patches were ported:

    d0faaa6 Fix segfault in array copy primops on 32-bit
    18691d4 Make assignTemp_ less pessimistic
    9c23f06 Make array copy primops inline

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Extra comment about WithRegUsage.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Merge branch 'master' of darcs.haskell.org/ghc

Fix warnings

Fix the SPECIALISE error in the haddock invocation of validate

Specifically
 - Turn the error
       "You cannot SPECIALISE f because it is not INLINEABLE"
   into a warning

 - More importantly, suppress it altogether when
     HscTarget = HscNothing or HscInterpreted
   because then we aren't going to be generating unfoldings

Added a pragma {-# NOVECTORISE f #-} that suppresses vectorisation of toplevel variable 'f'.

Fix building of optional packages

The change to the packages file format broke it

Remove some trailing whitespace

We were getting
    InstallExtraPackages="YES    "

Tweak some makefile code

Remove upstream repos from the packages file

We no longer pull directly from upstream repos, so it wasn't useful
to have it programatically available. The info, and more, is now on
    http://hackage.haskell.org/trac/ghc/wiki/Commentary/Libraries#Repositorylocations
instead.

Make TH capable of quoting GADT declarations (Trac #5217)

Template Haskell doesn't support GADTs directly but
we can use equality constraints to do the job. Here's
an example of the dump from splicing such a declaration:

    [d| data T a b
            where
              T1 :: Int -> T Int Char
              T2 :: a -> T a a
              T3 :: a -> T [a] a
              T4 :: a -> b -> T b [a] |]
  ======>
    T5217.hs:(6,3)-(9,53)
    data T a[aQW] b[aQX]
        = (b[aQX] ~ Char, a[aQW] ~ Int) => T1 Int |
          b[aQX] ~ a[aQW] => T2 a[aQW] |
          a[aQW] ~ [b[aQX]] => T3 b[aQX] |
          forall a[aQY]. b[aQX] ~ [a[aQY]] => T4 a[aQY] a[aQW]

Ignore UNPACK pragmas with OmitInterfacePragmas is on (fixes Trac #5252)

The point here is that if a data type chooses a representation that
unpacks an argument field, the representation of the argument field
must be visible to clients.  And it may not be if OmitInterfacePragmas
is on.

Further improvents to duplicate-export warnings (Trac #2436)

Comments only

Without -O do not complain about SPECIALISE pragmas for non-INLINABLE things

Otherwise Haddock (which compiles stuff without -O) falls over

Fix tracking of what RdrNames are used (fixes Trac #5211)

The issue here was: what import declaration brings into
scope the 'op here

   import qualified Foo( op )
   import Bar( C(op) )
   instance C Int where
     op = ...

Well, the import of Bar, obviously.  But what if the
import Bar had been
   import Bar( C )
Then the instance is still supposed to work, getting
op from the Foo.op imported from Foo.  (I'm assuming its
the same op, of course.)

Add -fno-omit-interface-pragmas to SrcLoc, to work around Trac #5252

We have to do this until the earliest bootstrap compiler
has fixed #5252.  It's no big deal; it just means that
SrcLoc.hi has lots of stuff even when compiling GHC without -O.
Lacking this, you get

  (GHC version 7.0.3 for i386-unknown-mingw32):
reboxProduct: not a product ghc-7.1:SrcLoc.RealSrcLoc{tc r8J}

Merge branch 'master' of darcs.haskell.org/ghc

Kill bogus duplicate-export warnings (fix Trac #2436)

The general rule is now that we don't complain about
a duplicate export from a "...".  See RnNames.dupExport_ok

Make DsMeta catch up with LastStmt (fix Trac #5235)

The new monad comprehension stuff introduce LastStmt,
and DsMeta must convert that to TH syntax

Comments, layout and cmm-notes

...all to do with the new codgen path

Merge branch 'master' of darcs.haskell.org/ghc

Fix parsing "$topdir" in package config

It was only working when followed by something, e.g. "$topdir/base".

Take vectorisation declarations into account during the initial occurrence analysis (right after desugaring).

Follow Src{Loc,Span} changes in other parts of the tree

Refactor SrcLoc and SrcSpan

The "Unhelpful" cases are now in a separate type. This allows us to
improve various things, e.g.:
* Most of the panic's in SrcLoc are now gone
* The Lexer now works with RealSrcSpans rather than SrcSpans, i.e. it
  knows that it has real locations and thus can assume that the line
  number etc really exists
* Some of the more suspicious cases are no longer necessary, e.g.
  we no longer need this case in advanceSrcLoc:
      advanceSrcLoc loc _ = loc -- Better than nothing

More improvements can probably be made, e.g. tick locations can
probably use RealSrcSpans too.

Fix build

Fix for $topdir appearing in the haddock-html field

I'd naively assumed that the haddock-html field would only use the
$httptopdir variable. Hopefully this will fix the windows build.

Merge branch 'master' of darcs.haskell.org/ghc

Fix warnings in nativeGen/PPC/CodeGen.hs

Remove platform CPP from nativeGen/PPC/CodeGen.hs

cmmTopCodeGen no longer takes DynFlags as an argument

It is in the NatM monad, which has DynFlags as part of its state.

Fill out the osElfTarget definition

For now we panic in the OSUnknown case. It would probably be better
to make the enumerations complete instead, though.

Add a target32Bit function to Platform

Remove out-of-date comment

Whitespace only in utils/Platform.hs

Merge branch 'master' of darcs.haskell.org/ghc

Reorganized functional dependency reactions once more:
 1) generating Derived FDs as happens for equality superclasses
 2) Kept the optimization of immediately discharging items
    if fundeps cause a match
 3) Restructured top-reactions and interactions with inerts to
    behave similarly to each other.

In particular, (1) fixes ticket #5236.

Whitespace only in nativeGen/PPC/CodeGen.hs

Fix segfault in array copy primops on 32-bit

The second argument to C's memset was passed as a W8 while memset
expects an int.

Signed-off-by: David Terei <davidterei@gmail.com>

fix path to ghc-pwd

fix a cut/paste bug in debugging code

Merge remote branch 'working/master'

Fix compilation of rts/win32/GetEnv.c

Fix Windows build failure

We were calling freeArgv with arguments of the wrong type.
But actually, we had our own copy of its loop anyway, so
now we just use that instead.

Make dumpIfSet_dyn_or use dumpSDoc

This means that for example
    ghc -ddump-simpl -ddump-to-file ...
now puts the simpl output in a file, rather htan sending it to stdout.

add comment

comment typo

Tidy up the ic_exports field of the InteractiveContext.  Previously
was [(Module, Maybe ImportDecl)], now it is just [ImportDecl].  So now
":m +A" and "import A" do exactly the same thing in GHCi, and use the
same code paths.

Ignore ghc-extra-opts

Haddock fix in the vectoriser

Propagate scalar variables and tycons for vectorisation through 'HscTypes.VectInfo'.

add support for flattening recursive-let

fix comment

Fold constants during forward substitution in the Cmm mini-inliner

This exposes new constants that can be propagated.

Implement forward substitution of constants in the Cmm mini-inliner

Currently the mini-inliner would only forward substitute assignments
to registers that were used exactly once, to not risk duplicating
computation.  For constants there's no such risk so we always
substitute.  Prior to the change the Cmm

    fn
    {
        bits64 a, b;

        a = 1;
        b = a + a;
        RET_N(b);
    }

would be optimized as

    fn()    { []
            }
        ca: _cb::I64 = 1;
            R1 = _cb::I64 + _cb::I64;
            jump (I64[Sp + 0]) ();
    }

but after it would be optimized as

    fn()    { []
            }
        ca: R1 = 2;
            jump (I64[Sp + 0]) ();
    }

Note that this pass does not deal with the now dead assignment.

check for bfd_uncompress_section_contents instead of bfd_init, because
the former will fail if libbfd is a static library and has a libz
dependency that we don't know about (#3756)

Fix a warning in DEBUG code

Fix the build with GHC 6.12.3

Fix a build failure on non-{x86,amd64}

desugar: do not bother simplifying if we are doing simpleopt-before-flatten

Eliminate IF_ARCH_sparc

Remove some unused CPP macros

Remove CPP from nativeGen/RegAlloc/Linear/FreeRegs.hs

Fixes more failures on arches without an NCG

Parameterise the RegM monad on the FreeRegs type

Whitespace only in nativeGen/RegAlloc/Linear/Base.hs

Add missing type sigs in nativeGen/RegAlloc/Linear/Main.hs

Whitespace only in nativeGen/RegAlloc/Linear/Main.hs