summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs
Commit message (Expand)AuthorAgeFilesLines
* Fix nasty bug in the type free-var finder, at lastSimon Peyton Jones2018-10-266-9/+9
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-242-5/+4
* Improve output from -ddump-typesSimon Peyton Jones2018-10-2447-111/+15
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-154-13/+17
* Better -ddump-typesSimon Peyton Jones2018-10-047-12/+13
* Fix #15415 and simplify tcWildCardBindersVladislav Zavialov2018-08-015-0/+52
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-163-40/+30
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-6/+3
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-103-44/+53
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-2/+2
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1411-75/+89
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-4/+1
* Clean up the conflicting data family instances error messageRyan Scott2018-05-242-2/+2
* ghc-prim: Bump versionBen Gamari2018-05-2048-48/+48
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-201-1/+10
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-11/+15
* Add regression tests for #11515 and #12563Ryan Scott2018-05-183-0/+14
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-169-1/+393
* Tidy up error suppressionSimon Peyton Jones2018-05-152-0/+24
* 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
View Lorry Controller Status