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

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