summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreLint.lhs
Commit message (Expand)AuthorAgeFilesLines
* Untabify and trailing white spaceSimon Peyton Jones2013-11-221-238/+237
* Add a missing case to Lint's understanding of empty casesSimon Peyton Jones2013-11-221-2/+11
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+48
* Fix AMP warnings.Austin Seipp2013-09-111-0/+7
* Improve Linting in GHCi (fixes Trac #8215)Simon Peyton Jones2013-09-031-5/+18
* Fix Trac #8138.Richard Eisenberg2013-08-161-1/+0
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-46/+77
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+1
* Imrove Lint to check unfoldingsSimon Peyton Jones2013-06-051-5/+19
* typosGabor Greif2013-01-301-1/+1
* Introduce CPR for sum types (Trac #5075)Simon Peyton Jones2013-01-241-6/+6
* Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-4/+3
* Fix Trac #7585.Richard Eisenberg2013-01-151-39/+2
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2013-01-021-8/+51
|\
| * Implement overlapping type family instances.Richard Eisenberg2012-12-211-8/+51
* | Define ListSetOps.getNth, and use itSimon Peyton Jones2013-01-021-2/+2
|/
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-1/+48
* Remove case from coreLintExpr dealing with types, as it is not used.Richard Eisenberg2012-11-301-2/+4
* Comments and debug tracing onlySimon Peyton Jones2012-10-191-1/+2
* Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-0/+13
* GHC 7.4 is now required for building HEADIan Lynagh2012-07-201-2/+0
* Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-151-16/+2
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-8/+0
* Slightly more informal message when EvCast fails.Dimitrios Vytiniotis2012-03-291-5/+7
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-241-2/+15
|\
| * Print more information when out-of-scope detected by linterMax Bolingbroke2012-03-211-2/+2
| * Check for external names/exported ids in non-top-level binders during LintMax Bolingbroke2012-03-211-0/+13
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-282/+186
|\ \ | |/
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-02-171-1/+4
| |\
| | * Fix the build with GHC < 7.4.1Ian Lynagh2012-02-161-1/+4
| * | More simplification of the sub-kinding storySimon Peyton Jones2012-02-171-26/+27
| |/
| * Rejig Core Lint to deal better with polymorphic kindsSimon Peyton Jones2012-02-161-281/+181
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-121-115/+138
|\ \ | |/
| * Give promoted DataCons a tyConArity and promoted TyCons a tyConKindSimon Peyton Jones2012-02-061-103/+128
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-1/+3
* | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-38/+38
|\ \ | |/
| * Implememt -fdefer-type-errors (Trac #5624)Simon Peyton Jones2012-01-121-38/+38
* | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-131-1/+1
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+10
|/
* Document the "kind invariant", and check itSimon Peyton Jones2011-12-131-39/+4
* Minor fix, and transform a failure into a warningJose Pedro Magalhaes2011-11-161-3/+3
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-161-12/+66
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-111-92/+137
|\
| * New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-92/+137
* | Establish the invariant that (LitAlt l) is always unliftedSimon Peyton Jones2011-11-091-7/+6
|/
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-1/+7
* The Types inside an OutCoercion are *not* InTypesMax Bolingbroke2011-10-301-5/+5
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-1/+1
View Lorry Controller Status