[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 6 commits: PmCheck: Big refactor of module structure

[Marge Bot]

 Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
af1e84e7 by Sebastian Graf at 2020-09-26T05:36:46-04:00
PmCheck: Big refactor of module structure

  * Move everything from `GHC.HsToCore.PmCheck.*` to
    `GHC.HsToCore.Pmc.*` in analogy to `GHC.Tc`, rename exported
    `covCheck*` functions to `pmc*`
  * Rename `Pmc.Oracle` to `Pmc.Solver`
  * Split off the LYG desugaring and checking steps into their own
    modules (`Pmc.Desugar` and `Pmc.Check` respectively)
  * Split off a `Pmc.Utils` module with stuff shared by
    `Pmc.{,Desugar,Check,Solver}`
  * Move `Pmc.Types` to `Pmc.Solver.Types`, add a new `Pmc.Types` module
    with all the LYG types, which form the interfaces between
    `Pmc.{Desugar,Check,Solver,}`.

- - - - -
f08f98e8 by Sebastian Graf at 2020-09-26T05:36:46-04:00
Extract SharedIdEnv into its own module

It's now named `GHC.Types.Unique.SDFM.UniqSDFM`.
The implementation is more clear about its stated goals and supported
operations.

- - - - -
1cde295c by Sylvain Henry at 2020-09-26T05:37:23-04:00
Bignum: add bigNatFromWordArray

Reimplementation of integer-gmp's byteArrayToBigNat#

- - - - -
86de75f6 by Krzysztof Gogolewski at 2020-09-26T06:08:08-04:00
Make 'undefined x' linear in 'x' (#18731)

- - - - -
88ab84a8 by Krzysztof Gogolewski at 2020-09-26T06:08:14-04:00
Disallow linear types in FFI (#18472)

- - - - -
4149828c by Krzysztof Gogolewski at 2020-09-26T06:08:15-04:00
Fix handling of function coercions (#18747)

This was broken when we added multiplicity to the function type.

- - - - -


26 changed files:

- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Hs/Extension.hs
- compiler/GHC/HsToCore/Binds.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/GHC/HsToCore/GuardedRHSs.hs
- compiler/GHC/HsToCore/Match.hs
- compiler/GHC/HsToCore/Monad.hs
- compiler/GHC/HsToCore/PmCheck.hs → compiler/GHC/HsToCore/Pmc.hs
- + compiler/GHC/HsToCore/Pmc/Check.hs
- + compiler/GHC/HsToCore/Pmc/Desugar.hs
- compiler/GHC/HsToCore/PmCheck/Ppr.hs → compiler/GHC/HsToCore/Pmc/Ppr.hs
- compiler/GHC/HsToCore/PmCheck/Oracle.hs → compiler/GHC/HsToCore/Pmc/Solver.hs
- compiler/GHC/HsToCore/PmCheck/Types.hs → compiler/GHC/HsToCore/Pmc/Solver/Types.hs
- + compiler/GHC/HsToCore/Pmc/Types.hs
- + compiler/GHC/HsToCore/Pmc/Utils.hs
- compiler/GHC/HsToCore/Types.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/Foreign.hs
- compiler/GHC/Tc/Solver.hs
- + compiler/GHC/Types/Unique/SDFM.hs
- compiler/ghc.cabal.in
- libraries/ghc-bignum/src/GHC/Num/BigNat.hs
- libraries/integer-gmp/src/GHC/Integer/GMP/Internals.hs
- + testsuite/tests/linear/should_compile/T18731.hs
- testsuite/tests/linear/should_compile/all.T
- + testsuite/tests/linear/should_fail/LinearFFI.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/147f1e6a503304a367de1dc9ed68d6ab6556c943...4149828c2935eed35dfdd27c128836adcaf89fae

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/147f1e6a503304a367de1dc9ed68d6ab6556c943...4149828c2935eed35dfdd27c128836adcaf89fae
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/20200926/b0c9915f/attachment.html>