projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Keep track of family instance modules
2006-10-13 Manuel M T ChakravartyKeep track of family instance modules
 commit | commitdiff | tree
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current...
commit | commitdiff | tree
2006-10-10 Manuel M T ChakravartyRemoved unused unwrapFamInstBody from MkId
 commit | commitdiff | tree
2006-10-10 Manuel M T ChakravartyRough matches for family instances
 commit | commitdiff | tree
2006-09-21 Manuel M T ChakravartyFix Linker import when BREAKPOINT is off
 commit | commitdiff | tree
2006-09-21 Manuel M T ChakravartyExtend IfaceSyn.eqIfTc to cover type kind variants...
commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge)
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdapt 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 ChakravartySome 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 ChakravartySPJ'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 ChakravartyAdjust 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 ChakravartyAdapt 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 ChakravartyBasic 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 ChakravartyImport/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 ChakravartyUse 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 ChakravartyFix 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 ChakravartyFix 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 ChakravartyOption -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 ChakravartyGet 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 ChakravartyClean 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 ChakravartyATs 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 ChakravartyStraightened 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 ChakravartyFixed 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 ChakravartyIndexed 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 ChakravartyCheck 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 ChakravartyBetter 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
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
Mon Sep 18 19:18:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed Aug 30 20:13:52 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
Mon Sep 18 19:17:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon Aug 28 22:26:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class
Mon Sep 18 19:16:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 26 21:49:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyKind sig for toplevel family decls is optional
Mon Sep 18 19:13:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 26 19:03:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFixed bug in coercion for indexed data types
Mon Sep 18 19:12:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri Aug 25 16:45:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types
Mon Sep 18 19:11:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu Aug 24 14:17:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls
Mon Sep 18 19:07:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue Aug 22 20:33:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFixed two data family bugs
Mon Sep 18 19:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon Aug 21 15:16:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix the tyvars used for data con signatures
Mon Sep 18 19:06:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 19 17:19:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
Mon Sep 18 19:05:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri Aug 18 19:11:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix TcSplice after some type family related changes
Mon Sep 18 19:04:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed Aug 16 19:51:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake sure ATs are included into the temporary env for...
Mon Sep 18 19:03:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed Aug 16 17:52:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs
Mon Sep 18 18:58:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed Aug 16 16:15:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix kind lookup in kcIdxTyPats
Mon Sep 18 18:58:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue Aug 15 21:02:34 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
Mon Sep 18 18:50:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue Aug 15 16:52:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types
Mon Sep 18 18:39:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri Aug 11 16:09:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAnother comment
Mon Sep 18 17:45:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdd missing co_vars to tcIfaceDataAlt
Mon Sep 18 17:44:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments only
Mon Sep 18 17:43:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartySmall refactoring
Mon Sep 18 17:41:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyTAG HEAD merge 6 Aug 06 completed
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMissing change re additional info in TcTyThing
Mon Sep 18 17:28:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon Aug 7 14:22:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComplete OccName->FS change in TcIface
Mon Sep 18 17:27:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon Aug 7 13:03:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMissing imports in CoreUtils
Mon Sep 18 17:27:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon Aug 7 11:15:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRemoved spurious + due to manual patching
Mon Sep 18 17:25:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon Aug 7 11:07:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMakefile comment
Mon Sep 18 17:23:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 21:03:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix newtype deriving bug
Mon Sep 18 17:22:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 21:02:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyInclude the existential dictionaries in dataConOrigInstPat
Mon Sep 18 17:22:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:59:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments about datacon worker and wrappers
Mon Sep 18 17:21:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:57:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of...
Mon Sep 18 17:20:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:57:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments
Mon Sep 18 17:19:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:56:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyChagne newtype wrapper into worker
Mon Sep 18 17:17:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:55:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyClean up unused imports, definitions and arguments
Mon Sep 18 17:17:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:54:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix assertion and default case for GADT record selectors
Mon Sep 18 17:16:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:53:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartymake dataConInstPat take a list of FastStrings rather...
Mon Sep 18 17:15:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:52:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyJust clean-up, no functional changes
Mon Sep 18 17:14:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:49:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyGet rid of special case for Vanilla tycon record selectors...
Mon Sep 18 17:13:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:48:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix problem with selectors for GADT records with unboxed...
Mon Sep 18 17:13:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:47:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake sym coercion smart constructor smarter, add comments
Mon Sep 18 17:11:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:32:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRefactoring in TcGadt
Mon Sep 18 17:11:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:32:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdd some invariant checking for refinements
Mon Sep 18 17:09:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:30:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMinor tidying up
Mon Sep 18 17:08:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
Mon Sep 18 17:07:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:28:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyRemove bogus ASSERT from MkId
Mon Sep 18 17:06:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:12:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix bug in type checking interface DataAlts
Mon Sep 18 17:05:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:11:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix default case filling-in for GADTs
Mon Sep 18 17:04:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:09:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix big-lambda eta expansion, add comments
Mon Sep 18 17:02:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:07:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix Lint for alts involving shadowing of type variables...
Mon Sep 18 17:02:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:06:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix a couple of stage-2 bogosities
Mon Sep 18 16:58:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 20:00:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfixing record selectors
Mon Sep 18 16:50:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 19:56:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyGADT selector bugfix, bits of cleanup
Mon Sep 18 16:48:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 19:43:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix some GADT record selector bugs (still some remaining)
Mon Sep 18 16:47:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 19:42:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyclean up Coercion kinding functions, rename coercionKindTyConApp
Mon Sep 18 16:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:37:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyBetter pretty printing for CoPat
Mon Sep 18 16:45:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:25:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMake data con wrappers for GADTs express the user type...
Mon Sep 18 16:44:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:24:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComments only
Mon Sep 18 16:43:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:18:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables
Mon Sep 18 16:41:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun Aug 6 17:04:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend...
Mon Sep 18 14:51:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:48:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfixed bug in product unboxing
Mon Sep 18 14:48:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:46:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfinished product unboxing through newtypes and proper...
Mon Sep 18 14:48:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:45:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComment
Mon Sep 18 14:47:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:44:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes
Mon Sep 18 14:44:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:42:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartyfix out-of-scope vars
Mon Sep 18 14:44:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:41:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartybugs
Mon Sep 18 14:34:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:36:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now
Mon Sep 18 14:33:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:29:28 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype deriving still not working
Mon Sep 18 14:31:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:25:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype deriving dicts, compiling at least
Mon Sep 18 14:31:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:24:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravarty..and a bit more
Mon Sep 18 14:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:23:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyMore on newtype deriving
Mon Sep 18 14:29:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:22:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts
Mon Sep 18 14:27:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:21:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
Mon Sep 18 14:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat Aug 5 21:19:58 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)