summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-1010-492/+572
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-106-863/+883
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-108-70/+77
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-093-10/+0
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-093-5/+5
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-094-12/+22
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-1/+1
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-253-7/+8
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-192-2/+2
* Implement -Wredundant-bang-patterns (#17340)nineonine2020-08-191-44/+131
* Add HomeUnit typeSylvain Henry2020-08-132-6/+9
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-137-146/+170
* DynFlags: disentangle OutputableSylvain Henry2020-08-1219-0/+24
* Add some tests for fail messages in do-expressions and monad-comprehensions.Cale Gibbard2020-08-073-5/+5
* A fix to an error message in monad comprehensions, and a move of dsHandleMona...Cale Gibbard2020-08-074-36/+33
* Refactor CLabel pretty-printingSylvain Henry2020-07-311-4/+6
* Rename GHC.Driver.Ways into GHC.Platform.WaysSylvain Henry2020-07-251-1/+1
* Simplify XRec definitionZubin Duggal2020-07-252-19/+22
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-221-3/+2
* Replace HscTarget with BackendSylvain Henry2020-07-221-1/+2
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-182-3/+0
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-0/+1
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-144-20/+23
* Warn about empty Char enumerations (#18402)Aaron Allen2020-07-131-6/+26
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-124-7/+15
* Replace Opt_SccProfilingOn flag with sccProfilingEnabled helper functionSylvain Henry2020-07-022-2/+2
* Desugar quoted uses of DerivingVia and expression type signatures properlyRyan Scott2020-07-011-100/+116
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-283-4/+4
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-272-15/+10
* DynFlags: don't store buildTagSylvain Henry2020-06-271-1/+1
* Better loop detection in findTypeShapeSimon Peyton Jones2020-06-271-10/+3
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-271-0/+16
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-265-24/+41
* Enable maxBound checks for OverloadedLists (Fixes #18172)Roland Senn2020-06-252-27/+65
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-255-6/+6
* Export everything from HsToCore.Zubin Duggal2020-06-251-2/+7
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-1/+1
* Update compilerSylvain Henry2020-06-174-10/+8
* Various performance improvementsKrzysztof Gogolewski2020-06-176-11/+6
* Linear types (#15981)Krzysztof Gogolewski2020-06-1717-199/+298
* FFI: Fix pass small ints in foreign call wrappersPeter Trommler2020-06-141-5/+26
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-132-10/+9
* Rename Package into UnitSylvain Henry2020-06-131-1/+1
* Enhance UnitId useSylvain Henry2020-06-132-3/+3
* Add allowVirtualUnits field in PackageStateSylvain Henry2020-06-131-1/+2
* Refactor homeUnitSylvain Henry2020-06-131-1/+1
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-106-10/+10
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-2/+7
* Fix documentation on type families not being extractedLuke Lau2020-06-041-12/+8
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-042-4/+5
View Lorry Controller Status