ghc.git
13 years agoKind and type checking of indexed types
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).

13 years agoAnother comment
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

13 years agoAdd missing co_vars to tcIfaceDataAlt
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

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

13 years agoSmall refactoring
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

13 years agoTAG HEAD merge 6 Aug 06 completed
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:26:27 +0000 (18:26 +0000)] 
TAG HEAD merge 6 Aug 06 completed

13 years agoMissing change re additional info in TcTyThing
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

13 years agoComplete OccName->FS change in TcIface
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

13 years agoMissing imports in CoreUtils
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

13 years agoRemoved spurious + due to manual patching
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

13 years agoMakefile comment
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

13 years agoFix newtype deriving bug
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

13 years agoInclude the existential dictionaries in dataConOrigInstPat
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

13 years agoComments about datacon worker and wrappers
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

13 years agoMake newtype Coercion eta-contract if the tails of lhs and rhs match up
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

13 years agoFlip direction of newtype coercions, fix some comments
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

13 years agoChagne newtype wrapper into worker
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

13 years agoClean up unused imports, definitions and arguments
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

13 years agoFix assertion and default case for GADT record selectors
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

13 years agomake dataConInstPat take a list of FastStrings rather than OccNames, remove out-of...
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

13 years agoJust clean-up, no functional changes
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

13 years agoGet rid of special case for Vanilla tycon record selectors and make uniq splitting...
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

13 years agoFix problem with selectors for GADT records with unboxed fields
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

13 years agoMake sym coercion smart constructor smarter, add comments
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

13 years agoRefactoring in TcGadt
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

13 years agoAdd some invariant checking for refinements
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

13 years agoMinor tidying up
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

13 years agoFix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality function...
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

13 years agoRemove bogus ASSERT from MkId
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

13 years agoFix bug in type checking interface DataAlts
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

13 years agofix default case filling-in for GADTs
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

13 years agofix big-lambda eta expansion, add comments
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

13 years agoFix Lint for alts involving shadowing of type variables; add comments
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

13 years agoFix a couple of stage-2 bogosities
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

13 years agofixing record selectors
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

13 years agoGADT selector bugfix, bits of cleanup
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

13 years agofix some GADT record selector bugs (still some remaining)
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

13 years agoclean up Coercion kinding functions, rename coercionKindTyConApp
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

13 years agoBetter pretty printing for CoPat
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

13 years agoMake data con wrappers for GADTs express the user type directly
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

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

13 years agofix bugs, add boolean flag to identify coercion variables
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

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