1. 11 Feb, 2020 6 commits
    • Ben Gamari's avatar
      rts: Remove incorrect assertions around MSG_THROWTO messages · b75e7486
      Ben Gamari authored
      Previously we would assert that threads which are sending a
      `MSG_THROWTO` message must have their blocking status be blocked on the
      message. In the usual case of a thread throwing to another thread this
      is guaranteed by `stg_killThreadzh`.  However, `throwToSelf`, used by
      the GC to kill threads which ran out of heap, failed to guarantee this.
      Noted while debugging #17785.
    • Ben Gamari's avatar
      rts: Use nanosleep instead of usleep · e319570e
      Ben Gamari authored
      usleep was removed in POSIX.1-2008.
    • Richard Eisenberg's avatar
      Do not create nested quantified constraints · de32beff
      Richard Eisenberg authored
      Previously, we would accidentally make constraints like
      forall a. C a => forall b. D b => E a b c as we traversed
      superclasses. No longer!
      This patch also expands Note [Eagerly expand given superclasses]
      to work over quantified constraints; necessary for T16502b.
      Close #17202 and #16502.
      test cases: typecheck/should_compile/T{17202,16502{,b}}
    • Oleg Grenrus's avatar
      Add singleton to Data.OldList · 375b3c45
      Oleg Grenrus authored
    • Tamar Christina's avatar
      Fs: Fix UNC remapping code. · 5670881d
      Tamar Christina authored
    • Sebastian Graf's avatar
      Fix long distance info for record updates · f3e737bb
      Sebastian Graf authored
      For record updates where the `record_expr` is a variable, as in #17783:
      data PartialRec = No
                      | Yes { a :: Int, b :: Bool }
      update No = No
      update r@(Yes {}) = r { b = False }
      We should make use of long distance info in
      `-Wincomplete-record-updates` checking. But the call to `matchWrapper`
      in the `RecUpd` case didn't specify a scrutinee expression, which would
      correspond to the `record_expr` `r` here. That is fixed now.
      Fixes #17783.
  2. 09 Feb, 2020 10 commits
    • Ömer Sinan Ağacan's avatar
      Add regression test for #13142 · 00dc0f7e
      Ömer Sinan Ağacan authored
      Closes #13142
    • Sebastian Graf's avatar
      8.10 Release notes for improvements to the pattern-match checker [skip ci] · f0fd72ee
      Sebastian Graf authored
      A little late to the game, but better late than never.
    • Sylvain Henry's avatar
      Force -fPIC for intree GMP (fix #17799) · 414e2f62
      Sylvain Henry authored
      Configure intree GMP with `--with-pic` instead of patching it. Moreover
      the correct patching was only done for x86_64/darwin (see #17799).
    • Andreas Klebinger's avatar
      Fix -ddump-stg-final. · b2e18e26
      Andreas Klebinger authored
      Once again make sure this dumps the STG used for codegen.
    • Roland Senn's avatar
      Fix #14628: Panic (No skolem Info) in GHCi · 82f9be8c
      Roland Senn authored
      This patch implements the [sugggestion from Simon (PJ)](#14628 (comment 146559)):
      - Make `TcErrors.getSkolemInfo` return a `SkolemInfo` rather than an `Implication`.
      - If `getSkolemInfo` gets `RuntimeUnk`s, just return a new data constructor in `SkolemInfo`, called `RuntimeUnkSkol`.
      - In `TcErrors.pprSkols` print something sensible for a `RuntimeUnkSkol`.
      The `getSkolemInfo` function paniced while formating suggestions to add type annotations (subfunction `suggestAddSig`)
      to a *"Couldn't match type ‘x’ with ‘y’"* error message.
      The `getSkolemInfo` function didn't find any Implication value and paniced.
      With this patch the `getSkolemInfo` function does no longer panic, if it finds `RuntimeUnkSkol`s.
      As the panic occured while processing an error message, we don't need to implement any new error message!
    • Alp Mestanogullari's avatar
      hadrian: Windows fixes (bindists, CI) · 3ae83da1
      Alp Mestanogullari authored
      This commit implements a few Windows-specific fixes which get us from a CI
      job that can't even get as far as starting the testsuite driver, to a state
      where we can run the entire testssuite (but have test failures to fix).
      - Don't forget about a potential extension for the haddock program, when
        preparing the bindist.
      - Build the timeout program, used by the testsuite driver on Windows in place
        of the Python script used elsewhere, using the boot compiler. We could
        alternatively build it with the compiler that we're going to test but this
        would be a lot more tedious to write.
      - Implement a wrapper-script less installation procedure for Windows, in
      - Make dependencies a bit more accurate in the aforementioned Makefile.
      - Update Windows/Hadrian CI job accordingly.
      This patch fixes #17486.
    • Arnaud Spiwack's avatar
      Fix an outdated note link · a906595f
      Arnaud Spiwack authored
      This link appears to have been forgotten in
      0dad81ca .
    • Ben Gamari's avatar
      hadrian: Fix --test-summary argument · f432d8c6
      Ben Gamari authored
      This appears to be a cut-and-paste error.
    • Ben Gamari's avatar
      hadrian: Add --test-metrics argument · 2ac784ab
      Ben Gamari authored
      Allowing the test metric output to be captured to a file, a la
      the METRIC_FILE environment variable of the make build system.
    • Krzysztof Gogolewski's avatar
      Add a test for #15712 · 1f630025
      Krzysztof Gogolewski authored
  3. 08 Feb, 2020 24 commits