summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyDecls.hs
Commit message (Expand)AuthorAgeFilesLines
* Enable ImpredicativeTypes internally when typechecking selector bindingsRyan Scott2020-04-041-0/+28
* Modules: Types (#13009)Sylvain Henry2020-03-291-12/+12
* Modules: Core (#13009)Sylvain Henry2020-03-161-8/+8
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-1/+0
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-17/+17
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Merge TcTypeableValidity into TcTypeable, document treatment of castsRyan Scott2019-10-031-1/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-7/+7
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-6/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-11/+11
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-311-1/+1
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-16/+19
* Refactor coercion ruleningning2018-07-091-3/+6
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-151-22/+30
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-1/+1
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-1/+1
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-1/+1
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-7/+8
* Refactor coercion holesSimon Peyton Jones2017-12-211-1/+1
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Revert "trees that grow" workBen Gamari2017-11-211-8/+7
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-1/+1
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-3/+3
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-3/+4
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-3/+2
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-2/+3
* Typofixes (visiblity -> visibility)Ryan Scott2017-09-211-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Expand type synonyms during role inferenceRyan Scott2017-08-121-0/+2
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-3/+11
* Use actual universal tvs in check for naughty record selectorsMatthew Pickering2017-06-231-1/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-5/+6
* Treat banged bindings as FunBindsBen Gamari2017-05-081-2/+2
* Split up RnEnv into 4 modules, RnUnbound, RnUtils and RnFixityMatthew Pickering2017-04-121-1/+0
* Drop redundant importSimon Peyton Jones2017-03-101-1/+0
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-1/+2
* Subtyping for roles in signatures.Edward Z. Yang2017-02-261-9/+39
* Generalize kind of the (->) tyconBen Gamari2017-02-181-0/+1
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Revert "Do not init record accessors as exported"Ben Gamari2016-12-171-6/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+1
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-161-62/+147
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-051-9/+10
View Lorry Controller Status