projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Add -XImpredicativeTypes, and tighten up type-validity checking (cf Trac 2019)
2006-09-20
Manuel M T Chakravarty
Remove mi_package from moved pprModIface
Mon Aug 7 12:40:55 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Massive patch for the first months work adding System...
Fri Aug 4 17:43:25 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-19
Manuel M T Chakravarty
Adapt Simplify to conditional envs
commit
|
commitdiff
|
tree
2006-09-19
Manuel M T Chakravarty
Adapt TcRnDriver to moved tyThingToIfaceDecl
commit
|
commitdiff
|
tree
2006-09-19
Manuel M T Chakravarty
Adapt SimplUtils.getContArgs to conditional SubstEnv
commit
|
commitdiff
|
tree
2006-09-19
Manuel M T Chakravarty
Adapt new SpecConstr functionality to GADT datacons
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Type tags in import/export lists
Tue Sep 12 16:57:32 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
comment for getLocalDeclBinders
Sat Sep 9 20:46:25 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Check for repeated tyvars in AT family decls
Sat Aug 26 19:49:55 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Improve pretty printing for indexed type decls
Wed Aug 16 17:01:59 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Use family and instance keyword to identify indexed...
Tue Aug 15 20:16:00 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Remove checkTopTypeD
Tue Aug 15 17:02:53 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Remove argument variance info of tycons
Fri Aug 11 13:53:24 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Don't lift ATs out of classes and instances before tc
Wed Aug 9 15:31:08 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Indexed type defs are not declaring type names
Tue Aug 8 19:27:31 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Deriving Eq for OverlapFlag again
Mon Aug 7 11:15:21 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
fix out-of-scope variable
Sun Aug 6 20:09:58 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
GADT pattern matching fix
Sun Aug 6 17:01:59 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Simplify mkDataCon slightly
Sat Aug 5 21:42:48 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Partial changes for derived newtype instances
Sat Aug 5 21:16:57 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Massive patch for the first months work adding System...
Fri Aug 4 15:21:36 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-18
Manuel M T Chakravarty
Massive patch for the first months work adding System...
Fri Aug 4 15:11:01 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Massive patch for the first months work adding System...
Fri Aug 4 18:13:56 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Massive patch for the first months work adding System...
Fri Aug 4 18:13:20 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Massive patch for the first months work adding System...
Fri Aug 4 15:59:09 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Added error checks & fixed bugs
Thu Aug 3 19:29:38 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Fix class construction
Wed Aug 2 13:34:58 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Renaming of indexed types
Tue Aug 1 23:51:38 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Renaming of kind signatures (rnTySig)
Tue Aug 1 16:39:51 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Revised kind signatures
Tue Aug 1 14:10:39 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Cleanup (re type function parsing)
Mon Jul 31 17:20:56 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Parser support for assoc synonyms
Fri Jul 28 21:52:46 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Fix migrated AT support
Wed Jul 26 18:16:25 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-09-15
Manuel M T Chakravarty
Migrate cvs diff from fptools-assoc branch
Wed Jul 26 17:46:55 EDT 2006
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
OccName->FS in tyThingToIfaceDecl that moved to MkIface
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
Fix pattern w/o location in Check
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
OccName->FS change over for equalities in GADTs
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
Comments only
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
Correct grevious bug in mkSymCoercion
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
GADT tweaks
commit
|
commitdiff
|
tree
2006-08-07
Manuel M T Chakravarty
Configure changes to make testsuite work better on...
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Remove Control-M from Coercion.hs
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Add Coercion.lhs
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Adding TcGadt.lhs
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Add a missing prime, to fix desugaring of CoPats
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Comments and tidy-up
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Fix a lint bug with coercions
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
GADT fixes
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Add CoPat stuff
commit
|
commitdiff
|
tree
2006-08-06
Manuel M T Chakravarty
Resolve conflict in MkExternalCore
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-04
Manuel M T Chakravarty
Massive patch for the first months work adding System...
commit
|
commitdiff
|
tree
2006-08-02
Manuel M T Chakravarty
Add new field to TySynonym
commit
|
commitdiff
|
tree
2006-08-02
Manuel M T Chakravarty
Make 'iso' special in the parser
commit
|
commitdiff
|
tree