[commit: ghc] wip/ghc-8.0's head updated: Bump GHC version to 8.0.0 (f5ef528)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

Branch 'wip/ghc-8.0' now includes:

     c12fc2e Update hoopl submodule to final 3.10.2.1 release
     aa7fb9a Fix GHCi segfault in Windows 32bit
     ff92395 Make HsAppsType contents Located
     44de66b Update Cabal submodule to latest snapshot
     ea3f733 Comments only, about coercion holes
     b407bd7 Retain AnnTilde in splitTildeApps
     f975b0b Rework Template Haskell's handling of strictness
     6eabd93 Update stm submodule to v2.4.4.1 release
     29928f2 Fix grouping for pattern synonyms
     f40e122 Fix typechecking for pattern synonym signatures
     51d8330 Remove duplicate T11224 test definition
     7966eea Localize API Annotation in LInjectivtyAnn
     01b0461 Remove another duplicate test
     575a98e Refactor named wildcards (again)
     721d56d APIAnnotations:AnnComma in wrong place in qcnames1
     d3ce417 Tweak comments around UnivCos.
     21b25df CoercionN is not in scope in TyCoRep
     998739d Refactor package flags into several distinct types.
     1faf1fc Implement -hide-all-plugin-packages and -plugin-package(-id), fixing #11244
     3e99980 Update filepath submodule to latest snapshot
     5f08681 - fix tests on OpenBSD which requires _DYNAMIC symbol
     48e0634 Revert "Allow as-patterns in pattern synonym declarations."
     b55ad1b Wibble to error message in Trac #10426
     1963250 Comments and white space
     c069be8 Add a pattern-syn form of PromotionErr
     99eb002 Comments only
     6eb9dc9 Tidy up and comment wildcards in family instances
     ed213ea Test Trac #11274
     7ed0da6 Modify Nmax to maxN Trac #10728
     dab8e34 Delete incorrect *-ws-32 expected test output
     84f6739 - fix gc_thread related compilation failure on Solaris/i386 platform
     f13de71 Fix super-class cycle check
     b37f216 Comments only
     7824870 Fix ASSERT in buildPatSyn, and T10897 test
     380b25e Allow CallStacks to be frozen
     cb989e2 API Annotaions:add name in PatBind Match
     d1e9f82 Update tests for Trac #11039
     f141f41 Test #10432
     7cddcde Docs: -interactive-print should reside in registered package
     3221599 Make testsuite work again with Py3
     353e97a config.mk.in: Disable stripping by default on ARM
     3017cbc ghc-cabal: Bring back TRANSITIVE_DEP_NAMES
     6ec236b Improve SimplUtils.interestingArg
     d990354 Improve the runRW magic in CorePrep
     fcc7498 Improve tracing a bit in CoreSubst
     1af0d36 Refactoring only
     e338376 Fix normalisation of TyCon representations
     48db13d Don't drop last char of file if -osuf contains dot
     2db18b8 Visible type application
     2032635 Testsuite: fix qq005 and qq006 (#11279)
     bc8cac1 Testsuite: mark T7681 expect_broken (#11287)
     5e4e9e0 Fix #11255.
     bd7ab66 Test #11254 in typecheck/should_compile/T11254
     1411eaf Note [TyBinder] in TyCoRep
     52da6bd Have mkCastTy look more closely for reflexivity.
     da69358 Fix #11287.
     b218241 Test #10589 in typecheck/should_compile/T10589
     05e3541 Test #10619 in typecheck/should_fail/T10619
     0fda908 Bump Haddock submodule again
     8bf2d8f Linker: Fix cut-and-paste error in debug output
     422107e T10518: Ensure literal has 64-bit type
     e39d10f testsuite/T8274: Remove 32-bit test output
     fb5d26d testsuite/codegen: Add missing dummy Makefiles
     0b0652f testsuite/T9430: Fix word-size dependence
     b62215d Linker: Reenable Thumb support
     e8672e5 libraries/ghci: Implement mkJumpToAddr for ppc64
     909bbdb Linker(ELF): Fix addProddableBlocks usage
     da5e693 testsuite/joao-circular: Clean up test results
     a3b34b6 Clean up a botched merge.
     d1ebbb0 testsuite/CmmSwitchTest: Mark as broken on 32-bit platforms
     11778f7 Add testcase for getSizeofMutableByteArray#
     07b3be7 integer-gmp: Fix #11296
     bec5350 Adding flags: -ffull-guard-reasoning and too-many-guards
     c8d0af3 RTS: Detect powerpc64le as ELF 64-bit system
     1b00016 The -package flag should select match from right-most package db.
     0054bcd rts/Linker(ARM): Ensure all code sections are flushed from cache
     01299ca Synchronise ghci-package version with ghc-package
     4a10ecb Patch-level increment integer-gmp to 1.0.0.1
     e01aa22 Patch-level increment integer-simple version 0.1.1.1
     c7830bd Update hpc submodule to 0.6.0.3 version
     3aa4a45 Update filepath submodule to v1.4.1.0 rls tag
     295085c Update time submodule to latest snapshot
     bab5109 Make git-committer inferred version-date TZ-invariant
     7fef7fe drop obsolete/redundant OPTIONS pragma [skip ci]
     af92ef3 ghc/Main: Update list of --print modes
     4f69203 Fix panic when using pattern synonyms with DisambiguateRecordFields
     5bb7fec Export some useful GHC API functions.
     8e735fd Fix GEq1 when optimizations are enabled
     2e49c8c users_guide: Move 7.12.1-notes to 8.0.1-notes
     9cb79c5 Update a few references to GHC 7.12
     b093e63 Modify getFullArgs to include program name
     df6cb57 Accept submodule libraries/primitive commit 1af89788d
     fcc7649 Introduce negative patterns for literals (addresses #11303)
     a1e01b6 testlib: Make TyCon normalization Python 2.6-compatible
     adcbc98 Add regression test for #11303
     e4cc19d Update Cabal submodule to latest snapshot
     c6cab9d Remove `cabal07`-test broken by e4cc19de4bdbcc
     34af60c testsuite: normalise away `ld`-warning on AIX
     f5ef528 Bump GHC version to 8.0.0