Empty alternative lint check: Explain why there are two checks
[ghc.git] / compiler / coreSyn /
2015-03-24  Joachim BreitnerEmpty alternative lint check: Explain why there are...
2015-03-24  Joachim BreitnerexprIsBottom: Make use of isEmptyTy (#10186)
2015-03-23  Joachim BreitnerisEmptyTy: Improve comment
2015-03-23  Joachim BreitnerAdd Note [No alternatives lint check]
2015-03-23  Joachim BreitnerNew lint check: Check idArity invariants (#10181)
2015-03-23  Joachim BreitnerNew Lint check: no alternatives implies bottoming expre...
2015-03-23  Joachim BreitnerexprIsBottom should look through type lambdas
2015-03-22  Joachim BreitnerNew lint check: exprIsHNF = True and alts = [] is bogus
2015-03-18  Simon Peyton JonesComments only
2015-03-18  Gabor GreifTypos in comments
2015-03-17  Simon Peyton JonesMove declaration of Rulebase from Rules to CoreSyn
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2015-03-04  Simon Peyton JonesTidy up and improve comments about one-shot info
2015-03-02  Edward Z. YangCite the TrieMap idea [skip-ci]
2015-03-02  Javran Chengfix typos in coreSyn
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-02-04  Simon MarlowFix a profiling bug
2015-01-19  Peter WortmannSplit stripTicks into expression editing and tick colle...
2015-01-09  Edward Z. YangNewtype CoreMap and TypeMap so their keys are user...
2015-01-09  Edward Z. YangInline all of the .*[TCE] methods, and then rename...
2015-01-09  Edward Z. YangMiscellaneous improvements to TrieMap, from D608 code...
2015-01-08  Edward Z. YangApply GenMap to CoreMap and CoercionMap.
2015-01-08  Edward Z. YangAdd 'DeBruijn' constructor, which generalizes "key...
2015-01-07  Edward Z. YangGeneralize TrieMap compression to GenMap.
2015-01-07  Edward Z. YangCompress TypeMap TrieMap leaves with singleton constructor.
2015-01-06  Simon Peyton JonesRemove redundant constraints in the compiler itself...
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-23  Sergei Trofimovichdwarf: sync getIdFromTrivialExpr with exprIsTrivial...
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-17  Gabor GreifTypo in note
2014-12-17  Simon Peyton JonesImprove TidyPgm.hasCafRefs to account for Integer liter...
2014-12-17  Simon Peyton JonesUse the new LintFlags to suppress Lint warnings for...
2014-12-16  Peter WortmannSource notes (Cmm support)
2014-12-16  Peter WortmannSource notes (CorePrep and Stg support)
2014-12-16  Peter WortmannAnnotation linting
2014-12-16  Peter WortmannSource notes (Core support)
2014-12-15  Simon Peyton JonesMake Core Lint check for locally-bound GlobalIds
2014-12-04  Edward Z. YangComments on TrieMap and unifier.
2014-12-03  Austin Seippcompiler: de-lhs coreSyn/
2014-11-28  Simon Peyton JonesRename some of the functions in NameSet, to make the...
2014-11-20  Jan StolarekSplit SynTyCon to SynonymTyCon and FamilyTyCon
2014-11-12  Herbert Valerio... Implement new integer-gmp2 from scratch (re #9281)
2014-11-04  Simon Peyton JonesSome refactoring around endPass and debug dumping
2014-11-02  Joachim BreitnerPut one-Shot info in the interface
2014-10-27  Herbert Valerio... Un-wire `Integer` type (re #9714)
2014-10-01  Simon Peyton JonesComments about the let/app invariant
2014-09-26  Simon Peyton JonesDe-tabify and remove trailing whitespace
2014-09-25  Herbert Valerio... Remove a few redundant `-fno-warn-tabs`s
2014-09-19  Simon Peyton JonesWhite space only
2014-09-16  Thijs AlkemadeRemove special casing of singleton strings, split all...
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-31  Herbert Valerio... `M-x delete-trailing-whitespace` & `M-x untabify`...
2014-08-31  Herbert Valerio... Re-export Word from Prelude (re #9531)
2014-08-30  Gabor GreifSome typos
2014-08-29  Simon Peyton JonesWhen finding loop breakers, distinguish INLINE from...
2014-08-29  Simon Peyton JonesDefine mapUnionVarSet, and use it
2014-08-28  Simon Peyton JonesMake tidyProgram discard speculative specialisation...
2014-08-28  Simon Peyton JonesFix an egregious bug in the NonRec case of bindFreeVars
2014-08-28  Simon Peyton JonesMake worker/wrapper work on INLINEABLE things
2014-08-28  Simon Peyton JonesMake maybeUnfoldingTemplate respond to DFunUnfoldings
2014-08-28  Simon Peyton JonesKill unused setUnfoldingTemplate
2014-08-28  Simon Peyton JonesRefactor unfoldings
2014-08-25  Simon Peyton JonesMake Core Lint check for un-saturated type applications
2014-08-20  Austin SeippcoreSyn: detabify/dewhitespace CoreSubst
2014-08-20  Austin SeippcoreSyn: detabify/dewhitespace CoreTidy
2014-08-20  Austin SeippcoreSyn: detabify/dewhitespace TrieMap
2014-08-07  Gabor GreifFix some typos in recent comments/notes
2014-08-07  Simon Peyton JonesExtensive Notes on can_fail and has_side_effects
2014-08-07  Simon Peyton JonesDocument the maintenance of the let/app invariant in...
2014-08-07  Simon Peyton JonesMake Core Lint check the let/app invariant
2014-08-07  Simon Peyton JonesMove Outputable instance for FloatBind to the data...
2014-08-07  Simon Peyton JonesComments and white space
2014-07-21  Edward Z. YangRename PackageId to PackageKey, distinguishing it from...
2014-07-16  Richard EisenbergRewrite coercionRole. (#9233)
2014-06-11  Gabor GreifSome typos in comments
2014-06-11  Richard EisenbergFix #9062.
2014-05-27  Dr. ERDI GergoStore IfExtNames for PatSyn matchers and wrappers in...
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-13  Simon Peyton JonesWibble to 4cfc1fae
2014-05-13  Simon Peyton JonesLint should check that TyConAppCo doesn't have a synony...
2014-05-08  Simon Peyton JonesPreserve evaluated-ness in CoreTidy
2014-05-08  Simon Peyton JonesMark evaluated arguments in dataConInstPat
2014-05-03  Austin SeippRemove external core
2014-04-24  Simon Peyton JonesDon't eta-expand PAPs (fixes Trac #9020)
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-08  Simon Peyton JonesAllow a longer demand signature than arity
2014-03-25  Simon Peyton JonesComments only
2014-03-24  Simon Peyton JonesComments only
2014-03-23  Gabor GreifCatch a bunch of typos in comments
2014-03-18  Simon Peyton JonesMake sure we occurrence-analyse unfoldings (fixes Trac...
2014-03-11  Simon Peyton JonesMake SetLevels do substitution properly (fixes Trac...
2014-03-11  Simon Peyton JonesComments only
2014-03-05  Gabor GreifTypos in comments
2014-02-17  Joachim BreitnerMore liberally eta-expand a case-expression
2014-02-13  Julian K. ArniRemove space after ASSERT.
2014-02-13  Gabor GreifFix some typos in comments
next