summaryrefslogtreecommitdiff
path: root/libraries
Commit message (Collapse)AuthorAgeFilesLines
* Data.Complex: Derive GenericBen Gamari2015-04-032-1/+4
| | | | | | Reviewed By: hvr, austin Differential Revision: https://phabricator.haskell.org/D770
* Drop old integer-gmp-0.5 from GHC source treeHerbert Valerio Riedel2015-03-3147-7626/+136
| | | | | | | | | | | | | | | | | | This completes what c774b28f76ee4c220f7c1c9fd81585e0e3af0e8a (#9281) started. `integer-gmp-1.0` was added as an additional `libraries/integer-gmp2` folder while retaining the ability to configure GHC w/ the old `integer-gmp-0.5` to have a way back, and or the ability to easily switch between old/new `integer-gmp` for benchmark/debugging purposes. This commit removes the old `libraries/integer-gmp` folder and moves `libraries/integer-gmp2` into its place, while removing any mentions of "gmp2" as well as the to support two different `integer-gmp` packages in GHC's source-tree. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D769
* Add Monad instance for `((,) a)` (#10190)Fumiaki Kinoshita2015-03-252-0/+5
| | | | | | | | | | | This was proposed a couple of times in the past, e.g. - https://mail.haskell.org/pipermail/libraries/2011-November/017153.html - https://mail.haskell.org/pipermail/libraries/2013-July/020446.html but its implementation had been blocked by the fact that `Monoid` wasn't in scope where the `Monad` class was defined. Since the AMP/FTP restructuring this is no longer the case.
* Update base changelog regarding 4.8.1 changesHerbert Valerio Riedel2015-03-231-3/+27
| | | | | | | Turns out we've been a bit too lazy and quite a few undocumented changes have accumulated in `base` relative to GHC 7.10's `base-4.8.0.0`... [skip ci]
* Minor bump `base` version to 4.8.1.0Herbert Valerio Riedel2015-03-231-1/+1
| | | | | We've accumulated enough to justify a minor version bump to 4.8.1.0, but not enough to justify a major version bump yet as far as I can see.
* Fix integer-gmp source tarball distributionHerbert Valerio Riedel2015-03-232-0/+528
| | | | | | The `configure` script checks for presence of `install-sh` even if it's not used, so we simply add it to the distribution to make `configure` happy.
* Update integer-gmp2's changelog for releaseHerbert Valerio Riedel2015-03-231-1/+1
| | | | | | [skip ci] (cherry picked from commit 7bd3efe3ccc6dc0a3ec84008285b4e03b48d8f41)
* docs: make gen_contents_index --verbose more verboseAustin Seipp2015-03-221-1/+3
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update haskeline submodule to 0.7.2.1 release tagHerbert Valerio Riedel2015-03-221-0/+0
| | | | | | This fixes compilation under windows with pre-AMP GHCs although it's not clear if bootstrapping GHC was affected. (see https://github.com/judah/haskeline/issues/20 for details)
* Update Cabal submodule to Cabal-v1.22.2.0 rls tagHerbert Valerio Riedel2015-03-211-0/+0
| | | | this submdoule updates pulls in only meta-data changes
* Update bytestring submodule to 0.10.6.0 release tagHerbert Valerio Riedel2015-03-201-0/+0
|
* Try to reconstruct a changelog for TH 2.10Herbert Valerio Riedel2015-03-201-1/+18
| | | | | | [skip ci] (cherry picked from commit 9d15af88b9b5cbf9dd4a4d072aa94540074cc4b3)
* Bump ghc-prim to 0.4.0.0Herbert Valerio Riedel2015-03-203-4/+4
| | | | | | | | | | | | This major version bump was made necessary by f44333eae7bc7dc7b6003b75874a02445f6b633b which changed the type signatures of prefetch primops, as well as other changes such as 051d694fc978ad28ac3043d296cafddd3c2a7050 turning `Any` into an abstract closed type family. Reviewed By: ekmett Differential Revision: https://phabricator.haskell.org/D743
* Update deepseq submodule to 1.4.1.1 tagHerbert Valerio Riedel2015-03-201-0/+0
| | | | This deepseq update drops the redundant ghc-prim dependency for GHC>=7.6
* libraries: update win32 submoduleAustin Seipp2015-03-191-0/+0
| | | | | | This update fixes #10165. Signed-off-by: Austin Seipp <austin@well-typed.com>
* win32/base: Remove redundant importAustin Seipp2015-03-191-1/+0
| | | | | | This causes ./validate to trip -Werror on Windows. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update Cabal submodule to 1.22 branch tipHerbert Valerio Riedel2015-03-191-0/+0
|
* Update filepath/hpc/process submodulesHerbert Valerio Riedel2015-03-193-0/+0
| | | | | These updates these 3 submodules to their respective released tagged commits. No source-code changes are involved with this update.
* Typos in commentsGabor Greif2015-03-182-3/+3
|
* Add release note entry for D716Austin Seipp2015-03-171-0/+4
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Add more MonadZip instancesOleg Grenrus2015-03-172-2/+28
| | | | | | | | | | | | | | Summary: Add MonadZip Alt and MonadFix Alt instances Reviewers: ekmett, dfeuer, hvr, austin Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D716 GHC Trac Issues: #10107
* libraries/win32: update submoduleAustin Seipp2015-03-161-0/+0
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update Cabal submodule to latest 1.22.1.2 snapshotHerbert Valerio Riedel2015-03-151-0/+0
| | | | | | | | This addresses the Cabal side of #10115 as this pulls in the following two commits: > Make sure to pass the package key to ghc > Haddock: Use --package-{name|version} when available
* We need to import 'cast' on WindowsEdward Z. Yang2015-03-141-0/+2
| | | | | | | | | | | This fixes breakage introduced via 47b5b5c2b2c92ba091313c36489588edadceaa9d Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Reviewed By: hvr Differential Revision: https://phabricator.haskell.org/D732
* Update submodule hpc (includes fix for #9619)Thomas Miedema2015-03-111-0/+0
| | | | | | Reviewers: austin Differential Revision: https://phabricator.haskell.org/D704
* Cleanup test framework string formattingThomas Miedema2015-03-111-0/+0
| | | | | | | | | | | | * Use format strings instead of string concatenation. * Wrap `config.compiler`, `config.hpc` etc. in quotes in `mk/test.mk`, so we don't have to in .T scripts and driver/testlib.py. Update hpc submodule (test cleanup) Reviewers: austin Differential Revision: https://phabricator.haskell.org/D718
* Rename ty{Con,peRep}Hash to ty{Con,peRep}FingerprintHerbert Valerio Riedel2015-03-113-9/+9
| | | | | | | | | | | This is a follow-up change to 56e0ac98c3a439b8757a2e886db259270bdc85f0 See also discussion at https://groups.google.com/d/msg/haskell-core-libraries/e9N3U6nJeQE/V-TvG3G-3x4J Reviewed By: simonpj Differential Revision: https://phabricator.haskell.org/D726
* Update filepath submodule to filepath-1.4 snapshotHerbert Valerio Riedel2015-03-114-0/+0
| | | | | | This also needs to update a couple of other submodules to update the upper bound on filepath to allow this major version bump to 1.4.0.0
* Update Cabal submodule to latest 1.22 snapshotEdward Z. Yang2015-03-111-0/+0
| | | | | | | | | | | | | | | This changes the library file name format NOTE: This patch originally updated to Cabal HEAD, but was reduced to update to Cabal 1.22 HEAD by hvr as this is needed in order to update the filepath submodule to version 1.4.0, and subsequently to be cherry-picked into the ghc-7.10 branch Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D707
* Update directory submodule to latest 1.2.2 snapshotHerbert Valerio Riedel2015-03-101-0/+0
|
* Sync up terminfo/haskeline submodule with ghc-7.10Herbert Valerio Riedel2015-03-102-0/+0
| | | | The GHC 7.10 tree was pointing to slightly newer commits
* Update array submodule (min ver bump to 0.5.1.0)Herbert Valerio Riedel2015-03-101-0/+0
|
* Update submodule to Cabal 1.22.1.1 releaseHerbert Valerio Riedel2015-03-101-0/+0
|
* ghc-prim : Hide 64 bit primops when the word size is 32 bits (fixes #9886).Erik de Castro Lopo2015-03-101-0/+14
| | | | | | | | | | | | | | | | | | | | | | | | Summary: These primops were failing to compile on PowerPC (32 bit). There is also currently no way to call into these primops from Haskell code. Currently, the *only* way to call any of these C hs_atomic_* functions is via the fetch*IntArray primops which are only defined for Int values and Int is always the native word size. When these functions can be called (and tested) from Haskell code, then it will be worth while implementing them. Test Plan: Compile and run on x86, x86_64, powerpc and arm: testsuite/tests/concurrent/should_run/AtomicPrimops.hs Reviewers: tibbe, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D702 GHC Trac Issues: #9886
* Merge branch 'master' of git://git.haskell.org/ghcAndreas Voellmy2015-03-091-0/+0
|\
| * Update process submoduleThomas Miedema2015-03-091-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | Summary: Rename `SysTools.readCreateProcess`. Functions `readCreateProcess` and `readCreateProcessWithExitCode` were added to `System.Process`, the former of which conflicts with `SysTools.readCreateProcess`. Reviewed by: austin Differential Revision: https://phabricator.haskell.org/D713
* | RTS/IOManager: fix trac issue #9722.Andreas Voellmy2015-03-091-0/+7
|/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: Whenever the RTS has been inactive for idleGCDelayTime, the idle timer fires and calls wakeUpRts(), which in turn calls ioManagerWakeup(), which in turn writes a byte (or a few) to a file descriptor (stored in the io_manager_wakeup_fd variable) registered by the TimerManager and on which the TimerManager will wait. (Note that the write will only occur if the file descriptor is non-negative.) When the RTS shuts down, it shuts down the TimerManager, and in this process the file descriptor stored in io_manager_wakeup_fd is closed. In the error case, the idle timer fires after the close of the file occurs, and then the write() call in ioManagerWakeup() fails and the aforementioned error message gets printed. This patch solves the problem by (1) having the TimerManager (via Control) write -1 to io_manager_wakeup_fd just before closing the file descriptor written in io_manager_wakeup_fd, and (2) having ioManagerWakeup() ignore an error returned by write() in the case that the write returned -1 and the io_manager_wakeup_fd is -1. Reviewers: austin, simonmar, hvr, thomie Reviewed By: thomie Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D722 GHC Trac Issues: #9722
* Add `GHC.OldList` legacy moduleHerbert Valerio Riedel2015-03-073-0/+34
| | | | | | | | | | | | | | | This module provides access the list-specialised versions for legacy purposes (such as implementing Haskell2010-ish preludes). This module basically re-exports the hidden `Data.OldList` module (but in the less controversial `GHC.*` namespace, which signals less committment to keep this module around). This is legacy module is mostly for GHC 7.10's sake. What becomes long-term of `GHC.OldList` can be decided unhurriedly during the GHC 7.12 development cycle. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D689
* Define proper `MINIMAL` pragma for `class Ix`Herbert Valerio Riedel2015-03-072-2/+4
| | | | | | | | | | | | | | Summary: This addresses #10142 Reviewers: goldfire, austin, ekmett Reviewed By: austin, ekmett Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D709 GHC Trac Issues: #10142
* base: drop redundant Typeable derivingsHerbert Valerio Riedel2015-03-0741-121/+57
| | | | | | | | | | | Thanks to #9858 `Typeable` doesn't need to be explicitly derived anymore. This also makes `AutoDeriveTypeable` redundant, as well as some imports of `Typeable` (removal of whose may be beneficial to #9707). This commit removes several such now redundant use-sites in `base`. Reviewed By: austin, ekmett Differential Revision: https://phabricator.haskell.org/D712
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-072-216/+46
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: This implements the new `Typeable` solver: when GHC sees `Typeable` constraints it solves them on the spot. The current implementation creates `TyCon` representations on the spot. Pro: No overhead at all in code that does not use `Typeable` Cons: Code that uses `Typeable` may create multipe `TyCon` represntations. We have discussed an implementation where representations of `TyCons` are computed once, in the module, where a datatype is declared. This would lead to more code being generated: for a promotable datatype we need to generate `2 + number_of_data_cons` type-constructro representations, and we have to do that for all programs, even ones that do not intend to use typeable. I added code to emit warning whenevar `deriving Typeable` is encountered--- the idea being that this is not needed anymore, and shold be fixed. Also, we allow `instance Typeable T` in .hs-boot files, but they result in a warning, and are ignored. This last one was to avoid breaking exisitng code, and should become an error, eventually. Test Plan: 1. GHC can compile itself. 2. I compiled a number of large libraries, including `lens`. - I had to make some small changes: `unordered-containers` uses internals of `TypeReps`, so I had to do a 1 line fix - `lens` needed one instance changed, due to a poly-kinded `Typeble` instance 3. I also run some code that uses `syb` to traverse a largish datastrucutre. I didn't notice any signifiant performance difference between the 7.8.3 version, and this implementation. Reviewers: simonpj, simonmar, austin, hvr Reviewed By: austin, hvr Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D652 GHC Trac Issues: #9858
* Re-export `<$` from Prelude (#10113)Herbert Valerio Riedel2015-03-071-1/+1
| | | | | | | | | This is a follow-up to eb3661f2b9f8472f3714774126ebe1183484dd85 re-exporting `<$` from `Prelude` as well. Reviewed By: austin, ekmett Differential Revision: https://phabricator.haskell.org/D681
* Re-export `<$>` from Prelude (#10113)Herbert Valerio Riedel2015-03-071-1/+2
| | | | | | | | | | | | | | | | | | | | | Whether to re-export the `<$>` non-method operator from `Prelude` wasn't explicitly covered in the original AMP proposal[1], but it turns out that not doing so forces most code that makes use of applicatives to import `Data.Functor` or `Control.Applicative` just to get that operator into scope. To this end, it was proposed to add `<$>` to Prelude as well[2]. The down-side is that this increases the amount of redundant-import warnings triggered, as well as the relatively minor issue of stealing the `<$>` operator from the default namespace for good (although at this point `<$>` is supposed to be ubiquitous anyway due to `Applicative` being implicitly required into the next Haskell Report) [1]: https://wiki.haskell.org/Functor-Applicative-Monad_Proposal [2]: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/24161 Reviewed By: austin, ekmett Differential Revision: https://phabricator.haskell.org/D680
* Drop redundant LANGUAGE pragmasHerbert Valerio Riedel2015-03-071-1/+1
| | | | Due to refactoring & cleanups those pragmas have become redundant by now
* libraries: update deepseq submoduleAustin Seipp2015-03-051-0/+0
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Add public rnf/hash operations to TypeRep/TyConHerbert Valerio Riedel2015-03-053-1/+35
| | | | | | | | | | | | | | | | | Summary: `TyCon` and `TypeRep` are supposed to be abstract, by providing these additional few public operations the need to import `Data.Typeable.Internal` is reduced, and future changes to the internal structure of `TypeRep`/`TyCon` shouldn't require changes in packages such as `deepseq` or `hashable` anymore (hopefully). Reviewers: ekmett, simonpj, tibbe, austin Reviewed By: ekmett, simonpj, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D699
* A raft of small changes associated with -XConstrainedClassMethodsSimon Peyton Jones2015-03-041-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | See Trac #7854. Specifically: * Major clean up and simplification of check_op in checkValidClass; specifically - use checkValidType on the entire method-selector type to detect ambiguity - put a specific test for -XConstrainedClassMethods * Make -XConstrainedClassMethods be implied by -XMultiParamTypeClasses (a bit ad-hoc but see #7854), and document in the user manual. * Do the checkAmbiguity test just once in TcValidity.checkValidType, rather than repeatedly at every level. See Note [When to call checkAmbiguity] * Add -XAllowAmbiguousTypes in GHC.IP, since 'ip' really is ambiguous. (It's a rather magic function.) * Improve location info for check_op in checkValidClass * Update quite a few tests, which had genuinely-ambiguous class method signatures. Some I fixed by making them unambiguous; some by adding -XAllowAmbiguousTypes
* Add various instances to newtypes in Data.MonoidOleg Grenrus2015-03-035-1/+239
| | | | | | | | | | | | | | | | | | | | | | | Summary: Add Functor instances for Dual, Sum and Product Add Foldable instances for Dual, Sum and Product Add Traversable instances for Dual, Sum and Product Add Foldable and Traversable instances for First and Last Add Applicative, Monad instances to Dual, Sum, Product Add MonadFix to Data.Monoid wrappers Derive Data for Identity Add Data instances to Data.Monoid wrappers Add Data (Alt f a) instance Reviewers: ekmett, dfeuer, hvr, austin Reviewed By: dfeuer, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D673 GHC Trac Issues: #10107
* Removed unused constrained which causes build to fail with -WerrorTamar Christina2015-03-021-1/+1
| | | | | | | | | | | | | | | | Summary: Unused Show constraint is cauzing validate build failures because of -Werror. Removing constraint solves the problem Test Plan: validate Reviewers: austin, hvr Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D690
* Extend the docs for Data.List.transposeJoachim Breitner2015-03-021-0/+4
| | | | | | by giving a sufficient general example to explain what happens when the rows are not of the same lengths. Thanks to Doug McIlroy for the suggestoin. Fixes #10128.
View Lorry Controller Status