1. 25 Feb, 2016 20 commits
    • thomie's avatar
      Testsuite: delete empty files [skip ci] · 9b49c65f
      thomie authored
    • thomie's avatar
      Mark tests for #11643, #11644, #11645 and #9406 expect_broken · 90fa8cf2
      thomie authored
      For opt_ways or prof_ways only.
      indexed-types/should_compile/all.T called setTestOpts to not run
      the tests with opt_ways. Since I'm finding regressions for opt_ways, I
      removed it. This only makes a difference when running
      `./validate --slow` or `make slowtest`.
      Update submodule hpc.
    • thomie's avatar
      Testsuite: for tests that use TH, omit *all* prof_ways · e02b8c8d
      thomie authored
      Instead of just profasm and profthreaded. And at least until
      -fexternal-interpreter is the default.
        * WAY=profc doesn't exist anymore.
        * Omit all threaded_ways for conc039, not just a few.
    • thomie's avatar
      Testsuite: Introduce config.plugin_way_flags. · 8e6e0222
      thomie authored
      Refactoring only.
    • Rik Steenkamp's avatar
      Improve pattern synonym error messages (add `PatSynOrigin`) · 116528c8
      Rik Steenkamp authored
      Adds a new data constructor `PatSynOrigin Bool Name` to the `CtOrigin`
      data type. This allows for better error messages when the origin of a
      wanted constraint is a pattern synonym declaration.
      Fixes T10873.
      Reviewers: mpickering, simonpj, austin, thomie, bgamari
      Reviewed By: simonpj, thomie, bgamari
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1866
      GHC Trac Issues: #10873
    • Ben Gamari's avatar
    • Matthew Pickering's avatar
      Improve accuracy of suggestion to use TypeApplications · e38c07bf
      Matthew Pickering authored
      The suggestion only makes sense when we try
      to use an as pattern in an expression context.
      It is misleading in the case of a lazy pattern and
      view pattern.
      Reviewers: austin, bgamari
      Reviewed By: bgamari
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1948
    • thomie's avatar
      Handle multiline named haddock comments properly · 6350eb11
      thomie authored
      Fixes #10398 in a different way, thereby also fixing #11579.
      I inverted the logic of the Bool argument to "worker", to hopefully make
      it more self-explanatory.
      Reviewers: austin, hvr, bgamari
      Reviewed By: bgamari
      Differential Revision: https://phabricator.haskell.org/D1935
    • Georgios Karachalias's avatar
      (Alternative way to) address #8710 · 67393977
      Georgios Karachalias authored
      Issue a separate warning per redundant (or inaccessible) clause.
      This way each warning can have more precice location information
      (the location of the clause under consideration and not the whole
      I thought that this could be too much but actually the number of
      such warnings is bound by the number of cases matched against (in
      contrast to the non-exhaustive warnings which may be exponentially
      Test Plan: validate
      Reviewers: simonpj, austin, bgamari
      Reviewed By: bgamari
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1920
      GHC Trac Issues: #8710
    • Ben Gamari's avatar
      cmpTypeX: Avoid kind comparison when possible · 073e20eb
      Ben Gamari authored
      This comparison is only necessary when the types being compared contain
      casts. Otherwise the structural equality of the types implies that their
      kinds are equal.
      Test Plan: Validate
      Reviewers: goldfire, austin, simonpj
      Reviewed By: simonpj
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1944
      GHC Trac Issues: #11597
    • Ben Gamari's avatar
      Bump haddock.base allocations · ebaa638f
      Ben Gamari authored
      I believe this is probably due to the recent RuntimeRep change.
    • Matthew Pickering's avatar
      Reconstruct record expression in bidir pattern synonym · 52879d1f
      Matthew Pickering authored
      Reviewers: austin, rdragon, bgamari
      Reviewed By: bgamari
      Subscribers: rdragon, thomie
      Differential Revision: https://phabricator.haskell.org/D1949
    • manav's avatar
      Make warning names more consistent · 66584914
      manav authored
      - Replace "Sigs" with "Signatures" in WarningFlag data constructors.
      - Replace "PatSyn" with "PatternSynonym" in WarningFlag data
      - Deprecate "missing-local-sigs" in favor of "missing-local-signatures".
      - Deprecate "missing-exported-sigs" in favor of
      - Deprecate "missing-pat-syn-signatures" in favor of
      - Replace "ddump-strsigs" with "ddump-str-signatures"
      These complete the tasks that were explicitly mentioned in #11583
      Test Plan:
      Executed `ghc --show-options` and verified that the flags were changed
      as expected.
      Reviewers: svenpanne, austin, bgamari
      Reviewed By: austin, bgamari
      Subscribers: mpickering, thomie
      Differential Revision: https://phabricator.haskell.org/D1939
      GHC Trac Issues: #11583
    • Ryan Scott's avatar
      Add more type class instances for GHC.Generics · 673efccb
      Ryan Scott authored
      GHC.Generics provides several representation data types that have
      obvious instances of various type classes in base, along with various
      other types of meta-data (such as associativity and fixity).
      Specifically, instances have been added for the following type classes
      (where possible):
          - Applicative
          - Data
          - Functor
          - Monad
          - MonadFix
          - MonadPlus
          - MonadZip
          - Foldable
          - Traversable
          - Enum
          - Bounded
          - Ix
          - Generic1
      Thanks to ocharles for starting this!
      Test Plan: Validate
      Reviewers: ekmett, austin, hvr, bgamari
      Reviewed By: bgamari
      Subscribers: RyanGlScott, thomie
      Differential Revision: https://phabricator.haskell.org/D1937
      GHC Trac Issues: #9043
    • Ömer Sinan Ağacan's avatar
      HscMain: Delete some unused code · 6319a8cf
      Ömer Sinan Ağacan authored
      Reviewers: bgamari, austin
      Reviewed By: austin
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1936
    • Ben Gamari's avatar
      ApplicativeDo: Handle terminal `pure` statements · 0c7db61f
      Ben Gamari authored
      ApplicativeDo handled terminal `return` statements properly, but not
      Test Plan: Validate with included testcase
      Reviewers: austin, simonmar
      Reviewed By: austin, simonmar
      Subscribers: simonpj, thomie
      Differential Revision: https://phabricator.haskell.org/D1931
      GHC Trac Issues: #11607
    • David Turner's avatar
      base: A selection of fixes to the comments in GHC.Stats · 8e19d3a3
      David Turner authored
      Use `-- |` comments throughout.
      Note that numByteUsageSamples is also the number of major GCs
      Note that numGcs counts GCs for all generations
      Note that 'current' really means 'at the end of the last major GC'
      Reviewers: ezyang, hvr, simonmar, austin, bgamari
      Reviewed By: ezyang, simonmar, bgamari
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1929
      GHC Trac Issues: #11603
    • Peter Trommler's avatar
      testsuite: mark tests broken on powerpc64 · feb19eae
      Peter Trommler authored
      The following tests fail on powerpc64 and have a ticket.
      Mark those tests as expect_broken.
      Here are the details:
      The PowerPC native code generator does not support DWARF debug
      information. This is tracked in ticket #11261. Mark the respective
      tests broken on powerpc64.
      testsuite: mark print022 broken on powerpc64
      Ticket #11262 tracks difference in stdout for print022.
      testsuite: mark recomp015 broken on powerpc64
      testsuite: mark recomp011 broken on powerpc64
      This is tracked as ticket #11323 and #11260.
      testsuite: mark linker tests broken on powerpc64
      Ticket #11259 tracks tests failing because there is no RTS
      linker on powerpc64.
      Test Plan: validate
      Reviewers: erikd, austin, bgamari
      Reviewed By: bgamari
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1928
      GHC Trac Issues: #11259, #11260, #11261, #11262, #11323
    • Facundo Domínguez's avatar
      Overload the static form to reduce verbosity. · c1efdcc4
      Facundo Domínguez authored
      Static pointers are rarely used naked: most often they are defined at
      the base of a Closure, as defined in e.g. the distributed-closure and
      distributed-static packages. So a typical usage pattern is:
          distributeMap (closure (static (\x -> x * 2)))
      which is more verbose than it needs to be. Ideally we'd just have to
          distributeMap (static (\x -> x * 2))
      and let the static pointer be lifted to a Closure implicitly. i.e.
      what we want is to overload static literals, just like we already
      overload list literals and string literals.
      This is achieved by introducing the IsStatic type class and changing
      the typing rule for static forms slightly:
          static (e :: t) :: IsStatic p => p t
      Test Plan: ./validate
      Reviewers: austin, hvr, bgamari
      Reviewed By: bgamari
      Subscribers: simonpj, mboes, thomie
      Differential Revision: https://phabricator.haskell.org/D1923
      GHC Trac Issues: #11585
    • Ben Gamari's avatar
      TyCoRep: Add haddock sections · 009a9997
      Ben Gamari authored
  2. 24 Feb, 2016 2 commits
    • Ömer Sinan Ağacan's avatar
      Remove "use mask" from StgAlt syntax · a9dc62ae
      Ömer Sinan Ağacan authored
      Reviewers: austin, bgamari, simonpj
      Reviewed By: simonpj
      Subscribers: thomie
      Differential Revision: https://phabricator.haskell.org/D1933
    • eir@cis.upenn.edu's avatar
      Address #11471 by putting RuntimeRep in kinds. · d8c64e86
      eir@cis.upenn.edu authored
      See Note [TYPE] in TysPrim. There are still some outstanding
      pieces in #11471 though, so this doesn't actually nail the bug.
      This commit also contains a few performance improvements:
      * Short-cut equality checking of nullary type syns
      * Compare types before kinds in eqType
      * INLINE coreViewOneStarKind
      * Store tycon binders separately from kinds.
      This resulted in a ~10% performance improvement in compiling
      the Cabal package. No change in functionality other than
      performance. (This affects the interface file format, though.)
      This commit updates the haddock submodule.
  3. 23 Feb, 2016 17 commits
  4. 22 Feb, 2016 1 commit