summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTypeable.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-759/+0
* Modules: Types (#13009)Sylvain Henry2020-03-291-5/+5
* DynFlags refactoring IIISylvain Henry2020-03-251-8/+9
* Modules: Core (#13009)Sylvain Henry2020-03-161-5/+5
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-3/+3
* Merge TcTypeableValidity into TcTypeable, document treatment of castsRyan Scott2019-10-031-4/+73
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Add a new flag -dno-typeable-binds for debuggingÖmer Sinan Ağacan2019-09-081-2/+4
* Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)Ryan Scott2019-06-151-34/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-4/+6
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-6/+9
* Implement -Wredundant-record-wildcards and -Wunused-record-wildcardsMatthew Pickering2019-02-141-2/+2
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-7/+10
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+0
* Coercion Quantificationningning2018-09-151-3/+3
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-051-1/+1
* Remove HasSourceText and SourceTextX classesAlan Zimmerman2018-04-071-4/+4
* Fix #14811 by wiring in $tcUnit#Ryan Scott2018-02-161-3/+2
* Cache TypeRep kinds aggressivelyDavid Feuer2017-12-011-6/+10
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Typeable: Ensure that promoted data family instance tycons get bindingsBen Gamari2017-07-191-4/+4
* typecheck: Consider types containing coercions non-TypeableBen Gamari2017-06-271-1/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-27/+28
* TcTypeable: SimplifyBen Gamari2017-05-041-31/+28
* Comments only, about Typeable/TypeRep/KindRepSimon Peyton Jones2017-05-041-25/+30
* Clean up coreView/tcView.Ben Gamari2017-03-311-2/+2
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Comments only [ci skip]Gabor Greif2017-03-091-1/+1
* Produce KindReps for common kinds in GHC.TypesBen Gamari2017-03-031-42/+115
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-031-101/+158
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-021-1/+1
* Type-indexed TypeableBen Gamari2017-02-181-106/+387
* TH-spliced class instances are pretty-printed incorrectly post-#3384Alan Zimmerman2017-02-101-3/+3
* Update levity polymorphismRichard Eisenberg2017-01-191-9/+10
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-2/+4
* Revert "Clean up interaction between name cache and built-in syntax"Ben Gamari2016-07-201-19/+0
* Clean up interaction between name cache and built-in syntaxBen Gamari2016-07-201-0/+19
* Tighten up imports, white spaceSimon Peyton Jones2016-04-201-3/+5
* Unwire Typeable representation typesBen Gamari2016-02-181-70/+123
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-62/+93
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-4/+3
* TcTypeable: Don't use bogus fingerprints when suppress-uniques is enabledBen Gamari2015-12-171-3/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-4/+1
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-3/+5
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-1/+3
* Generate Typeable info at definition sitesBen Gamari2015-10-301-0/+206
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-206/+0
* Generate Typeable info at definition sitesBen Gamari2015-10-291-0/+206
View Lorry Controller Status