2010-11-26 |
simonpj@microsoft.com | Acutally, wild-card variables *can* have occurrences |
blob | commitdiff |
2010-11-26 |
simonpj@microsoft.com | Tidy up the handling of wild-card binders, and make... |
blob | commitdiff | diff to current |
2010-10-26 |
Ian Lynagh | Use removeDups to find top-level duplicate names |
blob | commitdiff | diff to current |
2010-10-22 |
simonpj@microsoft.com | Lint should check for duplicate top-level bindings... |
blob | commitdiff | diff to current |
2010-09-22 |
simonpj@microsoft.com | Get rid of non-exhaustive lambda |
blob | commitdiff | diff to current |
2010-09-16 |
simonpj@microsoft.com | Add more location info in CoreLint |
blob | commitdiff | diff to current |
2010-09-15 |
simonpj@microsoft.com | Use mkAppTy |
blob | commitdiff | diff to current |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
2010-09-03 |
simonpj@microsoft.com | Buglet in Core Lint |
blob | commitdiff | diff to current |
2010-07-27 |
simonpj@microsoft.com | Layout only |
blob | commitdiff | diff to current |
2010-08-12 |
simonpj@microsoft.com | Fix bug in linting of shadowed case-alternative binders |
blob | commitdiff | diff to current |
2009-12-24 |
simonpj@microsoft.com | Continue refactoring the core-to-core pipeline |
blob | commitdiff | diff to current |
2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
blob | commitdiff | diff to current |
2009-11-19 |
simonpj@microsoft.com | Remove the (very) old strictness analyser |
blob | commitdiff | diff to current |
2009-11-19 |
simonpj@microsoft.com | Make INLINE warning more precise |
blob | commitdiff | diff to current |
2009-11-12 |
simonpj@microsoft.com | A radical overhaul of the coercion infrastucture |
blob | commitdiff | diff to current |
2009-11-11 |
simonpj@microsoft.com | No CoreLint warnings if -dno-debug-output is on |
blob | commitdiff | diff to current |
2009-11-06 |
simonpj@microsoft.com | Tidy up coercions, and implement csel1, csel2, cselR |
blob | commitdiff | diff to current |
2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
blob | commitdiff | diff to current |
2009-10-29 |
simonpj@microsoft.com | Add Outputable.blankLine and use it |
blob | commitdiff | diff to current |
2009-07-01 |
Max Bolingbroke | Support for -fwarn-unused-do-bind and -fwarn-wrong... |
blob | commitdiff | diff to current |
2008-12-16 |
Simon Marlow | Rollback INLINE patches |
blob | commitdiff | diff to current |
2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
blob | commitdiff | diff to current |
2008-10-02 |
simonpj@microsoft.com | Suppress invalid Core Lint complaint about lack of... |
blob | commitdiff | diff to current |
2008-09-20 |
simonpj@microsoft.com | Tidy up the treatment of dead binders |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Split the Id related functions out from Var into Id... |
blob | commitdiff | diff to current |
2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
blob | commitdiff | diff to current |
2008-06-14 |
simonpj@microsoft.com | CoreLint should check for out-of-scope worker |
blob | commitdiff | diff to current |
2008-06-05 |
simonpj@microsoft.com | Add non-recursive let-bindings for types |
blob | commitdiff | diff to current |
2008-06-03 |
simonpj@microsoft.com | Shorten debug messages |
blob | commitdiff | diff to current |
2008-05-28 |
Simon Marlow | Use MD5 checksums for recompilation checking (fixes... |
blob | commitdiff | diff to current |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in CoreLint |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
2008-02-11 |
Roman Leshchinskiy | Allow -ddump-simpl-phases to specify which phases to... |
blob | commitdiff | diff to current |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in coreSyn/CoreLint |
blob | commitdiff | diff to current |
2007-12-13 |
Roman Leshchinskiy | Don't dump simplifier iterations with -dverbose-core2core |
blob | commitdiff | diff to current |
2007-12-07 |
Manuel M T Chakravarty | Properly keep track of whether normalising given or... |
blob | commitdiff | diff to current |
2007-11-28 |
simonpj@microsoft.com | Check for duplicate bindings in CoreLint |
blob | commitdiff | diff to current |
2007-11-05 |
simonpj@microsoft.com | Make CoreLint give a more informative error message |
blob | commitdiff | diff to current |
2007-09-08 |
Ian Lynagh | Make various assertions work when !DEBUG |
blob | commitdiff | diff to current |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
2007-01-29 |
Kirsten Chevalier | Two new warnings: arity differing from demand type... |
blob | commitdiff | diff to current |
2006-10-18 |
simonpj@microsoft.com | Fix a bug in Lint (which wrongly complained when compil... |
blob | commitdiff | diff to current |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Fix Lint for alts involving shadowing of type variables... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | fixing record selectors |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | GADT selector bugfix, bits of cleanup |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | clean up Coercion kinding functions, rename coercionKin... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | some bug-fixes, newtype deriving might work now |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
blob | commitdiff | diff to current |
2006-08-06 |
Manuel M T Chakravarty | Fix a lint bug with coercions |
blob | commitdiff | diff to current |
2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|