summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Remove GENERATED pragma, as it is not being usedwip/T18639-remove-generated-pragmaAlan Zimmerman2020-09-081-1/+0
* Remove "Ord FastString" instanceSylvain Henry2020-09-012-6/+6
* Refactor UnitId pretty-printingSylvain Henry2020-08-264-35/+41
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-252-7/+5
* mkUnique refactoring (#18362)Aditya Gupta2020-08-223-2/+3
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-194-33/+112
* Add HomeUnit typeSylvain Henry2020-08-135-28/+32
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-132-0/+5
* DynFlags: disentangle OutputableSylvain Henry2020-08-1246-7/+62
* typecheck: Drop SPECIALISE pragmas when there is no unfoldingBen Gamari2020-08-111-3/+7
* Fail eagerly on a lev-poly datacon argRichard Eisenberg2020-08-061-11/+24
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-303-9/+10
* Fix minimal imports dump for boot files (fix #18497)Sylvain Henry2020-07-301-1/+1
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-302-8/+23
* Filter out unreachable constructors when deriving stock instances (#16431)Brandon Chinn2020-07-293-18/+103
* Pass tc_args to gen_fnBrandon Chinn2020-07-293-32/+33
* Pass dit_rep_tc_args to dsm_stock_gen_fnBrandon Chinn2020-07-292-9/+15
* Simplify XRec definitionZubin Duggal2020-07-251-4/+8
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-19/+7
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-222-7/+6
* Replace HscTarget with BackendSylvain Henry2020-07-222-20/+22
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-211-1/+1
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-212-17/+18
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-1/+0
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-185-52/+42
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-1811-534/+559
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-145-38/+92
* Comments onlySimon Peyton Jones2020-07-131-2/+5
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-122-10/+12
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-037-281/+424
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-2811-18/+18
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-283-10/+67
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-272-13/+8
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-273-270/+567
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-263-15/+15
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-2523-61/+61
* Expunge GhcTcIdSimon Peyton Jones2020-06-2517-155/+154
* DynFlags: store default depth in SDocContext (#17957)Sylvain Henry2020-06-181-2/+2
* Update compilerSylvain Henry2020-06-174-10/+12
* Various performance improvementsKrzysztof Gogolewski2020-06-1716-29/+21
* Linear types (#15981)Krzysztof Gogolewski2020-06-1743-599/+1045
* User's Guide: KnownNat evidence is NaturalVladislav Zavialov2020-06-151-4/+4
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-137-80/+94
* Rename Package into Unit (2)Sylvain Henry2020-06-131-1/+1
* Rename Package into UnitSylvain Henry2020-06-131-3/+3
* Enhance UnitId useSylvain Henry2020-06-133-3/+3
* Refactor homeUnitSylvain Henry2020-06-134-12/+17
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-1013-22/+22
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+1
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-39/+1
View Lorry Controller Status