summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs
Commit message (Expand)AuthorAgeFilesLines
* Add 'addWordC#' PrimOpSebastian Graf2018-05-0548-48/+48
* Bump base to version 4.12.0.0Ryan Scott2018-04-1948-48/+48
* Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0Ryan Scott2018-04-1348-96/+96
* Track type variable scope more carefully.Richard Eisenberg2018-03-314-18/+47
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-237-0/+51
* Simplify rnLHsInstTypeSimon Peyton Jones2018-03-052-3/+1
* testsuite: Fix test output of T14715Ben Gamari2018-01-311-1/+10
* Move zonkWC to the right place in simplfyInferSimon Peyton Jones2018-01-313-0/+21
* Fix two more bugs in partial signaturesSimon Peyton Jones2018-01-097-4/+41
* Fix floating of equalitiesSimon Peyton Jones2017-12-215-0/+119
* Check for bogus quantified tyvars in partial type sigsSimon Peyton Jones2017-12-213-0/+20
* Add regression test for #14040Ryan Scott2017-12-123-0/+83
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-273-0/+11
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-085-50/+50
* Bump ghc-prim to 0.5.2.0 and update changelogHerbert Valerio Riedel2017-10-1748-48/+48
* Improve type-error reportingSimon Peyton Jones2017-09-2511-61/+32
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-253-0/+141
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+6
* Bump base to 4.11.0.0Ben Gamari2017-09-2148-96/+96
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-042-3/+3
* ghc-prim: Bump versionBen Gamari2017-07-2348-48/+48
* Fix ungrammatical error messageRyan Scott2017-07-211-1/+1
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-263-5/+5
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-1/+1
* Yet more work on TcSimplify.simplifyInferSimon Peyton Jones2017-04-134-1/+55
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Be less aggressive about fragile-context warrningsSimon Peyton Jones2017-04-061-4/+6
* Remove solveSomeEqualitiesRichard Eisenberg2017-03-171-7/+0
* Fix #13337.Richard Eisenberg2017-03-142-1/+15
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-1014-89/+89
* Try submodule bumps againBen Gamari2017-02-281-2/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-262-2/+4
* Revert recent submodule bumpsBen Gamari2017-02-221-1/+2
* Bump Cabal and containers submodulesBen Gamari2017-02-211-2/+1
* Generalize kind of the (->) tyconBen Gamari2017-02-181-1/+2
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-222-7/+5
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-201-1/+0
* base: Bump version to 4.10.0.0Ben Gamari2016-12-1548-73/+73
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-072-5/+5
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-292-3/+3
* Fix inference of partial signaturesSimon Peyton Jones2016-11-253-0/+46
* Test Trac #12845Simon Peyton Jones2016-11-253-0/+31
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-15/+0
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-112-3/+3
* Handle types w/ type variables in signatures inside patterns (DsMeta)Mikhail Vorozhtsov2016-11-054-3/+19
* Add test for #12732Ryan Scott2016-10-283-0/+13
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-212-15/+15
* Test Trac #12634Simon Peyton Jones2016-09-293-1/+26
* Missing stderr for T12531.Edward Z. Yang2016-08-301-0/+9
View Lorry Controller Status