summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcInstDcls.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Levity polymorphic Backpack.Edward Z. Yang2017-10-161-1/+1
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Refactor to eliminate FamTyConShapeSimon Peyton Jones2017-09-141-2/+2
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-291-11/+19
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-2/+1
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-121-1/+1
* Get the roles right for newtype instancesSimon Peyton Jones2017-08-021-1/+1
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-8/+12
View Lorry Controller Status