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

2007-09-10	Manuel M T Chakravarty	Cleaned up version of Tom's unflattened skolemOccurs	commit \| commitdiff \| tree
2007-09-07	Manuel M T Chakravarty	Made TcTyFuns warning clean	commit \| commitdiff \| tree
2007-09-07	Manuel M T Chakravarty	Improved error messages for higher-rank equality contexts	commit \| commitdiff \| tree
2007-09-07	Manuel M T Chakravarty	FIX: Type families test Simple14	commit \| commitdiff \| tree
2007-09-06	Manuel M T Chakravarty	Cleanup of equality rewriting and no swapInsts for...	commit \| commitdiff \| tree
2007-09-06	Manuel M T Chakravarty	Remove EqInsts from addSCs to avoid -DDEBUG warnings	commit \| commitdiff \| tree
2007-09-06	Manuel M T Chakravarty	EqInst related clean up	commit \| commitdiff \| tree
2007-09-06	Manuel M T Chakravarty	Remove dead code in TcSimplify	commit \| commitdiff \| tree
2007-09-06	Manuel M T Chakravarty	Fix -DDEBUG warning	commit \| commitdiff \| tree
2007-09-05	Manuel M T Chakravarty	FIX #1651: use family instances during interactive...	commit \| commitdiff \| tree
2007-09-05	Manuel M T Chakravarty	FIX: Correct Leave/EnterCriticalSection imports	commit \| commitdiff \| tree
2007-09-04	Manuel M T Chakravarty	FIX #1651: unBox types when deferring unification	commit \| commitdiff \| tree
2007-09-03	Manuel M T Chakravarty	Better error message for unsolvable equalities	commit \| commitdiff \| tree
2007-08-30	Manuel M T Chakravarty	Added decidability check for type instances	commit \| commitdiff \| tree
2007-08-29	Manuel M T Chakravarty	FIX: Remove accidential change to darcs-all in type...	commit \| commitdiff \| tree
2007-08-28	Manuel M T Chakravarty	Type checking for type synonym families	commit \| commitdiff \| tree
2007-08-19	Manuel M T Chakravarty	Check for correct number of parameters in type instances	commit \| commitdiff \| tree
2007-08-19	Manuel M T Chakravarty	FIX: family instances for infix type constructors	commit \| commitdiff \| tree
2007-08-19	Manuel M T Chakravarty	ATs inherit kind annotations from class partameters	commit \| commitdiff \| tree
2007-08-19	Manuel M T Chakravarty	Updated comments	commit \| commitdiff \| tree
2007-07-18	Manuel M T Chakravarty	darcs-all: allow relative path for repo in local fs	commit \| commitdiff \| tree
2007-07-13	Manuel M T Chakravarty	init mg_inst_env when reading ext core	commit \| commitdiff \| tree
2007-07-10	Manuel M T Chakravarty	Lookup of class and family instances in vectorisation...	commit \| commitdiff \| tree
2007-06-29	Manuel M T Chakravarty	Checking that type indexes contain no synonym family...	commit \| commitdiff \| tree
2007-06-29	Manuel M T Chakravarty	RHS of a type instance must be a tau type	commit \| commitdiff \| tree
2007-06-29	Manuel M T Chakravarty	Overlap check for type families	commit \| commitdiff \| tree
2007-06-27	Manuel M T Chakravarty	Fix names of coercions in newtype instances	commit \| commitdiff \| tree
2007-06-27	Manuel M T Chakravarty	Fixed deriving of associated data types	commit \| commitdiff \| tree
2007-06-19	Manuel M T Chakravarty	Build package ndp if present	commit \| commitdiff \| tree
2007-06-08	Manuel M T Chakravarty	Fix worker/wrapper ids for newtype instances	commit \| commitdiff \| tree
2007-06-08	Manuel M T Chakravarty	Fix deriving of indexed data types	commit \| commitdiff \| tree
2007-05-22	Manuel M T Chakravarty	Add data type information to VectInfo	commit \| commitdiff \| tree
2007-05-15	Manuel M T Chakravarty	Iface representation of synonym family instances	commit \| commitdiff \| tree
2007-05-15	Manuel M T Chakravarty	Added -ftype-families to the user's manual	commit \| commitdiff \| tree
2007-05-14	Manuel M T Chakravarty	-findexed-types -> -ftype-families	commit \| commitdiff \| tree
2007-05-14	Manuel M T Chakravarty	Revised signature of tcLookupFamInst and lookupFamInstEnv	commit \| commitdiff \| tree
2007-05-11	Manuel M T Chakravarty	Remove the distinction between data and newtype families	commit \| commitdiff \| tree
2007-05-08	Manuel M T Chakravarty	Improved VectInfo	commit \| commitdiff \| tree
2007-05-07	Manuel M T Chakravarty	Add VectInfo to HPT	commit \| commitdiff \| tree
2007-05-06	Manuel M T Chakravarty	Extend hptInstances to also cover family instances	commit \| commitdiff \| tree
2007-05-04	Manuel M T Chakravarty	IfaceVectInfo and propagation through EPS	commit \| commitdiff \| tree
2007-05-04	Manuel M T Chakravarty	Added VectInfo to ModGuts	commit \| commitdiff \| tree
2007-04-25	Manuel M T Chakravarty	Generating synonym instance representation tycons	commit \| commitdiff \| tree
2007-04-02	Manuel M T Chakravarty	Fixed desugaring of parallel array comprehensions	commit \| commitdiff \| tree
2007-02-24	Manuel M T Chakravarty	Fix parsing of parallel array literals	commit \| commitdiff \| tree
2007-02-23	Manuel M T Chakravarty	Moved argument position info of ATs into tycon rhs...	commit \| commitdiff \| tree
2007-01-10	Manuel M T Chakravarty	checkTauTvUpdate: take synonym families into account	commit \| commitdiff \| tree
2007-01-09	Manuel M T Chakravarty	Handle synonym families in check_tau_type	commit \| commitdiff \| tree
2007-01-05	Manuel M T Chakravarty	HsSyn clean up for indexed types	commit \| commitdiff \| tree
2007-01-04	Manuel M T Chakravarty	Fix and improve deriving for indexed data types	commit \| commitdiff \| tree
2006-12-29	Manuel M T Chakravarty	Make dicts for arbitrary type equalities	commit \| commitdiff \| tree
2006-12-29	Manuel M T Chakravarty	EqPred pretty prints as ~ and equalities without brackets	commit \| commitdiff \| tree
2006-12-29	Manuel M T Chakravarty	Construction of EqPred dictionaries	commit \| commitdiff \| tree
2006-12-29	Manuel M T Chakravarty	data family declarations are fine without any type...	commit \| commitdiff \| tree
2006-12-28	Manuel M T Chakravarty	Parse and desugar equational constraints	commit \| commitdiff \| tree
2006-12-21	Manuel M T Chakravarty	Add hook to fam inst consistency check to GHCi/--make	commit \| commitdiff \| tree
2006-12-19	Manuel M T Chakravarty	Deriving for indexed newtypes	commit \| commitdiff \| tree
2006-12-19	Manuel M T Chakravarty	Fixed uninitialised FunBind fun_tick field	commit \| commitdiff \| tree
2006-12-18	Manuel M T Chakravarty	Deriving for indexed data types	commit \| commitdiff \| tree
2006-12-07	Manuel M T Chakravarty	Fix family instance consistency check for home package...	commit \| commitdiff \| tree
2006-12-06	Manuel M T Chakravarty	Kind sigs in associated data/newtype family decls may...	commit \| commitdiff \| tree
2006-10-25	Manuel M T Chakravarty	Add pointer to coding conventions to HACKING	commit \| commitdiff \| tree
2006-10-23	Manuel M T Chakravarty	Clean up debugging code in RnNames	commit \| commitdiff \| tree
2006-10-22	Manuel M T Chakravarty	Improve error messages for indexed types	commit \| commitdiff \| tree
2006-10-22	Manuel M T Chakravarty	Fix handling of family instances in the presense of...	commit \| commitdiff \| tree
2006-10-21	Manuel M T Chakravarty	Fix parent position in RnNames.nubAvails	commit \| commitdiff \| tree
2006-10-21	Manuel M T Chakravarty	Fix export of associated families with new name parent...	commit \| commitdiff \| tree
2006-10-20	Manuel M T Chakravarty	Fix processing of imports involving ATs with the new...	commit \| commitdiff \| tree
2006-10-19	Manuel M T Chakravarty	Fix family instance bug due to the name parent elimination	commit \| commitdiff \| tree
2006-10-19	Manuel M T Chakravarty	Fix show-iface for family instances & add debug ppr...	commit \| commitdiff \| tree
2006-10-18	Manuel M T Chakravarty	Cross-module consistency check for family instances	commit \| commitdiff \| tree
2006-10-16	Manuel M T Chakravarty	Stage 2 fix to "Keep track of family instance modules"	commit \| commitdiff \| tree
2006-10-13	Manuel M T Chakravarty	Keep track of family instance modules	commit \| commitdiff \| tree
2006-10-12	Manuel M T Chakravarty	Overlap check for family instances def'd in current...	commit \| commitdiff \| tree
2006-10-10	Manuel M T Chakravarty	Removed unused unwrapFamInstBody from MkId	commit \| commitdiff \| tree
2006-10-10	Manuel M T Chakravarty	Rough matches for family instances	commit \| commitdiff \| tree
2006-09-21	Manuel M T Chakravarty	Fix Linker import when BREAKPOINT is off	commit \| commitdiff \| tree
2006-09-21	Manuel M T Chakravarty	Extend IfaceSyn.eqIfTc to cover type kind variants...	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Correct substitution into theta types (after merge)	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Fix import list of TcTyClsDecls after merge	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Adding FamInstEnv & FamInst modules	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Adapt FC-code in TcUnify to pre-subsumption Wed Sep 20 04:01:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Some more ASSERTs Wed Sep 20 02:52:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	SPJ's fix to resolve conflict in instFun Wed Sep 20 02:27:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Adjust code from manual merges Tue Sep 19 14:12:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Adapt TcFix imports Tue Sep 19 14:11:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Basic set up for global family instance environment Mon Sep 18 19:52:34 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 15 15:20:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Import/export of data constructors in family instances Mon Sep 18 19:50:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 12 13:54:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Use smart lookup for tycons Mon Sep 18 19:49:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 12 12:55:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Fix type checking of imported data instances Mon Sep 18 19:48:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 11 20:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Fix category of representation tycon Mon Sep 18 19:48:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 11 16:18:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Option -findexed-types Mon Sep 18 19:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 8 21:35:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Get of fam inst index in ifaces Mon Sep 18 19:40:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 8 16:31:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Clean up and refactor in SimplUtils.mkCase1 (identity... Mon Sep 18 19:40:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	ATs are now implicitTyThings Mon Sep 18 19:36:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 5 21:09:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Straightened out implicit coercions for indexed types Mon Sep 18 19:35:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 4 23:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Fixed two bugs concerning fanilies Mon Sep 18 19:34:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 4 20:59:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Indexed newtypes Mon Sep 18 19:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 31 22:09:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Check category of type instances and some newtype family... Mon Sep 18 19:23:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 31 16:54:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Better error message for indexes that must be variables Mon Sep 18 19:19:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 30 20:21:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
next

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

RSS Atom