Manuel M T Chakravarty [Wed, 20 Sep 2006 18:35:34 +0000 (18:35 +0000)]
Extend TyCons and DataCons to represent data instance decls
Mon Sep 18 19:05:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Extend TyCons and DataCons to represent data instance decls
Fri Aug 18 19:11:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Extend TyCons and DataCons to represent data instance decls
- This is a faily involved patch, but it is not entirely complete:
+ The data con wrapper code for instance data cons needs to apply the
coercions (which we still have to generate).
+ There are still bugs, but it doesn't seem to affect the compilation of
code that doesn't use type families.
** WARNING: Yet another change of the iface format. **
** Recompile everything. **
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:35:18 +0000 (18:35 +0000)]
Fix TcSplice after some type family related changes
Mon Sep 18 19:04:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix TcSplice after some type family related changes
Wed Aug 16 19:51:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix TcSplice after some type family related changes
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:35:03 +0000 (18:35 +0000)]
Make sure ATs are included into the temporary env for tc knot tying
Mon Sep 18 19:03:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make sure ATs are included into the temporary env for tc knot tying
Wed Aug 16 17:52:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make sure ATs are included into the temporary env for tc knot tying
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:34:46 +0000 (18:34 +0000)]
Extend 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>
* Extend Class.Class to include the TyCons of ATs
Wed Aug 16 16:15:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Extend Class.Class to include the TyCons of ATs
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:34:23 +0000 (18:34 +0000)]
Fix kind lookup in kcIdxTyPats
Mon Sep 18 18:58:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix kind lookup in kcIdxTyPats
Tue Aug 15 21:02:34 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix kind lookup in kcIdxTyPats
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:34:00 +0000 (18:34 +0000)]
Extended TyCon and friends to represent family declarations
Mon Sep 18 18:50:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Extended TyCon and friends to represent family declarations
Tue Aug 15 16:52:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Extended TyCon and friends to represent family declarations
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:33:33 +0000 (18:33 +0000)]
Kind and type checking of indexed types
Mon Sep 18 18:39:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Kind and type checking of indexed types
Fri Aug 11 16:09:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Kind and type checking of indexed types
- Type checking of kind signatures
- Kind and type checking of instances of indexed types
- Validity checks for ATs are still *missing* (ie, that the type indexes
coincide with the class parameters and that the defined ATs really belong to
the class).
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:31:56 +0000 (18:31 +0000)]
Another comment
Mon Sep 18 17:45:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Another comment
Wed Aug 9 04:48:18 EDT 2006 simonpj@microsoft.com
* Another comment
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:31:39 +0000 (18:31 +0000)]
Add missing co_vars to tcIfaceDataAlt
Mon Sep 18 17:44:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Add missing co_vars to tcIfaceDataAlt
Wed Aug 9 04:45:33 EDT 2006 simonpj@microsoft.com
* Add missing co_vars to tcIfaceDataAlt
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:30:51 +0000 (18:30 +0000)]
Comments only
Mon Sep 18 17:43:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comments only
Wed Aug 9 04:45:19 EDT 2006 simonpj@microsoft.com
* Comments only
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:27:08 +0000 (18:27 +0000)]
Small refactoring
Mon Sep 18 17:41:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Small refactoring
Wed Aug 9 04:41:54 EDT 2006 simonpj@microsoft.com
* Small refactoring
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:26:27 +0000 (18:26 +0000)]
TAG HEAD merge 6 Aug 06 completed
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:24:02 +0000 (18:24 +0000)]
Missing change re additional info in TcTyThing
Mon Sep 18 17:28:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Missing change re additional info in TcTyThing
Mon Aug 7 14:22:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Missing change re additional info in TcTyThing
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:23:42 +0000 (18:23 +0000)]
Complete OccName->FS change in TcIface
Mon Sep 18 17:27:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete OccName->FS change in TcIface
Mon Aug 7 13:03:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete OccName->FS change in TcIface
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:23:24 +0000 (18:23 +0000)]
Missing imports in CoreUtils
Mon Sep 18 17:27:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Missing imports in CoreUtils
Mon Aug 7 11:15:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Missing imports in CoreUtils
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:23:03 +0000 (18:23 +0000)]
Removed spurious + due to manual patching
Mon Sep 18 17:25:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Removed spurious + due to manual patching
Mon Aug 7 11:07:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Removed spurious + due to manual patching
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:21:54 +0000 (18:21 +0000)]
Makefile comment
Mon Sep 18 17:23:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Makefile comment
Sun Aug 6 21:03:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Makefile comment
Fri Aug 4 11:44:49 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:21:26 +0000 (18:21 +0000)]
Fix newtype deriving bug
Mon Sep 18 17:22:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix newtype deriving bug
Sun Aug 6 21:02:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix newtype deriving bug
Fri Aug 4 06:45:21 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:20:48 +0000 (18:20 +0000)]
Include the existential dictionaries in dataConOrigInstPat
Mon Sep 18 17:22:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Include the existential dictionaries in dataConOrigInstPat
Sun Aug 6 20:59:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Include the existential dictionaries in dataConOrigInstPat
Fri Aug 4 04:24:25 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:20:26 +0000 (18:20 +0000)]
Comments about datacon worker and wrappers
Mon Sep 18 17:21:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comments about datacon worker and wrappers
Sun Aug 6 20:57:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comments about datacon worker and wrappers
Fri Aug 4 04:23:28 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:19:59 +0000 (18:19 +0000)]
Make newtype Coercion eta-contract if the tails of lhs and rhs match up
Mon Sep 18 17:20:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make newtype Coercion eta-contract if the tails of lhs and rhs match up
Sun Aug 6 20:57:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make newtype Coercion eta-contract if the tails of lhs and rhs match up
Thu Aug 3 12:26:52 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:19:12 +0000 (18:19 +0000)]
Flip direction of newtype coercions, fix some comments
Mon Sep 18 17:19:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Flip direction of newtype coercions, fix some comments
Sun Aug 6 20:56:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Flip direction of newtype coercions, fix some comments
Thu Aug 3 10:53:37 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:17:22 +0000 (18:17 +0000)]
Chagne newtype wrapper into worker
Mon Sep 18 17:17:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Chagne newtype wrapper into worker
Sun Aug 6 20:55:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Chagne newtype wrapper into worker
Wed Aug 2 11:54:28 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:17:04 +0000 (18:17 +0000)]
Clean up unused imports, definitions and arguments
Mon Sep 18 17:17:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Clean up unused imports, definitions and arguments
Sun Aug 6 20:54:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Clean up unused imports, definitions and arguments
Wed Aug 2 11:05:33 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:16:42 +0000 (18:16 +0000)]
Fix 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>
* Fix assertion and default case for GADT record selectors
Sun Aug 6 20:53:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix assertion and default case for GADT record selectors
Wed Aug 2 11:04:21 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:16:24 +0000 (18:16 +0000)]
make dataConInstPat take a list of FastStrings rather than OccNames, remove out-of-date comment
Mon Sep 18 17:15:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* make dataConInstPat take a list of FastStrings rather than OccNames, remove out-of-date comment
Sun Aug 6 20:52:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* make dataConInstPat take a list of FastStrings rather than OccNames, remove out-of-date comment
Wed Aug 2 09:26:47 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:16:02 +0000 (18:16 +0000)]
Just clean-up, no functional changes
Mon Sep 18 17:14:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Just clean-up, no functional changes
Sun Aug 6 20:49:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Just clean-up, no functional changes
Wed Aug 2 06:48:44 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:15:40 +0000 (18:15 +0000)]
Get rid of special case for Vanilla tycon record selectors and make uniq splitting more uniform
Mon Sep 18 17:13:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Get rid of special case for Vanilla tycon record selectors and make uniq splitting more uniform
Sun Aug 6 20:48:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Get rid of special case for Vanilla tycon record selectors and make uniq splitting more uniform
Wed Aug 2 06:04:19 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:15:09 +0000 (18:15 +0000)]
Fix problem with selectors for GADT records with unboxed fields
Mon Sep 18 17:13:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix problem with selectors for GADT records with unboxed fields
Sun Aug 6 20:47:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix problem with selectors for GADT records with unboxed fields
Wed Aug 2 05:37:38 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:14:48 +0000 (18:14 +0000)]
Make sym coercion smart constructor smarter, add comments
Mon Sep 18 17:11:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make sym coercion smart constructor smarter, add comments
Sun Aug 6 20:32:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make sym coercion smart constructor smarter, add comments
Tue Aug 1 11:30:14 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:00:37 +0000 (18:00 +0000)]
Refactoring in TcGadt
Mon Sep 18 17:11:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Refactoring in TcGadt
Sun Aug 6 20:32:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Refactoring in TcGadt
Tue Aug 1 10:28:25 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:00:00 +0000 (18:00 +0000)]
Add some invariant checking for refinements
Mon Sep 18 17:09:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Add some invariant checking for refinements
Sun Aug 6 20:30:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Add some invariant checking for refinements
Tue Aug 1 08:52:43 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:59:18 +0000 (17:59 +0000)]
Minor tidying up
Mon Sep 18 17:08:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Minor tidying up
Sun Aug 6 20:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Minor tidying up
Tue Aug 1 08:51:40 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:58:30 +0000 (17:58 +0000)]
Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
Mon Sep 18 17:07:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
Sun Aug 6 20:28:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
Tue Aug 1 06:14:43 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:57:36 +0000 (17:57 +0000)]
Remove bogus ASSERT from MkId
Mon Sep 18 17:06:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove bogus ASSERT from MkId
Sun Aug 6 20:12:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove bogus ASSERT from MkId
Mon Jul 31 05:45:48 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:57:07 +0000 (17:57 +0000)]
Fix bug in type checking interface DataAlts
Mon Sep 18 17:05:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix bug in type checking interface DataAlts
Sun Aug 6 20:11:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix bug in type checking interface DataAlts
Mon Jul 31 05:30:02 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:56:32 +0000 (17:56 +0000)]
fix default case filling-in for GADTs
Mon Sep 18 17:04:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix default case filling-in for GADTs
Sun Aug 6 20:09:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix default case filling-in for GADTs
Fri Jul 28 13:19:40 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:54:54 +0000 (17:54 +0000)]
fix big-lambda eta expansion, add comments
Mon Sep 18 17:02:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix big-lambda eta expansion, add comments
Sun Aug 6 20:07:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix big-lambda eta expansion, add comments
Fri Jul 28 13:16:51 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:53:34 +0000 (17:53 +0000)]
Fix Lint for alts involving shadowing of type variables; add comments
Mon Sep 18 17:02:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix Lint for alts involving shadowing of type variables; add comments
Sun Aug 6 20:06:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix Lint for alts involving shadowing of type variables; add comments
Fri Jul 28 12:11:55 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:50:26 +0000 (17:50 +0000)]
Fix a couple of stage-2 bogosities
Mon Sep 18 16:58:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix a couple of stage-2 bogosities
Sun Aug 6 20:00:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix a couple of stage-2 bogosities
Fri Jul 28 06:27:06 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:49:47 +0000 (17:49 +0000)]
fixing record selectors
Mon Sep 18 16:50:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fixing record selectors
Sun Aug 6 19:56:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fixing record selectors
Fri Jul 28 10:24:28 EDT 2006 kevind@bu.edu
- Bad conflict in tcIfaceDataAlt, at a place where the monster patch had a
conflict, too. I have no idea what the right code is. -=chak
NB (at time of 2nd merge): previous conflict resolution was fine
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:48:55 +0000 (17:48 +0000)]
GADT selector bugfix, bits of cleanup
Mon Sep 18 16:48:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* GADT selector bugfix, bits of cleanup
Sun Aug 6 19:43:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* GADT selector bugfix, bits of cleanup
Thu Jul 27 08:10:58 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:48:20 +0000 (17:48 +0000)]
fix 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>
* fix some GADT record selector bugs (still some remaining)
Sun Aug 6 19:42:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some GADT record selector bugs (still some remaining)
Thu Jul 27 07:04:29 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:47:48 +0000 (17:47 +0000)]
clean up Coercion kinding functions, rename coercionKindTyConApp
Mon Sep 18 16:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* clean up Coercion kinding functions, rename coercionKindTyConApp
Sun Aug 6 17:37:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* clean up Coercion kinding functions, rename coercionKindTyConApp
Wed Jul 26 10:55:38 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:47:10 +0000 (17:47 +0000)]
Better pretty printing for CoPat
Mon Sep 18 16:45:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Better pretty printing for CoPat
Sun Aug 6 17:25:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Better pretty printing for CoPat
Wed Jul 26 08:22:22 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:46:38 +0000 (17:46 +0000)]
Make data con wrappers for GADTs express the user type directly
Mon Sep 18 16:44:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make data con wrappers for GADTs express the user type directly
Sun Aug 6 17:24:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Make data con wrappers for GADTs express the user type directly
Wed Jul 26 08:19:09 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:45:25 +0000 (17:45 +0000)]
Comments only
Mon Sep 18 16:43:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comments only
Sun Aug 6 17:18:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comments only
Tue Jul 25 12:06:00 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:39:27 +0000 (17:39 +0000)]
fix 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>
* fix bugs, add boolean flag to identify coercion variables
Sun Aug 6 17:04:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix bugs, add boolean flag to identify coercion variables
Tue Jul 25 06:20:05 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:38:56 +0000 (17:38 +0000)]
fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Mon Sep 18 14:51:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Sat Aug 5 21:48:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Wed Jul 19 08:06:28 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:38:27 +0000 (17:38 +0000)]
fixed bug in product unboxing
Mon Sep 18 14:48:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fixed bug in product unboxing
Sat Aug 5 21:46:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fixed bug in product unboxing
Mon Jul 17 09:10:34 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:37:24 +0000 (17:37 +0000)]
finished product unboxing through newtypes and proper demand analysis of newtypes
Mon Sep 18 14:48:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* finished product unboxing through newtypes and proper demand analysis of newtypes
Sat Aug 5 21:45:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* finished product unboxing through newtypes and proper demand analysis of newtypes
Mon Jul 17 06:52:11 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:36:49 +0000 (17:36 +0000)]
Comment
Mon Sep 18 14:47:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comment
Sat Aug 5 21:44:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comment
Fri Jul 14 12:49:37 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:35:26 +0000 (17:35 +0000)]
towards unboxing through newtypes
Mon Sep 18 14:44:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* towards unboxing through newtypes
Sat Aug 5 21:42:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* towards unboxing through newtypes
Fri Jul 14 12:02:32 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:34:25 +0000 (17:34 +0000)]
fix out-of-scope vars
Mon Sep 18 14:44:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix out-of-scope vars
Sat Aug 5 21:41:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix out-of-scope vars
Thu Jul 13 04:27:42 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:05:28 +0000 (17:05 +0000)]
Complete the evidence generation for GADTs
Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete the evidence generation for GADTs
Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete the evidence generation for GADTs
Thu Jul 13 17:18:07 EDT 2006 simonpj@microsoft.com
This patch completes FC evidence generation for GADTs.
It doesn't work properly yet, because part of the compiler thinks
(t1 :=: t2) => t3
is represented with FunTy/PredTy, while the rest thinks it's represented
using ForAllTy. Once that's done things should start to work.
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:59:58 +0000 (16:59 +0000)]
bugs
Mon Sep 18 14:34:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* bugs
Sat Aug 5 21:36:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* bugs
Thu Jul 13 04:20:58 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:58:51 +0000 (16:58 +0000)]
some bug-fixes, newtype deriving might work now
Mon Sep 18 14:33:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* some bug-fixes, newtype deriving might work now
Sat Aug 5 21:29:28 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* some bug-fixes, newtype deriving might work now
Tue Jul 11 12:16:13 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:57:46 +0000 (16:57 +0000)]
newtype deriving still not working
Mon Sep 18 14:31:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype deriving still not working
Sat Aug 5 21:25:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype deriving still not working
Mon Jul 10 10:27:20 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:57:09 +0000 (16:57 +0000)]
newtype deriving dicts, compiling at least
Mon Sep 18 14:31:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype deriving dicts, compiling at least
Sat Aug 5 21:24:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype deriving dicts, compiling at least
Fri Jul 7 13:07:32 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:56:10 +0000 (16:56 +0000)]
..and a bit more
Mon Sep 18 14:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* ..and a bit more
Sat Aug 5 21:23:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* ..and a bit more
Fri Jul 7 10:40:40 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:54:59 +0000 (16:54 +0000)]
More on newtype deriving
Mon Sep 18 14:29:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* More on newtype deriving
Sat Aug 5 21:22:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* More on newtype deriving
Fri Jul 7 10:37:55 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:53:48 +0000 (16:53 +0000)]
towards newtype deriving dicts
Mon Sep 18 14:27:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* towards newtype deriving dicts
Sat Aug 5 21:21:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* towards newtype deriving dicts
Fri Jul 7 09:26:44 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:53:13 +0000 (16:53 +0000)]
newtype fixes, coercions for non-recursive newtypes now optional
Mon Sep 18 14:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype fixes, coercions for non-recursive newtypes now optional
Sat Aug 5 21:19:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype fixes, coercions for non-recursive newtypes now optional
Fri Jul 7 06:11:48 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:49:16 +0000 (16:49 +0000)]
Massive patch for the first months work adding System FC to GHC #34
Fri Sep 15 18:56:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #34
Fri Aug 4 18:20:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #34
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:41:18 +0000 (16:41 +0000)]
Remove mi_package from moved pprModIface
Mon Aug 7 12:40:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove mi_package from moved pprModIface
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:38:57 +0000 (16:38 +0000)]
Massive patch for the first months work adding System FC to GHC #20
Fri Aug 4 17:43:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #20
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Tue, 19 Sep 2006 18:10:58 +0000 (18:10 +0000)]
Adapt Simplify to conditional envs
Manuel M T Chakravarty [Tue, 19 Sep 2006 18:09:48 +0000 (18:09 +0000)]
Adapt TcRnDriver to moved tyThingToIfaceDecl
Manuel M T Chakravarty [Tue, 19 Sep 2006 01:25:28 +0000 (01:25 +0000)]
Adapt SimplUtils.getContArgs to conditional SubstEnv
Manuel M T Chakravarty [Tue, 19 Sep 2006 01:12:43 +0000 (01:12 +0000)]
Adapt new SpecConstr functionality to GADT datacons
Manuel M T Chakravarty [Mon, 18 Sep 2006 23:51:47 +0000 (23:51 +0000)]
Type tags in import/export lists
Tue Sep 12 16:57:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Type tags in import/export lists
- To write something like GMapKey(type GMap, empty, lookup, insert)
- Requires -findexed-types
Manuel M T Chakravarty [Mon, 18 Sep 2006 23:47:17 +0000 (23:47 +0000)]
comment for getLocalDeclBinders
Sat Sep 9 20:46:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* comment for getLocalDeclBinders
Manuel M T Chakravarty [Mon, 18 Sep 2006 23:15:42 +0000 (23:15 +0000)]
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>
* Check for repeated tyvars in AT family decls
Manuel M T Chakravarty [Mon, 18 Sep 2006 23:00:46 +0000 (23:00 +0000)]
Improve pretty printing for indexed type decls
Wed Aug 16 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Improve pretty printing for indexed type decls
Manuel M T Chakravarty [Mon, 18 Sep 2006 22:55:51 +0000 (22:55 +0000)]
Use family and instance keyword to identify indexed types
Tue Aug 15 20:16:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Use family and instance keyword to identify indexed types
Manuel M T Chakravarty [Mon, 18 Sep 2006 22:53:32 +0000 (22:53 +0000)]
Remove checkTopTypeD
Tue Aug 15 17:02:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove checkTopTypeD
Manuel M T Chakravarty [Mon, 18 Sep 2006 21:50:52 +0000 (21:50 +0000)]
Remove argument variance info of tycons
Fri Aug 11 13:53:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Remove argument variance info of tycons
- Following SPJ's suggestion, this patch removes the variance information from
type constructors. This information was computed, but never used.
** WARNING: This patch changes the format of interface files **
** You will need to rebuild from scratch. **
Manuel M T Chakravarty [Mon, 18 Sep 2006 21:46:52 +0000 (21:46 +0000)]
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>
* Don't lift ATs out of classes and instances before tc
Manuel M T Chakravarty [Mon, 18 Sep 2006 21:40:32 +0000 (21:40 +0000)]
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>
* Indexed type defs are not declaring type names
Manuel M T Chakravarty [Mon, 18 Sep 2006 21:26:11 +0000 (21:26 +0000)]
Deriving Eq for OverlapFlag again
Mon Aug 7 11:15:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Deriving Eq for OverlapFlag again
Manuel M T Chakravarty [Mon, 18 Sep 2006 21:04:58 +0000 (21:04 +0000)]
fix out-of-scope variable
Sun Aug 6 20:09:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix out-of-scope variable
Fri Jul 28 13:40:36 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Mon, 18 Sep 2006 20:40:38 +0000 (20:40 +0000)]
GADT pattern matching fix
Sun Aug 6 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* GADT pattern matching fix
Wed Jul 19 10:53:09 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Mon, 18 Sep 2006 18:46:21 +0000 (18:46 +0000)]
Simplify mkDataCon slightly
Sat Aug 5 21:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Simplify mkDataCon slightly
Fri Jul 14 12:48:50 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Mon, 18 Sep 2006 18:16:21 +0000 (18:16 +0000)]
Partial changes for derived newtype instances
Sat Aug 5 21:16:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Partial changes for derived newtype instances
Fri Jul 7 05:45:15 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Mon, 18 Sep 2006 18:13:17 +0000 (18:13 +0000)]
Massive patch for the first months work adding System FC to GHC #3
Fri Aug 4 15:21:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #3
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Mon, 18 Sep 2006 18:10:54 +0000 (18:10 +0000)]
Massive patch for the first months work adding System FC to GHC #1
Fri Aug 4 15:11:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #1
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:33:31 +0000 (21:33 +0000)]
Massive patch for the first months work adding System FC to GHC #31
Fri Aug 4 18:13:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #31
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:24:58 +0000 (21:24 +0000)]
Massive patch for the first months work adding System FC to GHC #30
Fri Aug 4 18:13:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #30
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:19:18 +0000 (21:19 +0000)]
Massive patch for the first months work adding System FC to GHC #14
Fri Aug 4 15:59:09 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Massive patch for the first months work adding System FC to GHC #14
Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come. A compiler
using just this patch will fail dismally.
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:04:28 +0000 (21:04 +0000)]
Added error checks & fixed bugs
Thu Aug 3 19:29:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Added error checks & fixed bugs
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:02:06 +0000 (21:02 +0000)]
Fix class construction
Wed Aug 2 13:34:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix class construction
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:01:06 +0000 (21:01 +0000)]
Renaming of indexed types
Tue Aug 1 23:51:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Renaming of indexed types
Manuel M T Chakravarty [Fri, 15 Sep 2006 21:00:10 +0000 (21:00 +0000)]
Renaming of kind signatures (rnTySig)
Tue Aug 1 16:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Renaming of kind signatures (rnTySig)
Manuel M T Chakravarty [Fri, 15 Sep 2006 20:54:39 +0000 (20:54 +0000)]
Revised kind signatures
Tue Aug 1 14:10:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Revised kind signatures
Manuel M T Chakravarty [Fri, 15 Sep 2006 20:51:54 +0000 (20:51 +0000)]
Cleanup (re type function parsing)
Mon Jul 31 17:20:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Cleanup (re type function parsing)
Manuel M T Chakravarty [Fri, 15 Sep 2006 20:49:30 +0000 (20:49 +0000)]
Parser support for assoc synonyms
Fri Jul 28 21:52:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Parser support for assoc synonyms
Manuel M T Chakravarty [Fri, 15 Sep 2006 20:45:37 +0000 (20:45 +0000)]
Fix migrated AT support
Wed Jul 26 18:16:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Fix migrated AT support
- Make it compile
- Successfully parses and renames simple AT declarations
- Should not affect non-AT programs
Manuel M T Chakravarty [Fri, 15 Sep 2006 20:43:38 +0000 (20:43 +0000)]
Migrate cvs diff from fptools-assoc branch
Wed Jul 26 17:46:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Migrate cvs diff from fptools-assoc branch
- Syntactic support for associated types
- Renamer support for associated types
- ATs are only allowed with -fglasgow-exts
- Handle ATs in the type and class declaration kinding knot-tying exercise
simonpj@microsoft.com [Wed, 6 Sep 2006 11:42:23 +0000 (11:42 +0000)]
Comment on the commoning up of CoPats in Match
simonpj@microsoft.com [Wed, 6 Sep 2006 11:41:55 +0000 (11:41 +0000)]
Add comment for the invariant that DataAlt is never a newtype
projects / ghc-hetmet.git / log