GitLab

For instance decls we no longer store the SafeHaskell mode
in this data structure but instead store it as a bool field
in the overlap flag structure.

This was done as we originally planned for SafeHaskell to provide
some compilation safety. We have dropped this though and instead
intend for a new static flag, '--safecompile' that provides
this instead in an orthogonal way to SafeHaskell.

Now ghc supports:
  - trust => Set a package to be trusted
  - distrust => Set a package to be untrusted
  - distrust-all-package => Set all packages to be untrusted by default

OverlappingInstances in Safe modules can only overlap instances
defined in the same module.

Problem with -fforce-recomp not picking up changed Safe flags correctly
fixed. Also now disable Template Haskell completely.

This patch disables the use of some GHC extensions in
Safe mode and also the use of certain flags. Some
are disabled completely while others are only allowed
on the command line and not in source PRAGMAS.

We also check that Safe imports are indeed importing
a Safe or Trustworthy module.

Assigning the arguments to temporaries was only needed in the case of
emitCopyArray, where the arguments are alive across the call.  That is
not the case in emitCopyByteArray.
Signed-off-by: David Terei <davidterei@gmail.com>

I'm not sure what's going on with these warnings, but for now
I've suppressed them all.

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

Also, change the haddock repo URL to point at the new repo.

NOTE: After pulling, you need to
    rm -r libraries/binary
    rm -r utils/haddock
    ./sync-all get

    * Rewrote cmmMachOpFold to cmmMachOpFoldM, which returns
      Nothing if no folding took place.
    * Wrote some generic mapping functions which take functions
      of form 'a -> Maybe a' and are smart about sharing.
    * Split up optimizations from PIC and PPC work in the native
      codegen, so they'll be easier to turn off later
      (they are not currently being turned off, however.)
    * Whitespace fixes!

ToDo: Turn off MachOp folding when new codegenerator is being used.
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

    * Move dead assignment elimination to CmmLive
    * Kill off dead code in CmmSpillReload related
      to non-splitting procpoints case
    * Refactor dual liveness transfer function to
      more closely mimic CmmLive's liveness transfer.
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>