summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Do not set buffering under Python 3, show a warning with Python 3wip/python3Krzysztof Gogolewski2014-09-211-2/+11
| | | | | I am not happy with this solution; a better way is to use uniformly unicode or bytes in both Pythons, but this seems too disruptive for now.
* Fixup tuple unpackingKrzysztof Gogolewski2014-09-211-1/+1
|
* Minor Python 3 compatibility fixesKrzysztof Gogolewski2014-09-212-2/+2
|
* Catch only an ExceptionKrzysztof Gogolewski2014-09-211-1/+1
| | | | This allows ^C during test discovery
* Use list comprehensions in config/ghc for Python 3 compatibilityKrzysztof Gogolewski2014-09-211-13/+9
|
* Fix mixed tab/space indentation in testsKrzysztof Gogolewski2014-09-217-21/+21
| | | | Python 3 does not like it
* Replace deprecated string.join(x,y) with y.join(x)Krzysztof Gogolewski2014-09-211-10/+9
|
* Replace execfile with exec(open(...))Krzysztof Gogolewski2014-09-211-2/+2
|
* Replace several Python 2 only idioms with Python 2/3 compatible versionsKrzysztof Gogolewski2014-09-213-60/+60
| | | | Mostly done by manually checking 2to3 output
* Improve testsuite driver compatibility with Python 3 (Trac #9184)Krzysztof Gogolewski2014-09-214-65/+70
| | | | Thanks to aspidites <emarshall85@gmail.com> who provided the patch.
* Add missing changelog entries for current state of #9586Herbert Valerio Riedel2014-09-201-0/+14
|
* Generalise (some of) Data.List to Foldables (re #9568)Herbert Valerio Riedel2014-09-204-6/+19
| | | | | | | | | | | | | | | | | | This replaces the entities in Data.List conflicting with Data.Foldable with re-exports of the generalised version from Data.Foldable. As of this commit, the following compiles w/o error module XPrelude (module X) where import Control.Monad as X import Data.Foldable as X import Data.List as X import Prelude as X Reviewed By: austin, dfeuer, ekmett Differential Revision: https://phabricator.haskell.org/D229
* Turn a few existing folds into `Foldable`-methods (#9621)Herbert Valerio Riedel2014-09-202-37/+42
| | | | | | | | | | Turn `toList`, `elem`, `sum`, `product`, `maximum`, and `minimum` into `Foldable` methods. This helps avoiding regressions (and semantic differences) while implementing #9586 Reviewed By: austin, dfeuer, ekmett Differential Revision: https://phabricator.haskell.org/D231
* Set up framework for generalising Data.List to FoldablesHerbert Valerio Riedel2014-09-2016-916/+1132
| | | | | | | | | | | | | | | | | | | | | This renames the Data.List module to Data.OldList, and puts a new Data.List module into its place re-exporting all list functions. The plan is to leave the monomorphic versions of the list functions in Data.OldList to help smooth the transition. The new Data.List module then will simply re-export entities from Data.OldList and Data.Foldable. This refactoring has been placed in a separate commit to be able to better isolate any regressions caused by the actual list function generalisations when implementing #9586 This also updates the haskell2010, haskell98, and array submodules Reviewed By: austin, ekmett Differential Revision: https://phabricator.haskell.org/D228
* Change linker message verbosity to `-v2` (re #7863)Herbert Valerio Riedel2014-09-203-9/+1
| | | | | | | | | | | | | | | | With this change, the linker status logging output such as Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. is suppressed unless verbosity level is `-v2` or higher. This is done to reduce the compiler message noise when TH is involved, which can reduce the visibiliy of compile warnings. Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D232
* Deactive T4801 `max_bytes_used`-check & bump T3064 numbersHerbert Valerio Riedel2014-09-201-22/+27
| | | | | | | | | T4801 is deactived for now because it's currently too volatile and causes too much noise in Phabricator's CI Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D230
* Fix potential `mingw32_HOST_OS` -Werror failureHerbert Valerio Riedel2014-09-201-2/+1
|
* Fix potential `mingw32_HOST_OS` breakage from eae19112462fe77Herbert Valerio Riedel2014-09-201-1/+1
|
* TyposKrzysztof Gogolewski2014-09-192-3/+3
|
* Define fixity for `Data.Foldable.{elem,notElem}`Herbert Valerio Riedel2014-09-192-0/+5
| | | | | | | | | | | This was probably just an oversight. With this change the fixity matches that from `Data.List.{elem,notElem`}`. Addresses #9610 Reviewed By: austin, ekmett Differential Revision: https://phabricator.haskell.org/D227
* Fixup overlooked `unless` occurenceHerbert Valerio Riedel2014-09-191-1/+1
| | | | This was broken in eae19112462fe77a3f1298bff12b409b205a581d
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-1917-218/+220
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This patch fixes Trac #9580, in which the Coercible machinery succeeded even though the relevant data constructor was not in scope. As usual I got dragged into a raft of refactoring changes, all for the better. * Delete TcEvidence.coercionToTcCoercion (now unused) * Move instNewTyConTF_maybe, instNewTyCon_maybe to FamInst, and rename them to tcInstNewTyConTF_maybe, tcInstNewTyCon (They both return TcCoercions.) * tcInstNewTyConTF_maybe also gets more convenient type, which improves TcInteract.getCoercibleInst * Define FamInst.tcLookupDataFamInst, and use it in TcDeriv, (as well as in tcInstNewTyConTF_maybe) * Improve error report for Coercible errors, when data familes are involved Another use of tcLookupDataFamInst * In TcExpr.tcTagToEnum, use tcLookupDataFamInst to replace local hacky code * Fix Coercion.instNewTyCon_maybe and Type.newTyConInstRhs to deal with eta-reduced newtypes, using (new) Type.unwrapNewTyConEtad_maybe and (new) Type.applyTysX Some small refactoring of TcSMonad.matchFam.
* White space onlySimon Peyton Jones2014-09-191-2/+2
|
* Define Util.leLength :: [a] -> [b] -> BoolSimon Peyton Jones2014-09-191-1/+9
|
* Fix garbled comment wordingSimon Peyton Jones2014-09-191-2/+3
| | | | Thanks to Gabor for pointing this out
* Typo in comment in GHC.GenericsSimon Peyton Jones2014-09-191-1/+1
| | | | Fixes Trac #9523
* Use mapAccumL (refactoring only)Simon Peyton Jones2014-09-191-8/+1
| | | | Fixes Trac #9529
* Spelling error in flags.xmlSimon Peyton Jones2014-09-191-1/+1
| | | | Fixes Trac #9528
* Increase -fcontext-stack=N default to 100Simon Peyton Jones2014-09-193-9/+16
| | | | This addresses Trac #5395
* Auto-derive a few manually coded Show instancesHerbert Valerio Riedel2014-09-192-17/+5
| | | | | | | | | | | | | | | | | In `base`, the instances instance Show () instance Show Bool instance Show Ordering instance Show a => Show (Maybe a) where defined manually, even though we can leverage GHC's auto-deriver which is perfectly capable by standalone derivation to avoid boiler-plate code such as this. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D219
* Revert accidental wip/generics-propeq-conservative mergeHerbert Valerio Riedel2014-09-192-62/+29
| | | | | | | | | | | | | | | | This commit reverts the commits e12a6a8 Propositional equality for Datatype meta-information 0a8e6fc Make constructor metadata parametrized (with intended parameter <- datatype) f097b77 Implement sameConstructor cc618e6 get roles right and fix a FIXME 79c7125 Actually parametrize the Constructor with the Datatype 7bd4bab Supply a reasonable name (should be derived from d_name tho) 09fcd70 Use 'd_name' as the name (should be derived from d_name tho) 4d90e44 Add default case (fixes -Werror) and effectively resets ghc.git to the state it was at commit 8c79dcb4dc2c6b8b663fa0c2e61d40d0ac0e9996
* Add default case (fixes -Werror)Gabor Greif2014-09-191-1/+1
|
* Use 'd_name' as the name (should be derived from d_name tho)Gabor Greif2014-09-191-1/+1
|
* Supply a reasonable name (should be derived from d_name tho)Gabor Greif2014-09-191-1/+1
|
* Actually parametrize the Constructor with the DatatypeGabor Greif2014-09-191-2/+3
|
* get roles right and fix a FIXMEGabor Greif2014-09-191-16/+17
|
* Implement sameConstructorGabor Greif2014-09-191-1/+14
|
* Make constructor metadata parametrized (with intended parameter <- datatype)Gabor Greif2014-09-191-12/+13
|
* Propositional equality for Datatype meta-informationGabor Greif2014-09-191-1/+18
|
* Update haddock submodule (miscellaneous fixes)Edward Z. Yang2014-09-181-0/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add -fwarn-context-quantification (#4426)Krzysztof Gogolewski2014-09-1819-45/+218
| | | | | | | | | | | | | | | | | | | | | | Summary: This warning (enabled by default) reports places where a context implicitly binds a type variable, for example type T a = {-forall m.-} Monad m => a -> m a Also update Haddock submodule. Test Plan: validate Reviewers: hvr, goldfire, simonpj, austin Reviewed By: austin Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D211 GHC Trac Issues: #4426
* Revert "Update haddock submodule for package key fix."Edward Z. Yang2014-09-181-0/+0
| | | | This reverts commit a8d7f81d1f6a9ea658c6f1a965bb3e7717b11e40.
* Generalise Control.Monad.{sequence_,msum,mapM_,forM_}Herbert Valerio Riedel2014-09-182-26/+6
| | | | | | | | | | | | | | | | This finally takes the gloves off, and performs the first actual generalization in order to implement #9586. This re-exports the respective definitions for the 4 combinators defined in Data.Foldable. This way, importing Data.Foldable and Control.Monad unqualified won't bring conflicting definitions of those 4 entities into scope anymore. This change seems to have some minor effect on rule-firing, which causes some wibble in the test-case T4007 Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D226
* Invert module-dep between Control.Monad and Data.FoldableHerbert Valerio Riedel2014-09-185-6/+16
| | | | | | | | | This is the last preparation needed before generalizing entities in Control.Monad conflicting with those from Data.Foldable (re #9586) Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D225
* Move Control.Monad.void into Data.FunctorHerbert Valerio Riedel2014-09-182-6/+6
| | | | | | | | | | | | Both modules still export `void`, but `void`'s implementation now lives in Data.Functor where it actually belongs in (as it doesn't need a Monad context) The desired side-effect of this is to invert the import-dep between Control.Monad and Data.Functor. Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D224
* Move Applicative/MonadPlus into GHC.BaseHerbert Valerio Riedel2014-09-1817-102/+90
| | | | | | | | | | | This is necessary in order to invert the import-dependency between Data.Foldable and Control.Monad (for addressing #9586) This also updates the `binary` submodule to qualify a GHC.Base import Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D223
* Move `when` to GHC.BaseHerbert Valerio Riedel2014-09-1826-50/+27
| | | | | | | | | This allows several modules to avoid importing Control.Monad and thus break import cycles that manifest themselves when implementing #9586 Reviewed By: austin, ekmett Differential Revision: https://phabricator.haskell.org/D222
* Move (=<<) to GHC.BaseHerbert Valerio Riedel2014-09-186-11/+9
| | | | | | | | | This allows GHC.Stack to avoid importing Control.Monad, and is preparatory work for implementing #9586 Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D221
* Fix formatting bug in core-spec.Richard Eisenberg2014-09-183-2/+4
|
* Update haddock submodule for package key fix.Edward Z. Yang2014-09-181-0/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
View Lorry Controller Status