summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2420-1719/+2672
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-0/+2
* Disallow constraints in KindSigCtxtRyan Scott2020-09-211-40/+75
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-213-12/+0
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-191-18/+25
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* Wire in constraint tuplesRyan Scott2020-09-191-2/+2
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-151-2/+7
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-158-23/+24
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-123-75/+10
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-122-39/+49
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-123-108/+16
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-3/+3
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-1/+1
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-1/+0
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-091-1/+1
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-092-2/+4
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-092-95/+149
* 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
View Lorry Controller Status