summaryrefslogtreecommitdiff
path: root/testsuite/tests/ado
Commit message (Expand)AuthorAgeFilesLines
* 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
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-041-2/+2
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-8/+8
* Add -foptimal-applicative-doSimon Marlow2016-03-115-0/+76
* ApplicativeDo: Handle terminal `pure` statementsBen Gamari2016-02-253-0/+12
* Fix a bug in ApplicativeDo (#11612)Simon Marlow2016-02-202-0/+13
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-15/+15
* Visible type applicationRichard Eisenberg2015-12-241-41/+67
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-5/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-2/+2