summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* fix some GADT record selector bugs (still some remaining)Manuel M T Chakravarty2006-09-202-6/+17
| | | | | | | | 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
* clean up Coercion kinding functions, rename coercionKindTyConAppManuel M T Chakravarty2006-09-203-6/+6
| | | | | | | | 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
* Better pretty printing for CoPatManuel M T Chakravarty2006-09-202-2/+4
| | | | | | | | 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
* Make data con wrappers for GADTs express the user type directlyManuel M T Chakravarty2006-09-201-16/+23
| | | | | | | | 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
* Comments onlyManuel M T Chakravarty2006-09-202-3/+8
| | | | | | | | 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
* fix bugs, add boolean flag to identify coercion variablesManuel M T Chakravarty2006-09-2010-27/+64
| | | | | | | | 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
* fix some coercion kind representation things, extend exprIsConApp_maybe to ↵Manuel M T Chakravarty2006-09-2010-30/+86
| | | | | | | | | | 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
* fixed bug in product unboxingManuel M T Chakravarty2006-09-202-1/+2
| | | | | | | | 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
* finished product unboxing through newtypes and proper demand analysis of ↵Manuel M T Chakravarty2006-09-202-27/+23
| | | | | | | | | | 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
* CommentManuel M T Chakravarty2006-09-201-0/+3
| | | | | | | | 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
* towards unboxing through newtypesManuel M T Chakravarty2006-09-206-54/+139
| | | | | | | | 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
* fix out-of-scope varsManuel M T Chakravarty2006-09-201-1/+2
| | | | | | | | 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
* Complete the evidence generation for GADTsManuel M T Chakravarty2006-09-2021-210/+263
| | | | | | | | | | | | | | | 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.
* bugsManuel M T Chakravarty2006-09-202-2/+2
| | | | | | | | 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
* some bug-fixes, newtype deriving might work nowManuel M T Chakravarty2006-09-208-26/+52
| | | | | | | | 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
* newtype deriving still not workingManuel M T Chakravarty2006-09-203-14/+22
| | | | | | | | 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
* newtype deriving dicts, compiling at leastManuel M T Chakravarty2006-09-201-61/+34
| | | | | | | | 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
* ..and a bit moreManuel M T Chakravarty2006-09-201-38/+0
| | | | | | | | 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
* More on newtype derivingManuel M T Chakravarty2006-09-201-20/+32
| | | | | | | | 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
* towards newtype deriving dictsManuel M T Chakravarty2006-09-204-35/+58
| | | | | | | | 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
* newtype fixes, coercions for non-recursive newtypes now optionalManuel M T Chakravarty2006-09-2020-95/+117
| | | | | | | | 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
* Massive patch for the first months work adding System FC to GHC #34Manuel M T Chakravarty2006-09-2020-742/+832
| | | | | | | | | | | | | 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.
* Remove mi_package from moved pprModIfaceManuel M T Chakravarty2006-09-201-3/+0
| | | | | Mon Aug 7 12:40:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Remove mi_package from moved pprModIface
* Massive patch for the first months work adding System FC to GHC #20Manuel M T Chakravarty2006-09-201-18/+144
| | | | | | | | | | | 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.
* Adapt Simplify to conditional envsManuel M T Chakravarty2006-09-191-3/+7
|
* Adapt TcRnDriver to moved tyThingToIfaceDeclManuel M T Chakravarty2006-09-192-2/+5
|
* Adapt SimplUtils.getContArgs to conditional SubstEnvManuel M T Chakravarty2006-09-191-1/+3
|
* Adapt new SpecConstr functionality to GADT dataconsManuel M T Chakravarty2006-09-191-2/+3
|
* Type tags in import/export listsManuel M T Chakravarty2006-09-183-35/+61
| | | | | | | 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
* comment for getLocalDeclBindersManuel M T Chakravarty2006-09-181-8/+11
| | | | | Sat Sep 9 20:46:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * comment for getLocalDeclBinders
* Check for repeated tyvars in AT family declsManuel M T Chakravarty2006-09-181-3/+24
| | | | | 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
* Improve pretty printing for indexed type declsManuel M T Chakravarty2006-09-181-9/+15
| | | | | Wed Aug 16 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Improve pretty printing for indexed type decls
* Use family and instance keyword to identify indexed typesManuel M T Chakravarty2006-09-183-74/+94
| | | | | 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
* Remove checkTopTypeDManuel M T Chakravarty2006-09-182-19/+1
| | | | | Tue Aug 15 17:02:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Remove checkTopTypeD
* Remove argument variance info of tyconsManuel M T Chakravarty2006-09-1812-316/+131
| | | | | | | | | | 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. **
* Don't lift ATs out of classes and instances before tcManuel M T Chakravarty2006-09-182-26/+14
| | | | | 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
* Indexed type defs are not declaring type namesManuel M T Chakravarty2006-09-181-2/+3
| | | | | 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
* Deriving Eq for OverlapFlag againManuel M T Chakravarty2006-09-181-0/+1
| | | | | Mon Aug 7 11:15:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Deriving Eq for OverlapFlag again
* fix out-of-scope variableManuel M T Chakravarty2006-09-182-2/+2
| | | | | | 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
* GADT pattern matching fixManuel M T Chakravarty2006-09-182-4/+5
| | | | | | 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
* Simplify mkDataCon slightlyManuel M T Chakravarty2006-09-181-3/+5
| | | | | | 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
* Partial changes for derived newtype instancesManuel M T Chakravarty2006-09-184-46/+92
| | | | | | 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
* Massive patch for the first months work adding System FC to GHC #3Manuel M T Chakravarty2006-09-182-47/+99
| | | | | | | | | | | 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.
* Massive patch for the first months work adding System FC to GHC #1Manuel M T Chakravarty2006-09-187-141/+334
| | | | | | | | | | 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.
* Massive patch for the first months work adding System FC to GHC #31Manuel M T Chakravarty2006-09-153-25/+11
| | | | | | | | | | | 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.
* Massive patch for the first months work adding System FC to GHC #30Manuel M T Chakravarty2006-09-158-233/+182
| | | | | | | | | | | 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.
* Massive patch for the first months work adding System FC to GHC #14Manuel M T Chakravarty2006-09-157-93/+90
| | | | | | | | | | | 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.
* Added error checks & fixed bugsManuel M T Chakravarty2006-09-155-20/+51
| | | | | Thu Aug 3 19:29:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Added error checks & fixed bugs
* Fix class constructionManuel M T Chakravarty2006-09-151-3/+3
| | | | | Wed Aug 2 13:34:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Fix class construction
* Renaming of indexed typesManuel M T Chakravarty2006-09-153-67/+104
| | | | | Tue Aug 1 23:51:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Renaming of indexed types
View Lorry Controller Status