projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Wibbles
[ghc-hetmet.git]
/
compiler
/
types
/
2006-09-29
simonpj@microsoft.com
Simplify the way in which the coKindFun in CoercionTyCo...
tree
|
commitdiff
2006-09-29
simonpj@microsoft.com
Spelling correction
tree
|
commitdiff
2006-09-14
Andres Loeh
fix typo in comment
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
The unboxed tuple kind is (#), not (##)
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
Complete definition of cmPredX to take account of EqPred
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
Correct crucial typo in isSubKind (kc1 -> kc2)!
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
Re-work the newtype-deriving support
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
Remove dead code concerning coercions from TypeRep
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
Add VarSet.disjointVarSet, and use it
tree
|
commitdiff
2006-09-23
simonpj@microsoft.com
Trim imports, and remove some dead code
tree
|
commitdiff
2006-09-21
audreyt@audreyt.org
* TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Adding FamInstEnv & FamInst modules
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Fix type checking of imported data instances
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Get of fam inst index in ifaces
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Straightened out implicit coercions for indexed types
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Indexed newtypes
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Check category of type instances and some newtype famil...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Checking conformance of AT indexes with instance heads
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Check that AT instance is in a class
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Fixed bug in coercion for indexed data types
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Pattern matching of indexed data types
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Introduce coercions for data instance decls
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Extend TyCons and DataCons to represent data instance...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Extend Class.Class to include the TyCons of ATs
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Extended TyCon and friends to represent family declarations
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Comments only
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Make newtype Coercion eta-contract if the tails of...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Flip direction of newtype coercions, fix some comments
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Make sym coercion smart constructor smarter, add comments
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Fix GADT refinement fix-pointing, add ASSERTs and a...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Comments only
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
fix bugs, add boolean flag to identify coercion variables
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
fix some coercion kind representation things, extend...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
towards unboxing through newtypes
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Complete the evidence generation for GADTs
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
newtype fixes, coercions for non-recursive newtypes...
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Remove argument variance info of tycons
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Partial changes for derived newtype instances
tree
|
commitdiff
2006-08-07
Manuel M T Chakravarty
Comments only
tree
|
commitdiff
2006-08-07
Manuel M T Chakravarty
Correct grevious bug in mkSymCoercion
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Remove Control-M from Coercion.hs
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Add Coercion.lhs
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Comments and tidy-up
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
GADT fixes
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-18
simonpj@microsoft.com
Comments
tree
|
commitdiff
2006-08-18
simonpj@microsoft.com
Better pretty-printing for TvSubst
tree
|
commitdiff
2006-08-15
simonpj@microsoft.com
Reject derivable type classes with higher-rank methods
tree
|
commitdiff
2006-07-28
Simon Marlow
.hi-boot-5 is obsolete; the earliest GHC we support...
tree
|
commitdiff
2006-07-14
simonpj@microsoft.com
Check for overlap-flag differences in hi files
tree
|
commitdiff
2006-06-23
Simon Marlow
the unlifted kind
tree
|
commitdiff
2006-05-17
simonpj@microsoft.com
White space only
tree
|
commitdiff
2006-04-12
simonpj@microsoft.com
Improve pruning of case alternatives to account for...
tree
|
commitdiff
2006-04-07
Simon Marlow
Reorganisation of the source tree
tree
|
commitdiff