ghc.git
13 years agofix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
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

13 years agofixed bug in product unboxing
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

13 years agofinished product unboxing through newtypes and proper demand analysis of newtypes
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

13 years agoComment
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

13 years agotowards unboxing through newtypes
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

13 years agofix out-of-scope vars
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

13 years agoComplete the evidence generation for GADTs
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.

13 years agobugs
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

13 years agosome bug-fixes, newtype deriving might work now
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

13 years agonewtype deriving still not working
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

13 years agonewtype deriving dicts, compiling at least
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

13 years ago..and a bit more
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

13 years agoMore on newtype deriving
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

13 years agotowards newtype deriving dicts
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

13 years agonewtype fixes, coercions for non-recursive newtypes now optional
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

13 years agoMassive patch for the first months work adding System FC to GHC #34
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.

13 years agoRemove mi_package from moved pprModIface
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

13 years agoMassive patch for the first months work adding System FC to GHC #20
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.

13 years agoAdapt Simplify to conditional envs
Manuel M T Chakravarty [Tue, 19 Sep 2006 18:10:58 +0000 (18:10 +0000)] 
Adapt Simplify to conditional envs

13 years agoAdapt TcRnDriver to moved tyThingToIfaceDecl
Manuel M T Chakravarty [Tue, 19 Sep 2006 18:09:48 +0000 (18:09 +0000)] 
Adapt TcRnDriver to moved tyThingToIfaceDecl

13 years agoAdapt SimplUtils.getContArgs to conditional SubstEnv
Manuel M T Chakravarty [Tue, 19 Sep 2006 01:25:28 +0000 (01:25 +0000)] 
Adapt SimplUtils.getContArgs to conditional SubstEnv

13 years agoAdapt new SpecConstr functionality to GADT datacons
Manuel M T Chakravarty [Tue, 19 Sep 2006 01:12:43 +0000 (01:12 +0000)] 
Adapt new SpecConstr functionality to GADT datacons

13 years agoType tags in import/export lists
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

13 years agocomment for getLocalDeclBinders
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

13 years agoCheck for repeated tyvars in AT family decls
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

13 years agoImprove pretty printing for indexed type 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

13 years agoUse family and instance keyword to identify indexed types
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

13 years agoRemove checkTopTypeD
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

13 years agoRemove argument variance info of tycons
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.           **

13 years agoDon't lift ATs out of classes and instances before tc
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

13 years agoIndexed type defs are not declaring type names
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

13 years agoDeriving Eq for OverlapFlag again
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

13 years agofix out-of-scope variable
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

13 years agoGADT pattern matching fix
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

13 years agoSimplify mkDataCon slightly
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

13 years agoPartial changes for derived newtype instances
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

13 years agoMassive patch for the first months work adding System FC to GHC #3
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.

13 years agoMassive patch for the first months work adding System FC to GHC #1
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.

13 years agoMassive patch for the first months work adding System FC to GHC #31
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.

13 years agoMassive patch for the first months work adding System FC to GHC #30
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.

13 years agoMassive patch for the first months work adding System FC to GHC #14
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.

13 years agoAdded error checks & fixed bugs
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

13 years agoFix class construction
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

13 years agoRenaming of indexed types
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

13 years agoRenaming of kind signatures (rnTySig)
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)

13 years agoRevised kind signatures
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

13 years agoCleanup (re type function parsing)
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)

13 years agoParser support for assoc synonyms
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

13 years agoFix migrated AT support
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

13 years agoMigrate cvs diff from fptools-assoc branch
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

13 years agoComment on the commoning up of CoPats in Match
simonpj@microsoft.com [Wed, 6 Sep 2006 11:42:23 +0000 (11:42 +0000)] 
Comment on the commoning up of CoPats in Match

13 years agoAdd comment for the invariant that DataAlt is never a newtype
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

13 years agoComments only
simonpj@microsoft.com [Mon, 4 Sep 2006 13:55:13 +0000 (13:55 +0000)] 
Comments only

13 years agoChange ASSERT to WARN
simonpj@microsoft.com [Wed, 9 Aug 2006 08:46:20 +0000 (08:46 +0000)] 
Change ASSERT to WARN

13 years agoOccName->FS in tyThingToIfaceDecl that moved to MkIface
Manuel M T Chakravarty [Mon, 7 Aug 2006 17:38:39 +0000 (17:38 +0000)] 
OccName->FS in tyThingToIfaceDecl that moved to MkIface

13 years agoFix pattern w/o location in Check
Manuel M T Chakravarty [Mon, 7 Aug 2006 17:09:53 +0000 (17:09 +0000)] 
Fix pattern w/o location in Check

13 years agoOccName->FS change over for equalities in GADTs
Manuel M T Chakravarty [Mon, 7 Aug 2006 15:16:34 +0000 (15:16 +0000)] 
OccName->FS change over for equalities in GADTs

13 years agoComments only
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

13 years agoCorrect grevious bug in mkSymCoercion
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

13 years agoGADT tweaks
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

13 years agoConfigure changes to make testsuite work better on MSys
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

13 years agoRemove Control-M from Coercion.hs
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

13 years agoAdd Coercion.lhs
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

13 years agoAdding TcGadt.lhs
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

13 years agoAdd a missing prime, to fix desugaring of CoPats
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

13 years agoComments and tidy-up
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

13 years agoFix a lint bug with coercions
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

13 years agoGADT fixes
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

13 years agoAdd CoPat stuff
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

13 years agoResolve conflict in MkExternalCore
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

13 years agoMassive patch for the first months work adding System FC to GHC #36
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.

13 years agoMassive patch for the first months work adding System FC to GHC #35
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.

13 years agoMassive patch for the first months work adding System FC to GHC #33
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.

13 years agoMassive patch for the first months work adding System FC to GHC #32
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.

13 years agoMassive patch for the first months work adding System FC to GHC #29
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.

13 years agoMassive patch for the first months work adding System FC to GHC #28
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.

13 years agoMassive patch for the first months work adding System FC to GHC #27
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.

13 years agoMassive patch for the first months work adding System FC to GHC #26
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.

13 years agoMassive patch for the first months work adding System FC to GHC #25
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.

13 years agoMassive patch for the first months work adding System FC to GHC #24
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.

13 years agoMassive patch for the first months work adding System FC to GHC #23
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.

13 years agoMassive patch for the first months work adding System FC to GHC #22
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.

13 years agoMassive patch for the first months work adding System FC to GHC #21
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.

13 years agoMassive patch for the first months work adding System FC to GHC #19
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.

13 years agoMassive patch for the first months work adding System FC to GHC #18
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.

13 years agoMassive patch for the first months work adding System FC to GHC #17
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.

13 years agoMassive patch for the first months work adding System FC to GHC #16
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.

13 years agoMassive patch for the first months work adding System FC to GHC #15
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.

13 years agoMassive patch for the first months work adding System FC to GHC #13
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.

13 years agoMassive patch for the first months work adding System FC to GHC #12
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.

13 years agoMassive patch for the first months work adding System FC to GHC #11
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.

13 years agoMassive patch for the first months work adding System FC to GHC #10
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.

13 years agoMassive patch for the first months work adding System FC to GHC #9
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.

13 years agoMassive patch for the first months work adding System FC to GHC #8
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.

13 years agoMassive patch for the first months work adding System FC to GHC #7
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.

13 years agoMassive patch for the first months work adding System FC to GHC #6
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.

13 years agoMassive patch for the first months work adding System FC to GHC #5
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.

13 years agoMassive patch for the first months work adding System FC to GHC #4
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.

13 years agoMassive patch for the first months work adding System FC to GHC #2
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.

13 years agoComments only
simonpj@microsoft.com [Fri, 4 Aug 2006 08:24:03 +0000 (08:24 +0000)] 
Comments only