summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Make filterM a good consumerwip/validate-T9546David Feuer2014-10-012-6/+9
| | | | analogously to mapM. Fixes #9546.
* Fusion rule for "foldr k z (x:build g)"wip/validate-T9536David Feuer2014-10-011-0/+3
| | | | | | | | There seem to be various issues with general fold/cons and even cons/build rules, but it seems pretty clear to me that the simple fold/cons/build rule is a good idea. It doesn't do much for nofib allocation, but it seems to improve some other analyses and speed several benchmarks up. Implements #9536.
* Make mapAccumL a good consumerwip/validate-T9502David Feuer2014-10-012-1/+18
| | | | This fixes #9502.
* Make scanr a good producer and consumerwip/validate-T9355David Feuer2014-10-012-0/+20
| | | | This fixes #9355.
* Make foldr2 a bit more strictwip/validate-T9495David Feuer2014-10-013-15/+41
| | | | in order to make its RULES semantics preserving. This fixes #9495.
* Update hsc2hs submoduleJoachim Breitner2014-10-011-0/+0
| | | | to get David’s code improvements (#9654).
* Add emacs indentation/line-length settingsSimon Marlow2014-09-292-0/+24
|
* Revert "rts: add Emacs 'Local Variables' to every .c file"Simon Marlow2014-09-29161-1288/+0
| | | | This reverts commit 39b5c1cbd8950755de400933cecca7b8deb4ffcd.
* Document that -dynamic is needed for loading compiled code into GHCiSimon Marlow2014-09-291-1/+6
|
* bugfix: EventCapsetID should be EventThreadIDSimon Marlow2014-09-291-1/+1
|
* Fixup nofib submodule to cope with e5cca4ab246ca2Herbert Valerio Riedel2014-09-291-0/+0
|
* Extend `Foldable` class with `length` and `null` methodsHerbert Valerio Riedel2014-09-2811-12/+29
| | | | | | | | | | | | | This completes the `Foldable` class by two important operations which this way can be optimised for the underlying structure more easily. A minor fix for the `containers` submodule was needed to due name clash Addresses #9621 Reviewed By: ekmett, dfeuer, austin Differential Revision: https://phabricator.haskell.org/D250
* Generalise `guard` for real this timeHerbert Valerio Riedel2014-09-281-1/+1
| | | | This was missed in D253 / a07ce1654ac5b8033f2daf9270c6e182415b69ca
* Generalise `Control.Monad.{when,unless,guard}`Herbert Valerio Riedel2014-09-283-9/+12
| | | | | | | | | | | | Generalise `when`/`unless`from `Monad` to `Applicative` and `guard` from `MonadPlus` to `Alternative` respectively. This was made possible by the AMP and is somewhat related to #9586 (but generalising in the context of the AMP instead of the FTP) Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D253
* User's Guide: Fix compiler plugin example (#9641, #7682)Reid Barton2014-09-271-2/+2
| | | | The previous fix was incorrectly eta-reduced.
* Set default-impl of `mapM`/`sequence` methods to `traverse`/`sequenceA`Herbert Valerio Riedel2014-09-271-3/+3
| | | | | | | This is made possible by the AMP, as we don't need the `WrappedMonad` helper for that anymore. Approved-by: Edward Kmett <ekmett@gmail.com>
* Stop exporting, and stop using, functions marked as deprecatedThomas Miedema2014-09-2711-16/+13
| | | | | | | | | | | | | | | | | | | | | | | | | Don't export `getUs` and `getUniqueUs`. `UniqSM` has a `MonadUnique` instance: instance MonadUnique UniqSM where getUniqueSupplyM = getUs getUniqueM = getUniqueUs getUniquesM = getUniquesUs Commandline-fu used: git grep -l 'getUs\>' | grep -v compiler/basicTypes/UniqSupply.lhs | xargs sed -i 's/getUs/getUniqueSupplyM/g git grep -l 'getUniqueUs\>' | grep -v combiler/basicTypes/UniqSupply.lhs | xargs sed -i 's/getUniqueUs/getUniqueM/g' Follow up on b522d3a3f970a043397a0d6556ca555648e7a9c3 Reviewed By: austin, hvr Differential Revision: https://phabricator.haskell.org/D220
* Replace obsolete `defaultUserHooks` by `autoconfUserHooks`Herbert Valerio Riedel2014-09-275-1/+1
| | | | This also updates a few submodules
* Update Cabal submodule to latest master branch tipHerbert Valerio Riedel2014-09-261-0/+0
|
* Don't re-export `Alternative(..)` from Control.Monad (re #9586)Herbert Valerio Riedel2014-09-2610-19/+7
| | | | | | | | | | | | | | | | | This was done in d94de87252d0fe2ae97341d186b03a2fbe136b04 to avoid orphans but since a94dc4c3067c6a0925e2e39f35ef0930771535f1 moved `Alternative` into GHC.Base, this isn't needed anymore. This is important, as otherwise this would require a non-neglectable amount of `Control.Monad hiding ((<|>), empty)` imports in user code. The Haddock submodule is updated as well Test Plan: partial local ./validate --fast, let Harbormaster doublecheck it Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D248
* Update `unix` submodule to disable getlogin testsHerbert Valerio Riedel2014-09-261-0/+0
|
* CommentsSimon Peyton Jones2014-09-262-2/+3
|
* This test should have -XDataKindsSimon Peyton Jones2014-09-261-1/+1
|
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-2626-3525/+3366
|
* Complain about illegal type literals in renamer, not parserSimon Peyton Jones2014-09-269-22/+13
| | | | | | A premature complaint was causing Trac #9634. Acutally this change also simplifies the lexer and eliminates duplication. (The renamer was already making the check, as it happens.)
* Two improved error messagesSimon Peyton Jones2014-09-262-8/+25
| | | | | I'm not quite sure why these have improved following the previous four commits, but I'm quite happy about it
* Improve error messages from functional dependenciesSimon Peyton Jones2014-09-2613-129/+268
| | | | | | | | | | | | Reponding to Trac #9612: * Track the CtOrigin of a Derived equality, arising from a functional dependency * And report it clearly in the error stream This relies on a previous commit, in which I stop dropping Derived insolubles on the floor.
* Wibble to implicit-parameter error messageSimon Peyton Jones2014-09-263-11/+13
|
* Do not discard insoluble Derived constraintsSimon Peyton Jones2014-09-2617-129/+143
| | | | | | | | | | | | | | | | | | This is preparing for a fix to Trac #9612. The idea is that insoluble constraints are nice solid errors that we should not discard before we have a chance to report them. So TcRnTypes.dropDerivedWC now keeps insoluble Derived constrains, and instead TcSimplify.solve_wanteds filters them out We get somewhat better error message for kind-equality failures too. A slight downside is that to avoid *duplicate* kind-equality failures when we float a kind-incompatible equality (e.g. alpha:* ~ Int#), I've disabled constraint-floating when there are insolubles. But that in turn makes a handful of error messages a little less informative; good examples are mc21, mc22, mc25. But I am re-jigging the constraint floating machinery in another branch, which will make this go back to the way it was before.
* Defer errors in derived instancesSimon Peyton Jones2014-09-2610-33/+56
| | | | Fixes Trac #9576. Turned out to be pretty easy.
* Fixes cyclic import on OS X(#9635)Dave Laing2014-09-251-1/+0
| | | | | | | | | | | | | | | | Summary: Signed-off-by: Dave Laing <dave.laing.80@gmail.com> Test Plan: Locally tested Reviewers: thomie, austin Reviewed By: thomie, austin Subscribers: simonmar, ezyang, carter, thomie Differential Revision: https://phabricator.haskell.org/D244 GHC Trac Issues: #9635
* User's Guide: various unfolding-related fixesReid Barton2014-09-252-8/+15
| | | | | | | | | | | | Test Plan: harbormaster Reviewers: austin Reviewed By: austin Subscribers: simonmar, ezyang, carter, thomie Differential Revision: https://phabricator.haskell.org/D243
* Delete hack that was once needed to fix the buildThomas Miedema2014-09-253-3/+7
| | | | | | | | | | | | | | | | | Summary: Introduced in 6c7b41cc2b24f533697a62bf1843507ae043fc97. I checked the rest of that commit, and this is all that was left to revert. Test Plan: x Reviewers: ezyang, austin Reviewed By: ezyang, austin Subscribers: simonmar, ezyang, carter, thomie Differential Revision: https://phabricator.haskell.org/D241
* Refer to 'mask' instead of 'block' in Control.ExceptionThomas Miedema2014-09-253-22/+28
| | | | | | | | | | | | | | | | | Summary: More thorough version of a75383cdd46f7bb593639bc6d1628b068b78262a Test Plan: change of comments only [skip ci] Reviewers: austin, simonmar, ekmett Reviewed By: austin, ekmett Subscribers: simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D239
* types: detabify/dewhitespace UnifyAustin Seipp2014-09-251-179/+172
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* [ci skip] typecheck: detabify/dewhitespace TcUnifyAustin Seipp2014-09-251-152/+146
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* [ci skip] typecheck: detabify/dewhitespace TcTyDeclsAustin Seipp2014-09-251-32/+26
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* [ci skip] typecheck: detabify/dewhitespace TcPatAustin Seipp2014-09-251-340/+334
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* [ci skip] typecheck: detabify/dewhitespace TcInstDeclsAustin Seipp2014-09-251-60/+54
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* [ci skip] simplCore: detabify/dewhitespace CoreMonadAustin Seipp2014-09-251-217/+211
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* [ci skip] iface: detabify/dewhitespace IfaceSynAustin Seipp2014-09-251-46/+40
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update `binary` submodule in an attempt to address #9630Herbert Valerio Riedel2014-09-251-0/+0
| | | | | | | | This removes a couple of `INLINE` pragmas from the generics helper classes. With this change the compile times and memory usage should go back to the previous GHC 7.8.3 situation. This has been submitted upstream as https://github.com/kolmodin/binary/pull/62
* Detab DataConEdward Z. Yang2014-09-251-353/+347
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Remove a few redundant `-fno-warn-tabs`sHerbert Valerio Riedel2014-09-253-18/+0
|
* Link from 7.6.3.4 to 7.7.2.6 in the user guide.Jan Stolarek2014-09-251-0/+5
| | | | | | This point the user that there is a relation between the UndecibadleInstances flag and the type families, not just type classes.
* Update time submodule to 1.5.0 releaseHerbert Valerio Riedel2014-09-251-0/+0
|
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-2415-222/+222
|
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-2445-388/+388
| | | | ...several modules in `base` recently touched by me
* Update Cabal submodule & ghc-pkg to use new module re-export typesEdward Z. Yang2014-09-2410-219/+98
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: The main change is that Cabal changed the representation of module re-exports to distinguish reexports in source .cabal files versus re-exports in installed package registraion files. Cabal now also does the resolution of re-exports to specific installed packages itself, so ghc-pkg no longer has to do this. This is a cleaner design overall because re-export resolution can fail so it is better to do it during package configuration rather than package registration. It also simplifies the re-export representation that ghc-pkg has to use. Add extra ghc-pkg sanity check for module re-exports and duplicates For re-exports, check that the defining package exists and that it exposes the defining module (or for self-rexport exposed or hidden modules). Also check that the defining package is actually a direct or indirect dependency of the package doing the re-exporting. Also add a check for duplicate modules in a package, including re-exported modules. Test Plan: So far the sanity checks are totally untested. Should add some test case to make sure the sanity checks do catch things correctly, and don't ban legal things. Reviewers: austin, duncan Subscribers: angerman, simonmar, ezyang, carter Differential Revision: https://phabricator.haskell.org/D183 GHC Trac Issues:
* Adapt nofib submodule to #9586 changesHerbert Valerio Riedel2014-09-231-0/+0
|
View Lorry Controller Status