1. 25 Feb, 2016 3 commits
    • 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
  5. 21 Feb, 2016 3 commits
  6. 20 Feb, 2016 7 commits
  7. 19 Feb, 2016 5 commits
    • thomie's avatar
    • thomie's avatar
      Pass -haddock to tests in should_compile_*flag*_nohaddock · c6007fe6
      thomie authored
      should_compile_flag_nohaddock and should_compile_noflag_nohaddock
      contain the exact same tests. By passing `-haddock` to the tests in
      should_compile_**flag**_nohaddock, at least they're now testing
      different things.
      Add documentation.
    • thomie's avatar
      Modifier letter in middle of identifier is ok · d738e664
      thomie authored
      Refactoring only. Cleanup some loose ends from #10196.
      Initially the idea was to only allow modifier letters at the end of
      identifiers. Since we later decided to allow modifier letters also in
      the middle of identifiers (because not doing so would not fix the
      regression completely), the names `suffix` and `okIdSuffixChar` don't
      seem appropriate anymore.
      Remove TODO. Move test from should_fail to should_compile.
    • thomie's avatar
      Delete support for deprecated "-- # ..."-style haddock options · 2f733b3a
      thomie authored
      A long time ago, you could use `"-- # <haddock options>"` to mean that
      `<haddock options.` should be passed to `haddock`. Since 2007
      (03d8585e), using `OPTIONS_HADDOCK` is
      the preferred way to do this.
      Why is ok to remove support for "-- # .."?
      * It is not mentioned in the Haddock user's guide, nor are there any
        tests that use it.
      * Ever since 2011 (b3e30449), it doesn't
        actually work anymore. The function `getOptionsFromFile` uses
        `gopt_unset dflags Opt_Haddock` for other reasons, so even when
        running ghc with `--haddock`, the following rule always fires when the
        lexer sees "-- # ..", and it gets treated as a normal comment:
          -- Next, match Haddock comments if no -haddock flag
          "-- " [$docsym \#] .* / { ifExtension (not . haddockEnabled) } { lineCommentToken }
      Reviewed by: bgamari
      Differential Revision: https://phabricator.haskell.org/D1932
    • Gabor Greif's avatar
      A few more typos in non-code · 8b073f6c
      Gabor Greif authored
  8. 18 Feb, 2016 2 commits