summaryrefslogtreecommitdiff
path: root/libraries/base/Data/Semigroup/Internal.hs-boot
Commit message (Collapse)AuthorAgeFilesLines
* Update `base` packageSylvain Henry2020-06-171-1/+1
| | | | | | | | | | | | | | | * GHC.Natural isn't implemented in `base` anymore. It is provided by ghc-bignum in GHC.Num.Natural. It means that we can safely use Natural primitives in `base` without fearing issues with built-in rewrite rules (cf #15286) * `base` doesn't conditionally depend on an integer-* package anymore, it depends on ghc-bignum * Some duplicated code in integer-* can now be factored in GHC.Float * ghc-bignum tries to use a uniform naming convention so most of the other changes are renaming
* base: Add references to Notes for certain special importsChaitanya Koparkar2018-09-051-1/+1
| | | | | | | | | | | | | | | | | | | Summary: Modules like GHC.Integer, GHC.Natural etc. are special and sometimes have to be imported just to resolve build ordering issues. It's useful to refer to the appropriate Notes at such import sites. Test Plan: Read it. Reviewers: RyanGlScott, bgamari, hvr, simonpj Reviewed By: RyanGlScott, simonpj Subscribers: simonpj, rwbarton, carter GHC Trac Issues: #15526 Differential Revision: https://phabricator.haskell.org/D5092
* base: Add dependency on GHC.Integer in a few boot filesBen Gamari2018-04-061-0/+1
| | | | | | | | | | | | | | | | | | | Summary: The typechecker started trying to pull in GHC.Integer.Type's interface file due to the change made in d8d4266bf73790f65b223ec16f645763eaed8be3. It's unclear why the patch in question changed this behavior, but these typechecker-induced dependencies are known to be a bit fragile and adding these imports ensures that the build order is correct. Test Plan: Validate Reviewers: goldfire, hvr Subscribers: thomie, carter GHC Trac Issues: #15004 Differential Revision: https://phabricator.haskell.org/D4560
* Make Semigroup a superclass of Monoid (re #14191)Herbert Valerio Riedel2017-09-071-0/+12
Unfortunately, this requires introducing a couple of .hs-boot files to break up import cycles (mostly to provide class & typenames in order to be able to write type signatures). This does not yet re-export `(<>)` from Prelude (while the class-name `Semigroup` is reexported); that will happen in a future commit. Test Plan: local ./validate passed Reviewers: ekmett, austin, bgamari, erikd, RyanGlScott Reviewed By: ekmett, RyanGlScott GHC Trac Issues: #14191 Differential Revision: https://phabricator.haskell.org/D3927