projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge branch 'master' of http://darcs.haskell.org/ghc
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcRules.lhs
2011-04-19
Simon Peyton Jones
This BIG PATCH contains most of the work for the New...
blob
|
commitdiff
2011-01-12
simonpj@microsoft.com
Major refactoring of the type inference engine
blob
|
commitdiff
|
diff to current
2010-10-08
simonpj@microsoft.com
Beautiful new approach to the skolem-escape check and...
blob
|
commitdiff
|
diff to current
2010-10-06
simonpj@microsoft.com
Refactoring: mainly rename ic_env_tvs to ic_untch
blob
|
commitdiff
|
diff to current
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
blob
|
commitdiff
|
diff to current
2009-11-17
simonpj@microsoft.com
Improvement to typecheck higher-rank rules better
blob
|
commitdiff
|
diff to current
2008-06-06
Ian Lynagh
Fix warnings in TcRules
blob
|
commitdiff
|
diff to current
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcRules
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
blob
|
commitdiff
|
diff to current
2008-01-17
Twan van Laarhoven
Monadify typecheck/TcRules: use do, return and standard...
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
2006-12-12
simonpj@microsoft.com
Fix up yesterdays commit to TcSimplify; fixes broken...
blob
|
commitdiff
|
diff to current
2006-12-11
simonpj@microsoft.com
More refactoring of constraint simplification
blob
|
commitdiff
|
diff to current
2006-11-10
simonpj@microsoft.com
Use implication constraints to improve type inference
blob
|
commitdiff
|
diff to current
2006-10-11
Simon Marlow
More import tidying and fixing the stage 2 build
blob
|
commitdiff
|
diff to current
2006-05-19
simonpj@microsoft.com
Improved RULE lhs typechecking; less dictionary sharing
blob
|
commitdiff
|
diff to current
2006-04-07
Simon Marlow
Reorganisation of the source tree
blob
|
commitdiff
|
diff to current
projects / ghc-hetmet.git / history