delta/haskell.git/libraries/base/Data, branch wip/stringbuffer

Fix a leak in `transpose`

2020-11-01T13:52:08+00:00

This patch was authored by David Feuer

Fix `instance Bounded a => Bounded (Down a)` (#18716)

2020-10-27T17:59:35+00:00

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

Remove Proxy# argument in Data.Typeable.Internal

2020-10-15T08:30:27+00:00

No longer neccessary - TypeRep is now indexed, there is no ambiguity.

Also fix a comment in Evidence.hs, IsLabel no longer takes a Proxy#.

Unification of Nat and Naturals

2020-10-13T10:05:49+00:00

This commit removes the separate kind 'Nat' and enables promotion
of type 'Natural' for using as type literal.
It partially solves #10776

Now the following code will be successfully typechecked:
    data C = MkC Natural
    type CC = MkC 1

Before this change we had to create the separate type for promotion
    data C = MkC Natural
    data CP = MkCP Nat
    type CC = MkCP 1

But CP is uninhabited in terms.

For backward compatibility type synonym `Nat` has been made:
    type Nat = Natural

The user's documentation and tests have been updated.
The haddock submodule also have been updated.

Allow fusion with catMaybes (#18574)

2020-10-01T22:34:53+00:00

Metric Decrease:
   T18574

New linear types syntax: a %p -> b (#18459)

2020-09-29T04:32:05+00:00

Implements GHC Proposal #356

Updates the haddock submodule.

Remove redundant "do", "return" and language extensions from base

2020-09-24T00:44:24+00:00

Export singleton function from Data.List

2020-09-19T19:48:41+00:00

Data.OldList exports a monomorphized singleton function but
it is not re-exported by Data.List. Adding the export to
Data.List causes a conflict with a 14-year old function of the
same name and type by SPJ in GHC.Utils.Misc. We can't just remove
this function because that leads to a problems when building
GHC with a stage0 compiler that does not have singleton in
Data.List yet. We also can't hide the function in GHC.Utils.Misc
since it is not possible to hide a function from a module if the
module does not export the function. To work around this, all
places where the Utils.Misc singleton was used now use a qualified
version like Utils.singleton and in GHC.Utils.Misc we are very
specific about which version we export.

Deprecate Data.Semigroup.Option

2020-09-19T10:57:36+00:00

Libraries email: https://mail.haskell.org/pipermail/libraries/2018-April/028724.html

GHC issue: https://gitlab.haskell.org/ghc/ghc/issues/15028

Corresponding PRs for deepseq:
* https://github.com/haskell/deepseq/pull/55
* https://github.com/haskell/deepseq/pull/57

Bumps the deepseq submodule.

Make the 'IsString (Const a b)' instance polykinded on 'b'

2020-09-17T12:50:30+00:00