This project is mirrored from Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Last successful update .
  1. 14 Nov, 2013 1 commit
    • Duncan Coutts's avatar
      Handle ExitFailure (-sig) by killing process with signal · 643f07c6
      Duncan Coutts authored
      On Unix we now use negative exit codes in ExitFailure to indicate that a
      process exited due to a signal. This patch implements the case for when
      a ExitFailure exception propagates out of the top of main (and is
      handled by the topHandler).
      For a negative ExitFailure code, we try to kill the process using that
      signal (the details of that are handled by shutdownHaskellAndSignal from
      the RTS). For an exit code outside the valid ranges, we use 0xff.
  2. 08 Nov, 2013 1 commit
  3. 07 Nov, 2013 2 commits
    • Merijn Verstraaten's avatar
      *Really* RTS crash due to bad coercion. · 33ed16bd
      Merijn Verstraaten authored
      Previous commit only moved the coercion mistake to a different
      architecture (i.e. underflow could still occur on platforms where Int
      is smaller than CInt). This patch should definitively deal with all
      possible combinations.
      Signed-off-by: thoughtpolice's avatarAustin Seipp <>
    • Merijn Verstraaten's avatar
      Fix OSX RTS crash due to bad coercion. · 00e04e81
      Merijn Verstraaten authored
      The code coerces Int to CInt, which causes an overflow if Int is bigger
      than CInt (for example, Int 64bit, CInt 32 bit). This results in a
      negative value being passed to c_poll.
      On Linux all negative values are treated as infinite timeouts, which
      gives subtly wrong semantics, but is unlikely to produce actual bugs.
      OSX insists that only -1 is a valid value for infinite timeout, any
      other negative timeout is treated as an invalid argument.
      This patch replaces the c_poll call with a loop that handles the
      overflow gracefully by chaining multiple calls to poll to obtain the
      proper semantics.
      Signed-off-by: thoughtpolice's avatarAustin Seipp <>
  4. 01 Nov, 2013 3 commits
  5. 31 Oct, 2013 1 commit
    •'s avatar
      Add new module Data.Type.Bool, defining &&, || and Not. · 9265c889 authored
      This change was necessary given the instances for (==) in
      Data.Type.Equality. These need conjunction, and a local
      definition of conjunction doesn't work if a client is reasoning
      about equality. Both the client and the library need the
      same conjunction, so that is what Data.Type.Bool provides.
  6. 28 Oct, 2013 4 commits
  7. 27 Oct, 2013 2 commits
  8. 25 Oct, 2013 2 commits
  9. 24 Oct, 2013 1 commit
  10. 18 Oct, 2013 1 commit
  11. 16 Oct, 2013 1 commit
  12. 14 Oct, 2013 1 commit
  13. 12 Oct, 2013 2 commits
  14. 10 Oct, 2013 1 commit
  15. 09 Oct, 2013 1 commit
  16. 07 Oct, 2013 1 commit
  17. 05 Oct, 2013 2 commits
  18. 03 Oct, 2013 3 commits
  19. 02 Oct, 2013 1 commit
    • Austin Seipp's avatar
      Fix Windows build. · 47dd3c22
      Austin Seipp authored
      In dfb52c3d the default language was set to Haskell2010 - by default,
      GHC is less strict about the layout rule (controlled by
      -XNonincreasingIndentation), but not when we explicitly set the language
      to H2010. It turns out we relied on this behavior in the Windows build.
      Thanks to Reid Barton for pointing this out.
      Signed-off-by: default avatarAustin Seipp <>
  20. 30 Sep, 2013 2 commits
  21. 29 Sep, 2013 1 commit
  22. 28 Sep, 2013 6 commits