summaryrefslogtreecommitdiff
path: root/testsuite/tests/ado
Commit message (Expand)AuthorAgeFilesLines
* ApplicativeDo: Set pattern location before running exhaustiveness checkerMatthew Pickering2022-12-023-0/+16
* Diagnostic codes: acccept test changessheaf2022-09-135-25/+25
* Print constraints in quotes (#21167)Swann Moreau2022-08-192-4/+4
* Allow `let` just before pure/return in ApplicativeDoZiyang Liu2022-05-065-7/+37
* Allow `return` in more cases in ApplicativeDoZiyang Liu2022-02-243-1/+23
* Include "not more specific" info in overlap msgsheaf2021-11-201-4/+3
* Improve overlap error for polykinded constraintssheaf2021-10-061-2/+2
* Add more instances for SoloDavid Feuer2021-09-181-1/+1
* Don't panic on 'no skolem info' and add failing testswip/no-skolem-panicZubin Duggal2021-07-132-0/+12
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-1/+1
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-021-1/+1
* Update testsuiteSylvain Henry2020-06-173-6/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-053-12/+13
* Do eager instantation in termsSimon Peyton Jones2020-04-222-8/+8
* Fix ApplicativeDo regression #17835Josef Svenningsson2020-03-234-2/+46
* pretty-printer: Do not print ApplicativeDo joinKirill Elagin2020-03-123-0/+43
* pretty-printer: Properly parenthesise LastStmtKirill Elagin2020-03-123-0/+19
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-9/+9
* Fix #15344: use fail when desugaring applicative-doJosef Svenningsson2019-10-288-9/+234
* Bump ghc-prim's version where neededAlexandre2019-04-011-1/+1
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-1/+1
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-1/+1
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-2/+0
* Fix #15423 by using pprAStmtContextRyan Scott2018-07-201-1/+1
* Built-in Natural literals in CoreSylvain Henry2018-06-151-2/+2
* ghc-prim: Bump versionBen Gamari2018-05-201-1/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-3/+2
* Add 'addWordC#' PrimOpSebastian Graf2018-05-051-1/+1
* Bump base to version 4.12.0.0Ryan Scott2018-04-191-1/+1
* Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0Ryan Scott2018-04-131-2/+2
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-9/+9
* ApplicativeDo: handle BodyStmt (#12143)Simon Marlow2017-10-272-0/+26
* Bump ghc-prim to 0.5.2.0 and update changelogHerbert Valerio Riedel2017-10-171-1/+1
* Reexport Semigroup's <> operator from Prelude (#14191)Herbert Valerio Riedel2017-09-222-4/+4
* Bump base to 4.11.0.0Ben Gamari2017-09-211-2/+2
* Deal with unbreakable blocks in Applicative DoDavid Feuer2017-09-074-0/+18
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-2/+2
* ghc-prim: Bump versionBen Gamari2017-07-231-1/+1
* ApplicativeDo: document behaviour with strict patterns (#13875)Simon Marlow2017-07-034-1/+62
* Prevent ApplicativeDo from applying to strict pattern matches (#13875)Simon Marlow2017-06-294-0/+48
* Fix a bug in -foptimal-applicative-doSimon Marlow2017-06-122-0/+12
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-19/+23
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-12/+12
* Fix ApplicativeDo constraint scopingSimon Peyton Jones2017-02-222-0/+17
* base: Bump version to 4.10.0.0Ben Gamari2016-12-151-1/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-073-42/+42
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-2/+2
* RnExpr: Fix ApplicativeDo desugaring with RebindableSyntaxBen Gamari2016-08-312-0/+31
* tidyOccNames: Rename variables fairlyJoachim Breitner2016-07-141-7/+7
* ApplicativeDo: allow "return $ e"Simon Marlow2016-06-202-0/+18