summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
...
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-223-0/+24
* Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv.mniip2018-11-012-0/+13
* Test T15711 in indexed-types/should_compile/T15711Richard Eisenberg2018-10-293-0/+14
* Finish fix for #14880.Tobias Dammers2018-10-281-0/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-2713-14/+229
* A little more wibbling to -ddump-typesSimon Peyton Jones2018-10-251-0/+2
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-2/+3
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1577-128/+259
* Allow (unparenthesized) kind signaturesAlec Theriault2018-10-041-2/+2
* Better -ddump-typesSimon Peyton Jones2018-10-041-6/+2
* Fix Lint of unsaturated type familiesSimon Peyton Jones2018-09-262-0/+14
* Reject class instances with type families in kindsRyan Scott2018-09-023-14/+17
* Allow scoped type variables refer to typesJoachim Breitner2018-08-054-50/+1
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-2/+1
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-251-2/+2
* Fix #15423 by using pprAStmtContextRyan Scott2018-07-201-1/+1
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-3/+3
* Add test for Trac #15352Simon Peyton Jones2018-07-112-0/+33
* Kind-check CUSK associated types separatelyRichard Eisenberg2018-07-102-0/+15
* Make ppr_tc_args aware of -fprint-explicit-kindsRyan Scott2018-07-051-1/+1
* Fix newtype instance GADTsRyan Scott2018-07-052-0/+9
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-055-0/+46
* Fix typechecking of kind signaturesSimon Peyton Jones2018-06-183-0/+15
* Fix an infinite loop in niFixTCvSubstSimon Peyton Jones2018-06-182-0/+11
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-154-21/+3
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+1
* Add "quantified constraint" context in error message, fix #15231.HE, Tao2018-06-153-5/+6
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1439-107/+130
* Fix #13777 by improving the underdetermined CUSK error messageRyan Scott2018-06-023-0/+35
* Add regression test for #14246Ryan Scott2018-05-263-0/+48
* Clean up the conflicting data family instances error messageRyan Scott2018-05-2413-42/+76
* Use dischargeFunEq consistentlySimon Peyton Jones2018-05-232-0/+17
* Check for type families in an instance contextSimon Peyton Jones2018-05-213-0/+17
* ghc-prim: Bump versionBen Gamari2018-05-201-1/+1
* Do not unify representational equalitiesSimon Peyton Jones2018-05-182-0/+19
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-182-23/+23
* Fix another batch of `./validate --slow` failuresAlp Mestanogullari2018-05-131-1/+7
* Add 'addWordC#' PrimOpSebastian Graf2018-05-051-1/+1
* Do not unpack class dictionaries with INLINABLESimon Peyton Jones2018-04-261-0/+4
* Lint types in newFamInstRyan Scott2018-04-192-0/+12
* 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
* Track type variable scope more carefully.Richard Eisenberg2018-03-312-2/+1
* Don't apply dataToTag's caseRules for data familiesRyan Scott2018-02-032-0/+20
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-1/+1
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-1/+0
* Rename HEq_sc and Coercible_sc to heq_sel and coercible_selMatthew Pickering2018-01-021-2/+2
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-4/+6
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Fix an outright bug in the unflattenerSimon Peyton Jones2017-12-142-0/+35
View Lorry Controller Status