git.megacz.com Git - ghc-hetmet.git/search

2006-09-15	Manuel M T Chakravarty	Renaming of kind signatures (rnTySig) ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-15	Manuel M T Chakravarty	Revised kind signatures ...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) ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-15	Manuel M T Chakravarty	Fix migrated AT support ...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 ...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

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom