summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Refactor Pattern Match Checker to use ListTMatthew Pickering2016-11-291-111/+215
* Typos in commentsGabor Greif2016-11-291-2/+2
* Zonk the free tvs of a RULE lhs to TyVarsSimon Peyton Jones2016-11-291-1/+1
* Updated code comment regarding EquationInfo. Trac #12856Andreas Klebinger2016-11-201-1/+1
* Add tracing infrastructure to pattern match checkerMatthew Pickering2016-11-062-4/+62
* Handle types w/ type variables in signatures inside patterns (DsMeta)Mikhail Vorozhtsov2016-11-051-8/+6
* Fix buildCsongor Kiss2016-10-081-1/+1
* Distinguish between UnitId and InstalledUnitId.Edward Z. Yang2016-10-081-2/+2
* The Backpack patch.Edward Z. Yang2016-10-081-5/+15
* Implement deriving strategiesRyan Scott2016-09-301-19/+38
* Fix desugaring of pattern bindings (again)Simon Peyton Jones2016-09-303-62/+98
* Check.hs: Use actual import lists instead of commentsÖmer Sinan Ağacan2016-09-291-9/+8
* Template Haskell support for TypeApplicationsRyan Scott2016-08-291-0/+6
* Template Haskell support for unboxed sumsRyan Scott2016-08-231-0/+29
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-211-0/+1
* Clarify comment on makeCorePairMatthew Pickering2016-08-031-3/+6
* More comments about InlinePragmasMatthew Pickering2016-08-031-0/+5
* More typos in commentsGabor Greif2016-07-222-2/+2
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-216-0/+24
* Support SCC pragmas in declaration contextÖmer Sinan Ağacan2016-07-201-2/+2
* DsExpr: Remove usage of concatFS in fingerprintNameBen Gamari2016-07-081-7/+5
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+1
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-011-1/+1
* Refactor match to not use Unique orderBartosz Nitka2016-06-291-9/+23
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-152-20/+10
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-132-8/+7
* Revert "Desugar: Display resulting program stats with -v2"Ömer Sinan Ağacan2016-06-081-6/+0
* Desugar: Display resulting program stats with -v2Ömer Sinan Ağacan2016-06-081-0/+6
* Use a deterministic map for imp_dep_modsBartosz Nitka2016-06-071-3/+4
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-064-10/+19
* Improve failed knot-tying error message.Edward Z. Yang2016-06-021-1/+2
* Do not init record accessors as exportedÖmer Sinan Ağacan2016-05-271-1/+4
* Coverage.hs: Fix a duplicationÖmer Sinan Ağacan2016-05-261-5/+2
* Make Arrow desugaring deterministicBartosz Nitka2016-05-241-31/+32
* Document some benign nondeterminismBartosz Nitka2016-05-241-1/+3
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-12/+117
* Remove some varSetElems in dsCmdStmtBartosz Nitka2016-05-111-3/+5
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-026-192/+51
* Refactor free tyvars on LHS of rulesSimon Peyton Jones2016-04-221-36/+63
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-3/+3
* Add flag to control number of missing patterns in warningsDavid Luposchainsky2016-04-171-10/+8
* Add TemplateHaskell support for Overlapping pragmasIavor S. Diatchki2016-04-171-4/+25
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-153-4/+8
* Fix #11797.Richard Eisenberg2016-04-121-6/+7
* Fix suggestions for unbound variables (#11680)Jason Eisenberg2016-04-101-2/+2
* Refactor in TcMatchesSimon Peyton Jones2016-03-313-6/+5
* DsExpr: Rip out static/dynamic check in list desugaringBen Gamari2016-03-241-67/+28
* ErrUtils: Add timings to compiler phasesBen Gamari2016-03-241-4/+5
* Move DFunUnfolding generation to TcInstDclsSimon Peyton Jones2016-03-231-21/+0
* DsExpr: Don't build/foldr huge listsBen Gamari2016-03-201-1/+28
View Lorry Controller Status