projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Basic set up for global family instance environment
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcTyClsDecls.lhs
2006-09-20
Manuel M T Chakravarty
Basic set up for global family instance environment
blob
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Use smart lookup for tycons
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Option -findexed-types
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Get of fam inst index in ifaces
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
ATs are now implicitTyThings
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Straightened out implicit coercions for indexed types
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fixed two bugs concerning fanilies
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Check category of type instances and some newtype famil...
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Checking conformance of AT indexes with instance heads
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Check that AT instance is in a class
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Introduce coercions for data instance decls
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fixed two data family bugs
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fix the tyvars used for data con signatures
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Extend TyCons and DataCons to represent data instance...
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Make sure ATs are included into the temporary env for...
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Extend Class.Class to include the TyCons of ATs
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Fix kind lookup in kcIdxTyPats
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Extended TyCon and friends to represent family declarations
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
Kind and type checking of indexed types
blob
|
commitdiff
|
diff to current
2006-09-20
Manuel M T Chakravarty
towards unboxing through newtypes
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-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
blob
|
commitdiff
|
diff to current
2006-09-18
Manuel M T Chakravarty
Remove argument variance info of tycons
blob
|
commitdiff
|
diff to current
2006-09-18
Manuel M T Chakravarty
Don't lift ATs out of classes and instances before tc
blob
|
commitdiff
|
diff to current
2006-09-15
Manuel M T Chakravarty
Migrate cvs diff from fptools-assoc branch
blob
|
commitdiff
|
diff to current
2006-09-12
audreyt@audreyt.org
Take away XXXs in GADT records related code that are...
blob
|
commitdiff
|
diff to current
2006-08-19
Ross Paterson
remove spurious commas in imports
blob
|
commitdiff
|
diff to current
2006-08-15
simonpj@microsoft.com
Allow class and instance decls in hs-boot files
blob
|
commitdiff
|
diff to current
2006-07-26
simonpj@microsoft.com
Deal correctly with infix type constructors in GADT...
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