summaryrefslogtreecommitdiff
path: root/testsuite/tests/rename/should_compile
Commit message (Collapse)AuthorAgeFilesLines
* driver: split -fwarn-unused-binds into 3 flags (fixes #17)Oleg Grenrus2015-02-2312-8/+115
| | | | | | | | | | | | | | | | | | | | | | Summary: New flags: -fwarn-unused-top-binds -fwarn-unused-local-binds -fwarn-unused-pattern-binds Test Plan: `tests/rename/should_compile/T17` tests Correct other tests Reviewers: austin, rwbarton Reviewed By: austin, rwbarton Subscribers: rwbarton, carter, thomie Differential Revision: https://phabricator.haskell.org/D591 GHC Trac Issues: #17
* renamer: fix trac issue #9778Carlos Tomé2014-12-053-0/+12
| | | | | | | | | | | | | | | | Summary: Added flag -fwarn-unticked-promoted-constructors Test Plan: test T9778 under tests/rename/should_compile Reviewers: jstolarek, simonpj, austin Reviewed By: jstolarek, simonpj, austin Subscribers: simonpj, goldfire, jstolarek, thomie, carter Differential Revision: https://phabricator.haskell.org/D534 GHC Trac Issues: #9778
* Hide `Data.OldList` moduleHerbert Valerio Riedel2014-11-201-1/+1
| | | | | | | | | | | | | | | | | | | | | Summary: The `Data.OldList` module was originally created in 3daf0023d2dcf7caf85d61f2dc177f8e9421b2fd to provide a way to access the original list-specialised functions from `Data.List`. It was also made an exposed module in order to facilitate adapting the `haskell2010`/`haskell98` packages. However, since the `haskell2010`/`haskell98` packages were dropped, we no longer need to expose `Data.OldList`. Depends on D511 Reviewers: ekmett, austin Reviewed By: ekmett, austin Subscribers: thomie, carter Differential Revision: https://phabricator.haskell.org/D513
* Generalise Data.List/Control.Monad to Foldable/TraversableHerbert Valerio Riedel2014-09-211-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | This flips the switch and replaces the entities in `Data.List`/`Control.Monad` conflicting with `Data.{Foldable,Traversable}` with re-exports of the more general versions. As of this commit, the code below (which is also added as a test-case) 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 Data.Monoid as X import Data.Traversable as X import Prelude as X This addresses #9568 Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D235
* Set up framework for generalising Data.List to FoldablesHerbert Valerio Riedel2014-09-202-0/+4
| | | | | | | | | | | | | | | | | | | | | 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
* Add -fwarn-context-quantification (#4426)Krzysztof Gogolewski2014-09-183-0/+58
| | | | | | | | | | | | | | | | | | | | | | 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
* Make Applicative a superclass of MonadAustin Seipp2014-09-093-4/+1
| | | | | | | | | | | | | | | | | | | | | Summary: This includes pretty much all the changes needed to make `Applicative` a superclass of `Monad` finally. There's mostly reshuffling in the interests of avoid orphans and boot files, but luckily we can resolve all of them, pretty much. The only catch was that Alternative/MonadPlus also had to go into Prelude to avoid this. As a result, we must update the hsc2hs and haddock submodules. Signed-off-by: Austin Seipp <austin@well-typed.com> Test Plan: Build things, they might not explode horribly. Reviewers: hvr, simonmar Subscribers: simonmar Differential Revision: https://phabricator.haskell.org/D13
* Package keys (for linking/type equality) separated from package IDs.Edward Z. Yang2014-08-051-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This patch set makes us no longer assume that a package key is a human readable string, leaving Cabal free to "do whatever it wants" to allocate keys; we'll look up the PackageId in the database to display to the user. This also means we have a new level of qualifier decisions to make at the package level, and rewriting some Safe Haskell error reporting code to DTRT. Additionally, we adjust the build system to use a new ghc-cabal output Make variable PACKAGE_KEY to determine library names and other things, rather than concatenating PACKAGE/VERSION as before. Adds a new `-this-package-key` flag to subsume the old, erroneously named `-package-name` flag, and `-package-key` to select packages by package key. RFC: The md5 hashes are pretty tough on the eye, as far as the file system is concerned :( ToDo: safePkg01 test had its output updated, but the fix is not really right: the rest of the dependencies are truncated due to the fact the we're only grepping a single line, but ghc-pkg is wrapping its output. ToDo: In a later commit, update all submodules to stop using -package-name and use -this-package-key. For now, we don't do it to avoid submodule explosion. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: simonpj, simonmar, hvr, austin Subscribers: simonmar, relrod, carter Differential Revision: https://phabricator.haskell.org/D80
* Fixed issue with detection of duplicate record fieldsGintautas Miliauskas2014-07-242-0/+7
| | | | | | | | | Duplicate record fields would not be detected when given a type with multiple data constructors, and the first data constructor had a record field r1 and any consecutive data constructors had multiple fields named r1. This fixes #9156 and was reviewed in https://phabricator.haskell.org/D87
* supress warning of bang wildcard pattern-binding (i.e. let !_ = rhs). This ↵Guido Zayas2014-06-063-0/+6
| | | | fixes #9127
* Deprecate the AMP warnings.Austin Seipp2014-04-202-4/+1
| | | | | | | | Now that we're in development mode, Applicative will soon be a superclass of Monad in HEAD. So let's go ahead and deprecate the -fno-warn-amp flag, remove the checks, and tweak a few tests Signed-off-by: Austin Seipp <austin@well-typed.com>
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-2525-55/+55
| | | | | | | This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019) and therefore looks more familiar on the console. This addresses #2507. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* T7336 is expected to be broken because of a regression introduced by pattern ↵Dr. ERDI Gergo2014-01-201-1/+1
| | | | | | synonym implementation Signed-off-by: Austin Seipp <austin@well-typed.com>
* #3103 no longer broken, it seemsJoachim Breitner2013-11-281-1/+1
|
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-173-30/+63
|
* Adjust test suite to new Language Pragma warnignsJoachim Breitner2013-09-141-3/+3
| | | | (this is related to #3647)
* Fix remaining AMP fallout.Austin Seipp2013-09-112-2/+4
| | | | | | | | The perf tests can probably be rechecked and tightened a little; I fixed them with AMP the other day but some changes since then have made them wibble perhaps. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix most AMP warnings.Austin Seipp2013-09-083-2/+6
| | | | | Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Add tests for roles.Richard Eisenberg2013-08-023-30/+34
| | | | | | Many of the files modified are just wibbles to output, because now tycons have roles attached to them, which are produced in the debugging dumps.
* Remove .imports file which isn't part of the repoSimon Peyton Jones2013-06-171-2/+0
|
* Test Trac #7969Simon Peyton Jones2013-06-175-0/+19
|
* Test Trac #7963Simon Peyton Jones2013-06-176-0/+24
|
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-1/+0
| | | | | | | | In effect, the error context for naked variables now takes up a "slot" in the context stack; but it is often empty. So the context stack becomes one shorter in those cases. I don't think this matters; indeed, it's aguably an improvement. Anyway that's why so many tests are affected.
* Update T3103.stderr following unicode quote changeIan Lynagh2013-02-241-1/+1
|
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-2424-89/+89
|
* Implement poly-kinded TypeableJose Pedro Magalhaes2013-02-121-1/+1
| | | | | | | | | | | | | | This patch makes the Data.Typeable.Typeable class work with arguments of any kind. In particular, this removes the Typeable1..7 class hierarchy, greatly simplyfing the whole Typeable story. Also added is the AutoDeriveTypeable language extension, which will automatically derive Typeable for all types and classes declared in that module. Since there is now no good reason to give handwritten instances of the Typeable class, those are ignored (for backwards compatibility), and a warning is emitted. The old, kind-* Typeable class is now called OldTypeable, and lives in the Data.OldTypeable module. It is deprecated, and should be removed in some future version of GHC.
* Convert more helper functionsIan Lynagh2013-02-111-1/+1
|
* test for #2435Simon Marlow2013-01-283-0/+9
|
* Rename some numeric tests: nnnn -> TnnnnIan Lynagh2013-01-252-1/+1
|
* Test Trac #7336Simon Peyton Jones2012-10-273-0/+12
|
* Follow GHC change: No deprecated warnings for defining class methodsIan Lynagh2012-09-232-8/+0
|
* Add test for T7167.Paolo Capriotti2012-08-243-0/+8
|
* Add regression test for dodgy import warning bugPaolo Capriotti2012-08-243-0/+17
|
* Test Trac #6038Simon Peyton Jones2012-08-162-0/+8
|
* Add test for #7145Paolo Capriotti2012-08-144-0/+13
|
* Test Trac #7085Simon Peyton Jones2012-07-203-0/+12
|
* Test Trac #7007Simon Peyton Jones2012-06-182-0/+11
|
* Test Trac #6120Simon Peyton Jones2012-05-242-0/+11
|
* Follow the move of Word from base to ghc-primIan Lynagh2012-05-222-3/+2
|
* Add tests for #6027.Paolo Capriotti2012-04-262-0/+11
|
* Wibbles to deprecation errorsSimon Peyton Jones2012-04-252-16/+20
|
* Test Trac #5867Simon Peyton Jones2012-04-254-0/+20
|
* Update test to reflect printing of imported/exported type operators.Iavor S. Diatchki2012-03-241-1/+1
|
* T3103 is expect_broken for optllvm tooSimon Marlow2011-11-291-1/+1
|
* Update test suite following the removal of the default groupingSimon Peyton Jones2011-11-172-8/+12
| | | | clause from the SQL-like comprehension notation
* Reduce this test case further. There looks to be something suspiciousSimon Marlow2011-11-147-77/+8
| | | | | going on, perhaps a general bug related to .hs-boot files, we should really look at this.
* expect failure for 'profasm' tooSimon Marlow2011-11-141-1/+1
|
* Test Trac #5592Simon Peyton Jones2011-11-014-0/+19
|
* Fix T5331; it had a misplaced signatureSimon Peyton Jones2011-10-212-21/+13
| | | | | This bug was previously undetected; now test 'Misplaced' checks for it
* Add missing fileIan Lynagh2011-09-181-0/+1
|
View Lorry Controller Status