projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
More wibbles to deriving error messages
[ghc-hetmet.git]
/
compiler
/
types
/
Unify.lhs
2010-01-04
simonpj@microsoft.com
Substantial improvements to coercion optimisation
blob
|
commitdiff
2009-11-06
simonpj@microsoft.com
Tidy up coercions, and implement csel1, csel2, cselR
blob
|
commitdiff
|
diff to current
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
blob
|
commitdiff
|
diff to current
2008-09-05
simonpj@microsoft.com
Remove unused constructors AvoidMe, WildCard
blob
|
commitdiff
|
diff to current
2008-08-11
simonpj@microsoft.com
Fix Trac #2367: selectors for GADTs
blob
|
commitdiff
|
diff to current
2008-04-22
Ian Lynagh
Change the last few (F)SLIT's into (f)sLit's
blob
|
commitdiff
|
diff to current
2008-04-22
simonpj@microsoft.com
Refactor the TyVarTy case of 'match'. No change in...
blob
|
commitdiff
|
diff to current
2008-04-07
Manuel M T Chakravarty
Remove GADT refinements, part 5
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
blob
|
commitdiff
|
diff to current
2008-02-03
Twan van Laarhoven
Fixed warnings in types/Unify
blob
|
commitdiff
|
diff to current
2008-01-28
simonpj@microsoft.com
Fix typo where I forgot the new substitution
blob
|
commitdiff
|
diff to current
2008-01-16
simonpj@microsoft.com
The Core type-matcher should look through PredTypes
blob
|
commitdiff
|
diff to current
2007-09-29
simonpj@microsoft.com
Fix Trac #1746: make rule-matching work properly with...
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-05-04
simonpj@microsoft.com
Fix the pruning of dead case alternatives
blob
|
commitdiff
|
diff to current
2007-04-22
simonpj@microsoft.com
Fixes to datacon wrappers for indexed data types
blob
|
commitdiff
|
diff to current
2007-02-02
simonpj@microsoft.com
Fix a pair of classic, but tricky, bugs in the type...
blob
|
commitdiff
|
diff to current
2006-11-01
simonpj@microsoft.com
Comments and layout only
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-09-20
Manuel M T Chakravarty
Complete the evidence generation for GADTs
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-12
simonpj@microsoft.com
Improve pruning of case alternatives to account for...
blob
|
commitdiff
|
diff to current
2006-04-07
Simon Marlow
Reorganisation of the source tree
blob
|
commitdiff
|
diff to current