projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
More docu for skolemOccurs
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcTyFuns.lhs
2007-10-15
Manuel M T Chakravarty
More docu for skolemOccurs
blob
|
commitdiff
2007-10-04
Manuel M T Chakravarty
TcTyFuns: remove some duplicate code
blob
|
commitdiff
|
diff to current
2007-10-03
Manuel M T Chakravarty
TcTyFuns.eqInstToRewrite
blob
|
commitdiff
|
diff to current
2007-09-16
Manuel M T Chakravarty
FIX: TypeFamilies: should_compile/Simple12
blob
|
commitdiff
|
diff to current
2007-09-15
Manuel M T Chakravarty
Overhaul of the rewrite rules
blob
|
commitdiff
|
diff to current
2007-09-10
Manuel M T Chakravarty
Cleaned up version of Tom's unflattened skolemOccurs
blob
|
commitdiff
|
diff to current
2007-09-07
Manuel M T Chakravarty
Made TcTyFuns warning clean
blob
|
commitdiff
|
diff to current
2007-09-06
Tom Schrijvers
fix for Simple9
blob
|
commitdiff
|
diff to current
2007-09-06
Manuel M T Chakravarty
Cleanup of equality rewriting and no swapInsts for...
blob
|
commitdiff
|
diff to current
2007-09-06
Manuel M T Chakravarty
EqInst related clean up
blob
|
commitdiff
|
diff to current
2007-09-05
Tom Schrijvers
also swap for variables in completion algorithm
blob
|
commitdiff
|
diff to current
2007-09-04
Tom Schrijvers
bug fix in Decomp step of completion algorithm for...
blob
|
commitdiff
|
diff to current
2007-09-04
Ian Lynagh
Fix CodingStyle#Warnings URLs
blob
|
commitdiff
|
diff to current
2007-09-03
Manuel M T Chakravarty
Better error message for unsolvable equalities
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-08-28
Manuel M T Chakravarty
Type checking for type synonym families
blob
|
commitdiff
|
diff to current