projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Handle clock_gettime failing
[ghc-hetmet.git]
/
compiler
/
2006-09-20
Manuel M T Chakravarty
fix big-lambda eta expansion, add comments
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Fix Lint for alts involving shadowing of type variables...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Fix a couple of stage-2 bogosities
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
fixing record selectors
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
GADT selector bugfix, bits of cleanup
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
fix some GADT record selector bugs (still some remaining)
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
clean up Coercion kinding functions, rename coercionKin...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Better pretty printing for CoPat
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Make data con wrappers for GADTs express the user type...
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
fixed bug in product unboxing
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
finished product unboxing through newtypes and proper...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Comment
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
towards unboxing through newtypes
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
fix out-of-scope vars
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Complete the evidence generation for GADTs
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
bugs
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
some bug-fixes, newtype deriving might work now
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
newtype deriving still not working
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
newtype deriving dicts, compiling at least
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
..and a bit more
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
More on newtype deriving
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
towards newtype deriving dicts
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
newtype fixes, coercions for non-recursive newtypes...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Remove mi_package from moved pprModIface
tree
|
commitdiff
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-19
Manuel M T Chakravarty
Adapt Simplify to conditional envs
tree
|
commitdiff
2006-09-19
Manuel M T Chakravarty
Adapt TcRnDriver to moved tyThingToIfaceDecl
tree
|
commitdiff
2006-09-19
Manuel M T Chakravarty
Adapt SimplUtils.getContArgs to conditional SubstEnv
tree
|
commitdiff
2006-09-19
Manuel M T Chakravarty
Adapt new SpecConstr functionality to GADT datacons
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Type tags in import/export lists
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
comment for getLocalDeclBinders
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Check for repeated tyvars in AT family decls
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Improve pretty printing for indexed type decls
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Use family and instance keyword to identify indexed...
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Remove checkTopTypeD
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Remove argument variance info of tycons
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Don't lift ATs out of classes and instances before tc
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Indexed type defs are not declaring type names
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Deriving Eq for OverlapFlag again
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
fix out-of-scope variable
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
GADT pattern matching fix
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Simplify mkDataCon slightly
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Partial changes for derived newtype instances
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-18
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Added error checks & fixed bugs
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Fix class construction
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Renaming of indexed types
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Renaming of kind signatures (rnTySig)
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Revised kind signatures
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Cleanup (re type function parsing)
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Parser support for assoc synonyms
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Fix migrated AT support
tree
|
commitdiff
2006-09-15
Manuel M T Chakravarty
Migrate cvs diff from fptools-assoc branch
tree
|
commitdiff
2006-09-06
simonpj@microsoft.com
Comment on the commoning up of CoPats in Match
tree
|
commitdiff
2006-09-06
simonpj@microsoft.com
Add comment for the invariant that DataAlt is never...
tree
|
commitdiff
2006-09-04
simonpj@microsoft.com
Comments only
tree
|
commitdiff
2006-08-09
simonpj@microsoft.com
Change ASSERT to WARN
tree
|
commitdiff
2006-08-07
Manuel M T Chakravarty
OccName->FS in tyThingToIfaceDecl that moved to MkIface
tree
|
commitdiff
2006-08-07
Manuel M T Chakravarty
Fix pattern w/o location in Check
tree
|
commitdiff
2006-08-07
Manuel M T Chakravarty
OccName->FS change over for equalities in GADTs
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-07
Manuel M T Chakravarty
GADT tweaks
tree
|
commitdiff
2006-08-07
Manuel M T Chakravarty
Configure changes to make testsuite work better on...
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
Adding TcGadt.lhs
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Add a missing prime, to fix desugaring of CoPats
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Comments and tidy-up
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Fix a lint bug with coercions
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
GADT fixes
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Add CoPat stuff
tree
|
commitdiff
2006-08-06
Manuel M T Chakravarty
Resolve conflict in MkExternalCore
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
tree
|
commitdiff
next