[commit: ghc] wip/rae's head updated: Address #11471 by putting RuntimeRep in kinds. (beed34f)

git at git.haskell.org git at git.haskell.org
Sat Feb 6 18:32:47 UTC 2016


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

Branch 'wip/rae' now includes:

     00c8076 fix typo causing compilation failure on SPARC (ArchSparc -> ArchSPARC)
     6cb860a Add -prof stack trace to assert
     3e796e1 A little closer to supporting breakpoints with -fexternal-interpreter
     88d6d5a Use implicit CallStacks for ASSERT when available
     d44bc5c TemplateHaskell: revive isStrict, notStrict and unpacked
     ac3cf68 Add missing type representations
     e782e88 Add test for Data.Typeable.typeOf
     c3f9246 Print a message when loading a .ghci file.
     6ea24af Handle over-applied custom type errors too.
     c313327 Minor improvement in CoreDump outputs:
     c73333a Minor code refactoring
     61011b4 users-guide: Wibbles
     91dcc65 GHC.Generics: Fix documentation
     f0c4e46 Add tests for #11391
     b0641ad INSTALL.md: Mention -j and other wibbles
     78a4c72 Rename InjectiveTypeFamilies to TypeFamilyDependencies
     4dbc31b users-guide: Update language extension implications
     b355b8f users-guide: Add since annotations for language extensions
     83c13c2 user-guide: Use ghc-flag for dump formatting flags
     fd686c4 API Annotations: use AnnValue for (~)
     db371c1 T11300: Fix test on windows
     49e414a Remove lookup of sections by name instead use the index numbers as offsets
     91f1c60 Fix #11015 with a nice note.
     8959b03 ANNOUNCE: Mention powerpc code generator
     b90cac6 user-guide: Note Cabal version limitation
     faf3f96 users-guide: Fix cabal version number
     c6a3e22 Link command line libs to temp so
     e7eec3a Use XZ compression by default
     7cf16aa Don't output manpage in same directory as source
     756b228 Refactor lookupFixityRn-related code following D1744
     67fc3f3 configure.ac: Export MAKECMD to build system
     443bf04 Allow pattern synonyms which have several clauses.
     165ae44 Expand type/kind synonyms in TyVars before deriving-related typechecking
     e6ca930 Fix #11355.
     d4af57f Test #11252 in ghci/scripts/T11252
     d459f55 Fix #10872.
     6c07f14 Fix #11311
     3a7f204 Clarify topological sorting of spec vars in manual
     39ea4b4 Fix #11254.
     bafbde7 Constrained types have kind * in validity check.
     072191f Fix #11404
     33950aa Tiny refactoring in TcUnify
     80b4c71 Fix typo in error message (#11409)
     3c6635e Fix #11405.
     148a50b Fix some typos
     3a1babd Work SourceText in for all integer literals
     9308c73 Fix a number of subtle solver bugs
     3b6a490 Add missing T11408.hs
     ae1c48c rts/posix: Fail with HEAPOVERFLOW when out of memory during mmap
     d1ce1aa users-guide: Clean manpage build artifacts and fix usage of clean-target
     b3eb8fa Complete operators properly
     65b810b Show TYPE 'Lifted/TYPE 'Unlifted as */# in Show TypeRep instance
     f3a867e Add testcase for #11414
     2fd407c validate: Use gz compression during bindist check
     a7b751d un-wire-in error, undefined, CallStack, and IP
     5a62b6a Simplify API to tcMatchTys
     f02200f Layout only
     cb24e68 Fix typecheck of default associated type decls
     b7e5c30 White space only
     6e0c0fd Improve debug printing/warnings
     ec8a188 Refactoring on IdInfo and system derived names
     8e6a68d Add Trac #11427 to Note [Recursive superclasses]
     e2c7b7e Implement scoped type variables in pattern synonyms
     8e50301 Test Trac #11379
     5412899 Typo in comment
     817dd92 Fixes to "make clean" for the iserv dir
     b8abd85 Replace calls to `ptext . sLit` with `text`
     240ddd7 Switch from -this-package-key to -this-unit-id.
     cbc03f1 ghci: Kill global macros list
     d2ea7f9 Hide derived OccNames from user
     38666bd user-guide: Delete errant fragment
     aff51af users-guide: Begin documenting --frontend
     80265c4 Typos in comments
     9d33adb Check InScopeSet in substTy and provide substTyUnchecked
     713aa90 Re-export ghc-boot:GHC.Serialized as Serialized
     952eda2 Fix IfaceType generation for TyCons without TyVars
     975bdac T11266: Improve the test by adding more of the other problematic modules
     514bac2 Fix combineIdenticalAlts
     0373a84 Oops.  Add missing close-comment
     5cce095 Use (&&) instead of `if` in Ix derivation
     84b0ebe Rework derivation of type representations for wired-in things
     225afc4 Add test T9407 (Windows)
     6ddc991 Update submodule stm + random
     48d4bc5 substTy to substTyUnchecked to fix Travis build
     1ce1371 MkId: Update OpenKind reference
     2e65aae Add comments about tyCoVarsOfType
     e604e91 Comments only
     c572430 Re-add missing kind generalisation
     6f95e23 Comments only
     b3ee37c Improve pretty-printing of UnivCo
     07afe44 Remove the check_lifted check in TcValidity
     b2e6350 Strip casts in checkValidInstHead
     395ec41 Allow implicit parameters in constraint synonyms
     ede055e TyCoRep: Restore compatibility with 7.10.1
     f23b578 user-guide:: Improve -D description
     928484d user-guide: Refer to MIN_VERSION_GLASGOW_HASKELL from intro
     3883f99 rel-notes: Note the return of -Wmonomorphism-restriction
     7cb893f Update and improve documentation in Data.Foldable
     96303db Add a missing .gitignore entry in annotations tests
     2ffc260 Add -ignore-dot-ghci to tests that use --interactive
     4c4a0a5 Fix docstring GHC.IO.Handle.FD.openFileBLocking
     4c11db6 sphinx-build: fix python stack overflow (Trac #10950)
     b617e9f Improve comments in CmmSwitch
     85e147e Always run test T9407
     36b174d Add expected stderr for #11466 test case
     adb721b Make a constraint synonym for repeated BinaryStringRep and use it.
     835a2a2 Default non-canonical CallStack constraints
     2df4221 Add tests for #11465 and the kind invariant
     9048c3d Don't print "Loaded GHCi configuration" message in ghc -e (#11478)
     65881c0 Mark some ghci tests as req_interp
     6e5f828 Fix a formatting error in the user's guide
     4d51bfc Do not count void arguments when considering a function for loopification.
     b01288d rts: Disable tick timer unless really needed
     4e04043 Add test for Trac #11056
     f42db15 Remove unused IND_PERM
     06c2547 Small doc fix
     7cd37c5 Give a more verbose error message when desugaring a HsTypeOut
     8e9a870 Remove -Wredundant-superclasses from standard warnings
     1be8491 mkUserGuidePart: Better flag cross-referencing
     6f96109 user-guide: Reformat warning lists
     b5e52bf user-guide: Fix typos
     ec87788 Don't add ticks around type applications (#11329)
     923d215 user-guide: Document -L RTS flag
     89bdac7 Add test for #11473
     8b5ea7c User's guide: fix singular/plural typo in flagnames
     98d6a29 Docs: delete section on Hierarchical Modules
     edc68b2 Remove `replaceDynFlags` from `ContainsDynFlags`
     2c6fe5b Add -fwarn-redundant-constrains to test for #9708
     fd6dd41 Implement `-Wnoncanonical-monadfail-instances` warning
     ff21795 Special-case implicit params in superclass expansion
     746764c Refactor validity checking for type/data instances
     42c6263 Avoid recursive use of immSuperClasses
     f7e0e5f Improve tracing in checkValidInstance
     3c060f3 Fix exprIsHNF (Trac #11248)
     5c82333 Show error message for unknown symbol on Elf_Rel platforms
     edb30fd Comments only: more alternate names for ARM registers [skip ci]
     bc1e085 HscTypes: Fix typo in comment
     132c208 Rename -Wmissing-monadfail-instance to plural-form
     6e2658f Better document behavior of -Wmissed-specialisations
     128b678 user-guide: Note order-dependence of flags
     f0f63b3 Implement -Wunrecognised-warning-flag
     9fe7d20 Ensure that we don't produce code for pre-ARMv7 without barriers
     632f020 Less verbose output for the in-scope set
     cf788a5 White space only
     47b3f58 Add "ticks-exhausted" comment
     1c6d70c Kill off zipTopTCvSubst in favour of zipOpenTCvSubst
     016a0bd Fix two cloning-related bugs
     34c9a4e Missed plural renaming in user's guide
     5f5dc86 Minor users-guide markup fixup [skip ci]
     9b71695 Update transformers submodule to 0.5.1.0 release
     f1885df Update process submodule to 1.4.2.0 release
     3798b2a Fix three broken tests involving exceptions
     01809bc Pass InScopeSet to substTy in lintTyApp
     e24a9b5 Nicer error on +RTS -hc without -rtsopts or -prof
     6d2bdfd Fix segmentation fault when .prof file not writeable
     6817703 Split off -Wunused-type-variables from -Wunused-matches
     144ddb4 Construct in_scope set in mkTopTCvSubst
     eeb67c9 Testsuite: fixup req_profiling tests (#11496)
     e2bdf03 Build profiling libraries on `validate --slow` (#11496)
     44a5d51 Enable RemoteGHCi on Windows
     45fd83b Fix a typo in the note name in comments
     448ea97 Typos in comments
     1f6d142 ghci: fix trac issue #11481
     1c6130d rts/Timer: Actually fix #9105
     0dc7b36 Restore original alignment for info tables
     0d92d9c Use stage1 build variables when building the RTS
     d50609e Test for undef bugs in the LLVM backend when validating
     45c6fbc Document -fllvm-fill-undef-with-garbage
     4faa1a6 s/unLifted/unlifted for consistency
     2899aa5 Fix some substitution InScopeSets
     00cbbab Refactor the typechecker to use ExpTypes.
     5dcae88 Rename "open" subst functions
     85daac5 Fix cost-centre-stack bug when creating new PAP (#5654)
     a496f82 Remote GHCi: create cost centre stacks in batches
     71b1183 Update profiling test output
     0d5ddad fix validate breakage
     63700a1 Use the in_scope set in lint_app
     1b72534 Fixup test for #10728
     61e4d6b Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330)
     d3b7db0 Fix the Windows build
     0dd663b Add closing parenthesis in comment for eqString (#11507)
     bc83c73 Add release note about flexible RebindableSyntax
     bb956eb Add asserts to other substitution functions
     6c7760b Define CTYPE for more Posix types
     2fbf370 Update unix submodule to latest snapshot
     b61f5f7 Put docs in /usr/share/doc/ghc-<version>
     4d0e4fe Add type signatures.
     90f688e Code formatting cleanup.
     6544f8d Properly track live registers when saving the CCCS.
     669cbef Fix Trac issue #11487.
     34519f0 When encountering a duplicate symbol, show source of the first symbol
     f8e2b7e Minor doc fixes to GHC.Generics
     a883c1b Missing @since annotations in GHC.Generics
     e5a0a89 Suppress substitution assertions to fix tests
     0d60165 Simplify ghc-boot database representation with new type class.
     94048f9 Hide the CallStack implicit parameter
     86897e1 Implement basic uniform warning set tower
     ba88aab Fix LOOKS_LIKE_PTR for 64-bit platforms
     2ad46a8 Add some Outputable instances
     02e3ce0 Typo in docs
     7329310 Fix runtime linker error message when old symbol had no owner
     dd0b7c7 Avoid mangled/derived names in GHCi autocomplete (fixes #11328)
     ddd38e7 Update unix submodule to latest snapshot
     af8fdb9 TyCoRep: Implement some helpers for dropping/checking Levity arguments
     2fb6a8c Remote GHCi: Optimize the serialization/deserialization of byte code
     7cb1fae Remote GHCi: batch the creation of strings
     c996db5 Remote GHCi: parallelise BCO serialization
     01c587c Fix Windows build after D1874
     07ed241 Use a correct substitution in tcCheckPatSynDecl
     a7ad0b9 Make TypeError a newtype, add changelog entry
     3f1f8a8 Make exactTyCoVarsOfTypes closed over kinds.
     a061157 Existentials should be specified.
     cb443db Add missing kind cast to pure unifier.
     6b5f28f Remove extraneous fundeps on (~)
     beed34f Address #11471 by putting RuntimeRep in kinds.


More information about the ghc-commits mailing list