[Git][ghc/ghc][wip/backports] 15 commits: winio: Fix unused variables warnings

Mon Nov 9 16:27:12 UTC 2020

Ben Gamari pushed to branch wip/backports at Glasgow Haskell Compiler / GHC

Commits:
ed1699b2 by Tamar Christina at 2020-11-09T11:11:52-05:00
winio: Fix unused variables warnings

(cherry picked from commit cb1f755c6fb77f140aee11fdc7b4da04dd5dcd02)

- - - - -
0736b4e3 by Simon Peyton Jones at 2020-11-09T11:13:57-05:00
Fix two constraint solving problems

This patch fixes two problems in the constraint solver.

* An actual bug #18555: we were floating out a constraint to eagerly,
  and that was ultimately fatal.  It's explained in
  Note [Do not float blocked constraints] in GHC.Core.Constraint.

  This is all very delicate, but it's all going to become irrelevant
  when we stop floating constraints (#17656).

* A major performance infelicity in the flattener.  When flattening
  (ty |> co) we *never* generated Refl, even when there was nothing
  at all to do.  Result: we would gratuitously rewrite the constraint
  to exactly the same thing, wasting work.  Described in #18413, and
  came up again in #18855.

  Solution: exploit the special case by calling the new function
  castCoercionKind1.  See Note [castCoercionKind1] in
  GHC.Core.Coercion

(cherry picked from commit 0b3d23afcad8bc14f2ba69b8dbe05c314e6e7b29)

- - - - -
6c1cf280 by Tamar Christina at 2020-11-09T11:17:24-05:00
winio: simplify logic remove optimization step.

(cherry picked from commit 412018c1214a19649e0ccfff73e80a0622635dd5)

- - - - -
57a79fc5 by Sylvain Henry at 2020-11-09T11:18:36-05:00
Allow fusion with catMaybes (#18574)

Metric Decrease:
   T18574

(cherry picked from commit e393f213f5ccff4fd6034d5294e51aa5a2720890)

- - - - -
fd5305c4 by David Beacham at 2020-11-09T11:19:16-05:00
Fix `instance Bounded a => Bounded (Down a)` (#18716)

* Flip `minBound` and `maxBound` to respect the change in ordering
* Remove awkward `Enum` (and hence `Integral`) instances for
  `Data.Ord.Down`
* Update changelog

(cherry picked from commit 9ad51bc9d2ad9168abad271f715ce73d3562218a)

- - - - -
55f677ea by Sylvain Henry at 2020-11-09T11:21:24-05:00
Fix parsing of PIE flags

-fPIE and -fno-PIE flags were (un)setting Opt_PIC instead of Opt_PIE.

Original commit: 3625728a0e3a9b56c2b85ae7ea8bcabdd83ece6a

(cherry picked from commit 17d2f0a886f9f56ea408d2dd8b7f054021da19a4)

- - - - -
1ce75069 by Vladislav Zavialov at 2020-11-09T11:21:52-05:00
Fix PostfixOperators (#18151)

This fixes a regression introduced in 2b89ca5b850b4097447cc4908cbb0631011ce979
See the new T18151x test case.

(cherry picked from commit bf2411a3c198cb2df93a9e0aa0c3b8297f47058d)

- - - - -
2888486f by Ben Gamari at 2020-11-09T11:22:20-05:00
Bump win32-tarballs version to 0.3

This should fix #18774.

(cherry picked from commit e5c7c9c8578de1248826c21ebd08e475d094a552)

- - - - -
74d25509 by Ben Gamari at 2020-11-09T11:22:32-05:00
mingw: Extract zst toolchain archives

This should have been done when the toolchain was bumped.

(cherry picked from commit a848d52748c09a27ed5bef0fb039c51656bebdf1)

- - - - -
8506ae3f by Tamar Christina at 2020-11-09T11:22:56-05:00
winio: fixed bytestring reading interface.

(cherry picked from commit 0fd3d360cab977e00fb6d90d0519962227b029bb)

- - - - -
c95752a3 by Tamar Christina at 2020-11-09T11:23:26-05:00
winio: fixed more data error.

(cherry picked from commit dfaef1cae7a4a0cb8783933274dae7f39d7165a0)

- - - - -
b5f0b0f2 by Tamar Christina at 2020-11-09T11:23:42-05:00
winio: fix array splat

(cherry picked from commit 6f0243ae5b359124936a8ff3dd0a287df3d7aca2)

- - - - -
f02cea02 by Tamar Christina at 2020-11-09T11:23:49-05:00
winio: fixed timeouts non-threaded.

(cherry picked from commit c832f7e2a9314cfd61257cb161b1795b612d12b5)

- - - - -
9ac19401 by Andreas Klebinger at 2020-11-09T11:24:12-05:00
NCG: Fix 64bit int comparisons on 32bit x86

We no compare these by doing 64bit subtraction and
checking the resulting flags.

We used to do this differently but the old approach was
broken when the high bits compared equal and the comparison
was one of >= or <=.

The new approach should be both correct and faster.

(cherry picked from commit bb100805337adc666867da300ee5b0b11c18fe00)

- - - - -
e57ea51e by Alan Zimmerman at 2020-11-09T11:26:02-05:00
Restrict Linear arrow %1 to exactly literal 1 only

This disallows `a %001 -> b`, and makes sure the type literal is
printed from its SourceText so it is clear why.

Closes #18888

(cherry picked from commit 616bec0dee67ae4841c4e60e9406cc9c63358223)

- - - - -

30 changed files:

- .gitlab-ci.yml
- compiler/GHC/CmmToAsm/X86/CodeGen.hs
- compiler/GHC/CmmToAsm/X86/Cond.hs
- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/FamInstEnv.hs
- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/Unify.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Hs/Type.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Flatten.hs
- configure.ac
- libraries/base/Data/Maybe.hs
- libraries/base/Data/Ord.hs
- libraries/base/GHC/Event/Array.hs
- libraries/base/GHC/Event/Windows.hsc
- libraries/base/GHC/IO/Handle/Text.hs
- libraries/base/GHC/IO/Windows/Handle.hsc
- libraries/base/changelog.md
- libraries/base/tests/IO/all.T
- + libraries/base/tests/IO/bytestringread001.hs
- + libraries/base/tests/IO/bytestringread001.stdout
- mk/get-win32-tarballs.py
- rts/win32/AsyncWinIO.c
- rts/win32/AsyncWinIO.h
- testsuite/tests/cmm/should_run/all.T
- + testsuite/tests/cmm/should_run/cmp64.hs
- + testsuite/tests/cmm/should_run/cmp64.stdout

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/bba8f79c7e933c312ca251469b99d0ac99954e16...e57ea51ec6d774d9c86feac171e6a8c4a73aacb2

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/bba8f79c7e933c312ca251469b99d0ac99954e16...e57ea51ec6d774d9c86feac171e6a8c4a73aacb2
You're receiving this email because of your account on gitlab.haskell.org.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201109/ab0764a0/attachment.html>