• May 17, 2016
  • Apr 21, 2016


    Adjust error check for class method types
    Fixes Trac #11793.  Nothing deep here.
    (cherry picked from commit e24b3b1)
  • Apr 11, 2016


    Deriving Functor-like classes should unify kind variables
    While the deriving machinery always unifies the kind of the typeclass
    argument with the kind of the datatype, this proves not to be sufficient
    to produce well kinded instances for some poly-kinded datatypes. For
    newtype Compose (f :: k2 -> *) (g :: k1 -> k2) (a :: k1)
      = Compose (f (g a)) deriving Functor
    would fail because only `k1` would get unified with `*`, causing the
    ill kinded instance to be generated:
    instance (Functor (f :: k2 -> *), Functor (g :: * -> k2)) =>
      Functor (Compose f g) where ...
    To prevent this, we need to take the subtypes and unify their kinds with
    `* -> *`.
    Fixes #10524 for good.
    Test Plan: ./validate
    Reviewers: simonpj, hvr, austin, bgamari
    Subscribers: thomie
    Differential Revision: https://phabricator.haskell.org/D2097
    GHC Trac Issues: #10524, #10561
    (cherry picked from commit aadde2b)
  • Feb 4, 2016
  • Jan 11, 2016


    configure.ac: Bump down version number
    To ensure that the release candidate version has the correct
    lexicographic relation to the release.
  • Dec 30, 2015


    Start of GHC 8.1 development branch
    (This annotated tag helps tools such as `git describe`)
  • Dec 9, 2015


    Release 7.103a
    This is a patchlevel release over 7.10.3 which fixes a few
    documentation issues.
  • Dec 1, 2015
  • Nov 14, 2015


    x86 codegen: don't generate location comments
    The following source snippet 'module A where x */* y = 42'
    when being compiled with '-g' option emits syntactically
    invalid comment for GNU as:
            .align 8
            .loc 1 3 1 /* */* */
    Fixed by not emitting comments at all. We already suppress
    all asm comments in 'X86/Ppr.hs'.
    Signed-off-by: Sergei Trofimovich <siarheit@google.com>
    Test Plan: added test and check it works
    Reviewers: scpmw, simonmar, austin, bgamari
    Reviewed By: simonmar
    Subscribers: thomie
    Differential Revision: https://phabricator.haskell.org/D1386
    GHC Trac Issues: #10667
  • Nov 5, 2015


    aclocal.m4: Do not check for readelf on darwin
    Tested on darwin and linux. Not tested on mingw32.