summaryrefslogtreecommitdiff
path: root/compiler/GHC/ThToHs.hs
Commit message (Expand)AuthorAgeFilesLines
* Record dot syntaxwip/T18599Shayne Fletcher2021-03-061-1/+1
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-1/+1
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-8/+8
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-271-3/+3
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-10/+10
* Refactor renamer datastructuresAdam Gundry2020-12-241-1/+1
* Implement type applications in patternsCale Gibbard2020-12-141-4/+6
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-51/+75
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-4/+3
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-4/+4
* Split GHC.Driver.TypesSylvain Henry2020-10-291-0/+2
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-4/+5
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-141-1/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-13/+13
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-4/+17
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Remove ConDeclGADTPrefixPsRyan Scott2020-08-021-8/+0
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-211-1/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-4/+28
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-17/+16
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-15/+24
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-3/+3
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-1/+1
* Implement cstringLength# and FinalPtrAndrew Martin2020-05-231-2/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-29/+45
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-2/+2
* Fully remove PprDebugSylvain Henry2020-05-011-5/+6
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-2/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-7/+26
* Modules (#13009)Sylvain Henry2020-04-181-4/+4
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-2/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Modules: Types (#13009)Sylvain Henry2020-03-291-9/+9
* Modules: Core (#13009)Sylvain Henry2020-03-161-2/+2
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-4/+5
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-4/+4
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+3
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-2/+2
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-50/+49
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Make warnings for TH splices opt-inSebastian Graf2019-11-271-38/+46