summaryrefslogtreecommitdiff
path: root/testsuite/tests/th
Commit message (Expand)AuthorAgeFilesLines
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-222-14/+15
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+1
* Implement type applications in patternsCale Gibbard2020-12-146-8/+8
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-082-6/+5
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-141-6/+5
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-141-0/+1
* Unification of Nat and NaturalsHaskellMouse2020-10-131-1/+1
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-116-1/+45
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-294-5/+5
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-242-6/+3
* testsuite: Mark TH_spliceE5_prof as broken on WindowsGHC GitLab CI2020-09-201-1/+2
* Make {hsExpr,hsType,pat}NeedsParens aware of boxed 1-tuplesRyan Scott2020-08-273-0/+28
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-302-7/+3
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-2115-36/+36
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-146-0/+60
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-021-1/+1
* Desugar quoted uses of DerivingVia and expression type signatures properlyRyan Scott2020-07-012-0/+30
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-262-2/+2
* Update testsuiteSylvain Henry2020-06-175-15/+15
* Linear types (#15981)Krzysztof Gogolewski2020-06-176-4/+19
* Fix #12073: Add MonadFix Q instanceOleg Grenrus2020-06-133-0/+36
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-059-32/+39
* Improve parser error messages for TypeApplicationsVladislav Zavialov2020-06-011-6/+4
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-016-30/+30
* Add Semigroup/Monoid for Q (#18123)Vladislav Zavialov2020-05-282-0/+14
* Explicit SpecificityGert-Jan Bottu2020-05-2123-49/+49
* Refactor hole constraints.Richard Eisenberg2020-05-061-2/+2
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-042-0/+8
* Unit: split and rename modulesSylvain Henry2020-04-301-8/+5
* Make boxed 1-tuples have known keysRyan Scott2020-04-282-0/+15
* TH: fix Show/Eq/Ord instances for Bytes (#16457)Sylvain Henry2020-04-273-0/+47
* Do eager instantation in termsSimon Peyton Jones2020-04-221-8/+8
* Fix two ASSERT buglets in reifyDataConRyan Scott2020-04-023-0/+20
* TH: wrapGenSyns, don't split the element type too muchMatthew Pickering2020-02-212-0/+65
* Generalize liftData to work over any Quote (#17857)Ryan Scott2020-02-201-2/+6
* testsuite: Disable tests that assume name of libstdc++ on FreeBSDBen Gamari2020-02-141-1/+4
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-081-1/+1
* Use splitLHs{ForAll,Sigma}TyInvis throughout the codebaseRyan Scott2020-01-275-0/+30
* Handle local fixity declarations in DsMeta properlyRyan Scott2020-01-253-0/+57
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-1229-5/+192
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-162-1/+2
* Ignore unary constraint tuples during typechecking (#17511)Ryan Scott2019-12-102-0/+10
* Parenthesize the * kind in TH.PprVladislav Zavialov2019-12-055-2/+17
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-27110-274/+258
* Make warnings for TH splices opt-inSebastian Graf2019-11-273-8/+17
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-193-3/+3
* Print name prefixly in the Outputable instance for StandaloneKindSigRyan Scott2019-11-133-0/+18
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-1/+2
View Lorry Controller Status