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
simonpj@microsoft.com [Mon, 4 Sep 2006 13:55:13 +0000 (13:55 +0000)]
Comments only
simonpj@microsoft.com [Wed, 9 Aug 2006 08:46:20 +0000 (08:46 +0000)]
Change ASSERT to WARN
Manuel M T Chakravarty [Mon, 7 Aug 2006 17:38:39 +0000 (17:38 +0000)]
OccName->FS in tyThingToIfaceDecl that moved to MkIface
Manuel M T Chakravarty [Mon, 7 Aug 2006 17:09:53 +0000 (17:09 +0000)]
Fix pattern w/o location in Check
Manuel M T Chakravarty [Mon, 7 Aug 2006 15:16:34 +0000 (15:16 +0000)]
OccName->FS change over for equalities in GADTs
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:46:13 +0000 (00:46 +0000)]
Comments only
Wed Aug 2 05:00:03 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:31:40 +0000 (00:31 +0000)]
Correct grevious bug in mkSymCoercion
Tue Aug 1 08:53:05 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:23:45 +0000 (00:23 +0000)]
GADT tweaks
Mon Jul 31 12:42:07 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:05:18 +0000 (00:05 +0000)]
Configure changes to make testsuite work better on MSys
Fri Jul 28 06:49:35 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Sun, 6 Aug 2006 23:59:25 +0000 (23:59 +0000)]
Remove Control-M from Coercion.hs
Thu Jul 27 04:07:46 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:40:25 +0000 (21:40 +0000)]
Add Coercion.lhs
- Extra patch as diff doesn't capture add files
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:35:23 +0000 (21:35 +0000)]
Adding TcGadt.lhs
- Seperate patch as diff doesn't capture file adds
- Includes the patch:
Wed Jul 26 08:23:35 EDT 2006 simonpj@microsoft.com
Add a missing mkSymCoercion in TcGadt.uVar
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:27:11 +0000 (21:27 +0000)]
Add a missing prime, to fix desugaring of CoPats
Wed Jul 26 08:23:11 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:26:28 +0000 (21:26 +0000)]
Comments and tidy-up
Wed Jul 26 08:22:50 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:21:11 +0000 (21:21 +0000)]
Fix a lint bug with coercions
Wed Jul 26 08:18:25 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:20:26 +0000 (21:20 +0000)]
GADT fixes
Wed Jul 26 06:00:53 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:00:58 +0000 (21:00 +0000)]
Add CoPat stuff
Wed Jul 19 09:55:27 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Sun, 6 Aug 2006 01:10:28 +0000 (01:10 +0000)]
Resolve conflict in MkExternalCore
Thu Jul 6 09:55:27 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:24:36 +0000 (22:24 +0000)]
Massive patch for the first months work adding System FC to GHC #36
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, 4 Aug 2006 22:23:51 +0000 (22:23 +0000)]
Massive patch for the first months work adding System FC to GHC #35
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, 4 Aug 2006 22:14:55 +0000 (22:14 +0000)]
Massive patch for the first months work adding System FC to GHC #33
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, 4 Aug 2006 22:14:23 +0000 (22:14 +0000)]
Massive patch for the first months work adding System FC to GHC #32
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, 4 Aug 2006 22:12:21 +0000 (22:12 +0000)]
Massive patch for the first months work adding System FC to GHC #29
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, 4 Aug 2006 22:11:48 +0000 (22:11 +0000)]
Massive patch for the first months work adding System FC to GHC #28
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, 4 Aug 2006 22:10:01 +0000 (22:10 +0000)]
Massive patch for the first months work adding System FC to GHC #27
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, 4 Aug 2006 22:06:14 +0000 (22:06 +0000)]
Massive patch for the first months work adding System FC to GHC #26
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, 4 Aug 2006 22:05:26 +0000 (22:05 +0000)]
Massive patch for the first months work adding System FC to GHC #25
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, 4 Aug 2006 22:04:23 +0000 (22:04 +0000)]
Massive patch for the first months work adding System FC to GHC #24
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, 4 Aug 2006 21:58:46 +0000 (21:58 +0000)]
Massive patch for the first months work adding System FC to GHC #23
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, 4 Aug 2006 21:56:42 +0000 (21:56 +0000)]
Massive patch for the first months work adding System FC to GHC #22
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, 4 Aug 2006 21:54:14 +0000 (21:54 +0000)]
Massive patch for the first months work adding System FC to GHC #21
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, 4 Aug 2006 21:39:46 +0000 (21:39 +0000)]
Massive patch for the first months work adding System FC to GHC #19
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, 4 Aug 2006 21:36:10 +0000 (21:36 +0000)]
Massive patch for the first months work adding System FC to GHC #18
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, 4 Aug 2006 21:21:40 +0000 (21:21 +0000)]
Massive patch for the first months work adding System FC to GHC #17
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, 4 Aug 2006 21:19:12 +0000 (21:19 +0000)]
Massive patch for the first months work adding System FC to GHC #16
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, 4 Aug 2006 20:01:05 +0000 (20:01 +0000)]
Massive patch for the first months work adding System FC to GHC #15
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, 4 Aug 2006 19:57:34 +0000 (19:57 +0000)]
Massive patch for the first months work adding System FC to GHC #13
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, 4 Aug 2006 19:56:07 +0000 (19:56 +0000)]
Massive patch for the first months work adding System FC to GHC #12
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, 4 Aug 2006 19:54:06 +0000 (19:54 +0000)]
Massive patch for the first months work adding System FC to GHC #11
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, 4 Aug 2006 19:51:45 +0000 (19:51 +0000)]
Massive patch for the first months work adding System FC to GHC #10
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, 4 Aug 2006 19:49:08 +0000 (19:49 +0000)]
Massive patch for the first months work adding System FC to GHC #9
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, 4 Aug 2006 19:39:05 +0000 (19:39 +0000)]
Massive patch for the first months work adding System FC to GHC #8
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, 4 Aug 2006 19:37:19 +0000 (19:37 +0000)]
Massive patch for the first months work adding System FC to GHC #7
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, 4 Aug 2006 19:35:30 +0000 (19:35 +0000)]
Massive patch for the first months work adding System FC to GHC #6
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, 4 Aug 2006 19:24:00 +0000 (19:24 +0000)]
Massive patch for the first months work adding System FC to GHC #5
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, 4 Aug 2006 19:23:02 +0000 (19:23 +0000)]
Massive patch for the first months work adding System FC to GHC #4
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, 4 Aug 2006 19:19:37 +0000 (19:19 +0000)]
Massive patch for the first months work adding System FC to GHC #2
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.
simonpj@microsoft.com [Fri, 4 Aug 2006 08:24:03 +0000 (08:24 +0000)]
Comments only
projects / ghc-hetmet.git / log