summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcInstDcls.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-5/+5
* Add GHC-API logging hooksSylvain Henry2019-12-181-0/+1
* Improve SPECIALIZE pragma error messages (Fixes #12126)Alina Banerjee2019-11-101-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-4/+4
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-0/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-1/+1
* Fix kind-checking for data/newtypesSimon Peyton Jones2019-07-121-15/+19
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-17/+17
* Produce all DerivInfo in tcTyAndClassDeclsVladislav Zavialov2019-07-041-5/+2
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-11/+1
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-22/+77
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-11/+11
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+2
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-4/+9
* Small refactorSimon Peyton Jones2019-01-171-8/+6
* Visible kind applicationmynguyen2019-01-031-1/+1
* Fix #16008 with a pinch of addConsistencyConstraintsRyan Scott2018-12-111-1/+4
* Fix minor mistake in comment about data decls.Richard Eisenberg2018-12-091-2/+2
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-071-1/+1
* Comments onlySimon Peyton Jones2018-12-031-2/+7
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-156/+348
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-5/+6
* Remove knot-tying bug in TcHsSyn.zonkTyVarOccSimon Peyton Jones2018-08-311-6/+5
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-2/+2
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-3/+2
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-1/+0
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-241-15/+69
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-52/+8
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-151-6/+6
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-2/+2
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-1/+1
* tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnvAlanas Plascinskas2018-06-021-1/+1
* Check for mismatched class methods during typecheckingRyan Scott2018-05-241-0/+37
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-3/+16
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-10/+17
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-8/+9
* Remove HasSourceText and SourceTextX classesAlan Zimmerman2018-04-071-1/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-2/+4
* Don't permit data types with return kind ConstraintRyan Scott2018-03-191-2/+3
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-1/+1
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-20/+13
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-2/+2
* Fix tcDataKindSigSimon Peyton Jones2017-12-151-10/+10
* Revert "trees that grow" workBen Gamari2017-11-211-9/+8
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-9/+9
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-1/+2
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-2/+1
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-1/+2
View Lorry Controller Status