summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix #11648.Richard Eisenberg2016-03-141-6/+13
* Refactor visible type application.Richard Eisenberg2016-03-143-24/+18
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-277-42/+58
* Special case for desugaring AbsBindsSimon Peyton Jones2016-02-261-0/+20
* Fix and refactor strict pattern bindingsSimon Peyton Jones2016-02-263-147/+204
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+1
* (Alternative way to) address #8710George Karachalias2016-02-251-19/+26
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-243-4/+10
* Fix desugaring of bang-pattern let-bindingsSimon Peyton Jones2016-02-181-26/+23
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-29/+25
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Replace mkTvSubstPrs (a `zip` b) with zipTvSubst a bBartosz Nitka2016-02-101-1/+1
* Fix a few loose ends from D1795Ben Gamari2016-02-042-4/+1
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-045-747/+609
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-1/+1
* fix validate breakageSimon Marlow2016-01-271-2/+0
* Remote GHCi: create cost centre stacks in batchesSimon Marlow2016-01-271-15/+7
* Rename "open" subst functionsBartosz Nitka2016-01-272-2/+2
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-2712-205/+234
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-274-7/+7
* Kill off zipTopTCvSubst in favour of zipOpenTCvSubstSimon Peyton Jones2016-01-261-1/+1
* Don't add ticks around type applications (#11329)Reid Barton2016-01-231-4/+10
* Give a more verbose error message when desugaring a HsTypeOutReid Barton2016-01-231-1/+5
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-1812-94/+91
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-181-3/+3
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-2/+1
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-164-9/+9
* Fix #11405.Richard Eisenberg2016-01-154-2/+75
* Fix Template Haskell's handling of infix GADT constructorsRyanGlScott2016-01-081-2/+4
* Enable stack traces with ghci -fexternal-interpreter -profSimon Marlow2016-01-082-22/+23
* Change Template Haskell representation of GADTs.Jan Stolarek2016-01-061-17/+7
* Avoid generating guards for CoPats if possible (Addresses #11276)George Karachalias2016-01-041-5/+24
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
View Lorry Controller Status