summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMonad.hs
Commit message (Expand)AuthorAgeFilesLines
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-301-1/+1
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-251-29/+10
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Extract PmTypes module from PmExpr and PmOracleSebastian Graf2019-09-191-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-22/+11
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Stomp a few typos and grammarosGabor Greif2018-12-171-1/+1
* Warn on all out-of-range literals in pats/exprsAlec Theriault2018-12-031-6/+20
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-0/+1
* Rename literal constructorsSylvain Henry2018-11-221-2/+2
* Small refactor in desugar of pattern matchingSimon Peyton Jones2018-07-271-0/+3
* vectorise: Put it out of its miseryBen Gamari2018-06-021-163/+3
* Make cost centre symbol names deterministic.Shea Levy2018-03-021-5/+9
* Add trace injectionDavid Feuer2017-12-011-1/+33
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-1/+1
* Deal with exceptions in dsWhenNoErrsSimon Peyton Jones2017-05-041-8/+24
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-2/+1
* Fix #12709 by not building bad applicationsRichard Eisenberg2017-03-171-3/+17
* Desugar: Refactor initDsBen Gamari2017-03-071-51/+72
* DsMonad: Collect DPH thingsBen Gamari2017-03-071-137/+152
* Read COMPLETE sets from external packagesBen Gamari2017-03-061-2/+12
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-031-12/+2
* Read COMPLETE sets from external packagesRyan Scott2017-03-021-2/+12
* More typos in comments [skip ci]Gabor Greif2017-02-081-1/+1
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-6/+20
* Update levity polymorphismRichard Eisenberg2017-01-191-13/+125
* Add tracing infrastructure to pattern match checkerMatthew Pickering2016-11-061-1/+5
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-211-0/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-1/+0
* Improve failed knot-tying error message.Edward Z. Yang2016-06-021-1/+2
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-14/+4
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-6/+9
* Fix a few loose ends from D1795Ben Gamari2016-02-041-3/+0
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-7/+32
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-6/+6
* Expose enabled language extensions to THBen Gamari2015-12-151-1/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-3/+3
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-5/+59
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-0/+1
* Revert "Revert "Revert "Support for multiple signature files in scope."""Edward Z. Yang2015-09-211-1/+1
* Revert "Revert "Support for multiple signature files in scope.""Edward Z. Yang2015-07-201-1/+1
* Revert "Support for multiple signature files in scope."Edward Z. Yang2015-06-111-1/+1
* Refactor RdrName.Provenance, to fix #7672Simon Peyton Jones2015-06-031-1/+1
* Support for multiple signature files in scope.Edward Z. Yang2015-04-071-1/+1
* Fix dll-split problem with patch 'Make Core Lint check for locally-bound Glob...Simon Peyton Jones2014-12-151-72/+10
* Implement -XStaticValuesFacundo Domínguez2014-12-091-5/+20
* compiler: de-lhs deSugar/Austin Seipp2014-12-031-0/+502
View Lorry Controller Status