projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add upstream URLs for vector and primitive
[ghc-hetmet.git]
/
compiler
/
coreSyn
/
CoreLint.lhs
2010-10-26
Ian Lynagh
Use removeDups to find top-level duplicate names
blob
|
commitdiff
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