ghc.git
12 years agoCorrect substitution into theta types (after merge) After_FC_branch_merge
Manuel M T Chakravarty [Wed, 20 Sep 2006 20:48:05 +0000 (20:48 +0000)] 
Correct substitution into theta types (after merge)

12 years agoFix import list of TcTyClsDecls after merge
Manuel M T Chakravarty [Wed, 20 Sep 2006 20:47:44 +0000 (20:47 +0000)] 
Fix import list of TcTyClsDecls after merge

12 years agoAdding FamInstEnv & FamInst modules
Manuel M T Chakravarty [Wed, 20 Sep 2006 20:17:27 +0000 (20:17 +0000)] 
Adding FamInstEnv & FamInst modules
- They got lost during manual patching, as they are file additions.

12 years agoAdapt FC-code in TcUnify to pre-subsumption
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:57:19 +0000 (18:57 +0000)] 
Adapt FC-code in TcUnify to pre-subsumption
Wed Sep 20 04:01:18 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Adapt FC-code in TcUnify to pre-subsumption

12 years agoSome more ASSERTs
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:54:32 +0000 (18:54 +0000)] 
Some more ASSERTs
Wed Sep 20 02:52:00 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Some more ASSERTs

12 years agoSPJ's fix to resolve conflict in instFun
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:52:40 +0000 (18:52 +0000)] 
SPJ's fix to resolve conflict in instFun
Wed Sep 20 02:27:26 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * SPJ's fix to resolve conflict in instFun

12 years agoAdjust code from manual merges
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:51:09 +0000 (18:51 +0000)] 
Adjust code from manual merges
Tue Sep 19 14:12:36 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Adjust code from manual merges

12 years agoAdapt TcFix imports
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:50:41 +0000 (18:50 +0000)] 
Adapt TcFix imports
Tue Sep 19 14:11:55 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Adapt TcFix imports

12 years agoBasic set up for global family instance environment
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:50:19 +0000 (18:50 +0000)] 
Basic set up for global family instance environment
Mon Sep 18 19:52:34 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Basic set up for global family instance environment
  Fri Sep 15 15:20:44 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Basic set up for global family instance environment

12 years agoImport/export of data constructors in family instances
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:49:53 +0000 (18:49 +0000)] 
Import/export of data constructors in family instances
Mon Sep 18 19:50:42 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Import/export of data constructors in family instances
  Tue Sep 12 13:54:37 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Import/export of data constructors in family instances
    - Data constructors of a data/newtype family F can be exported and imported
      by writing F(..) or F(ConName).
    - This appears the most natural from a user's persepctive - although, it has a
      slightly different flavour than similar import/exports items for closed data
      types.  The data constructors denoted by F(..) vary in dependence on the
      visible data instances.
    - This has been non-trivial to achieve as RnNames derives its knowledge of what
      sub-binders an F(..) item exports/imports from the relation specified by
      Name.nameParent - ie, the constructors of a data/newtype instance need to
      have the family name (not the internal name of the representation tycon) as
      their parent.

    *** WARNING: This patched changes the iface format! ***
    ***          Please re-compile from scratch!     ***

12 years agoUse smart lookup for tycons
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:49:34 +0000 (18:49 +0000)] 
Use smart lookup for tycons
Mon Sep 18 19:49:35 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Use smart lookup for tycons
  Tue Sep 12 12:55:10 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Use smart lookup for tycons

12 years agoFix type checking of imported data instances
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:49:15 +0000 (18:49 +0000)] 
Fix type checking of imported data instances
Mon Sep 18 19:48:41 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix type checking of imported data instances
  Mon Sep 11 20:06:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix type checking of imported data instances
    - When reading a data/newtype instance from an interface, the data constructors
      have their own universals that do not necessarily match up with their tycon's
      type parameters.  (Whereas when type checking source, they are always the
      same.)
    - Hence, we need to be careful when building the wrapper signature of imported
      data constructors from data/newtype instances, and rename the type variables
      in the instance types appropriately.

12 years agoFix category of representation tycon
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:48:59 +0000 (18:48 +0000)] 
Fix category of representation tycon
Mon Sep 18 19:48:00 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix category of representation tycon
  Mon Sep 11 16:18:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix category of representation tycon

12 years agoOption -findexed-types
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:48:42 +0000 (18:48 +0000)] 
Option -findexed-types
Mon Sep 18 19:42:48 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Option -findexed-types
  Fri Sep  8 21:35:37 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Option -findexed-types
    - Introduced the switch -findexed-types to activate the indexed type family
      framework.
    - The switch enables the special 'family' and allows kind signatures (which are
      currently compulsory for associated families).

12 years agoGet of fam inst index in ifaces
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:48:02 +0000 (18:48 +0000)] 
Get of fam inst index in ifaces
Mon Sep 18 19:40:42 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Get of fam inst index in ifaces
  Fri Sep  8 16:31:26 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Get of fam inst index in ifaces
    - Removes the explicit index to get unique names for derived tycons for family
      instances again, following a suggestion by SPJ.
    - We now derive the coercion tycon name from the name of the representation
      tycon, which is in the iface anyways.

    *** WARNING: Change of interface file format! ***
    ***          Recompile from scratch!          ***

12 years agoClean up and refactor in SimplUtils.mkCase1 (identity case)
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:47:12 +0000 (18:47 +0000)] 
Clean up and refactor in SimplUtils.mkCase1 (identity case)
Mon Sep 18 19:40:05 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Clean up and refactor in SimplUtils.mkCase1 (identity case)
  Wed Sep  6 07:42:45 EDT 2006  simonpj@microsoft.com
    * Clean up and refactor in SimplUtils.mkCase1 (identity case)

12 years agoATs are now implicitTyThings
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:46:45 +0000 (18:46 +0000)] 
ATs are now implicitTyThings
Mon Sep 18 19:36:03 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * ATs are now implicitTyThings
  Tue Sep  5 21:09:54 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * ATs are now implicitTyThings

12 years agoStraightened out implicit coercions for indexed types
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:44:04 +0000 (18:44 +0000)] 
Straightened out implicit coercions for indexed types
Mon Sep 18 19:35:24 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Straightened out implicit coercions for indexed types
  Mon Sep  4 23:46:14 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Straightened out implicit coercions for indexed types
    - HscTypes.implicitTyThings and LoadIface.ifaceDeclSubBndrs now
      include the coercion of indexed data/newtypes.
    - Name generation for the internal names of indexed data/newtypes now uses
      the same counter that generates the dfun unique indexes (ie, class and type
      instances are counted with the one counter).  We could make this two
      separate counters if that's what's preferred.
    - The unique index of a data/newtype instances needs to go into the iface, so
      that we can generate the same names on slurping in the iface as when the
      original module was generated.  This is a bit yucky, but I don't see a way
      to avoid that (other than putting the full blown internal tycon name and
      coercion name into the iface, which IMHO would be worse).
    - The predicate for when a datacon has a wrapper didn't take GADT
      equations nor whether it comes froma  family instance into account.

    *** WARNING!  This patch changed the interface file format. ***
    ***           Please recompile from scratch.                ***

12 years agoFixed two bugs concerning fanilies
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:41:03 +0000 (18:41 +0000)] 
Fixed two bugs concerning fanilies
Mon Sep 18 19:34:38 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fixed two bugs concerning fanilies
  Mon Sep  4 20:59:49 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fixed two bugs concerning fanilies

12 years agoIndexed newtypes
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:40:35 +0000 (18:40 +0000)] 
Indexed newtypes
Mon Sep 18 19:24:27 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Indexed newtypes
  Thu Aug 31 22:09:21 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Indexed newtypes
    - This patch makes indexed newtypes work
    - Only lightly tested
    - We need to distinguish between open and closed newtypes in a number of
      places, because looking through newtypes doesn't work easily for open ones.

12 years agoCheck category of type instances and some newtype family fixes
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:40:13 +0000 (18:40 +0000)] 
Check category of type instances and some newtype family fixes
Mon Sep 18 19:23:39 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Check category of type instances and some newtype family fixes
  Thu Aug 31 16:54:14 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Check category of type instances and some newtype family fixes

12 years agoBetter error message for indexes that must be variables
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:39:52 +0000 (18:39 +0000)] 
Better error message for indexes that must be variables
Mon Sep 18 19:19:10 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Better error message for indexes that must be variables
  Wed Aug 30 20:21:33 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Better error message for indexes that must be variables

12 years agoChecking conformance of AT indexes with instance heads
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:39:37 +0000 (18:39 +0000)] 
Checking conformance of AT indexes with instance heads
Mon Sep 18 19:18:18 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Checking conformance of AT indexes with instance heads
  Wed Aug 30 20:13:52 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Checking conformance of AT indexes with instance heads

12 years agoWarn of missing ATs and complain about bad ATs
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:38:51 +0000 (18:38 +0000)] 
Warn of missing ATs and complain about bad ATs
Mon Sep 18 19:17:18 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Warn of missing ATs and complain about bad ATs
  Mon Aug 28 22:26:22 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Warn of missing ATs and complain about bad ATs

12 years agoCheck that AT instance is in a class
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:38:35 +0000 (18:38 +0000)] 
Check that AT instance is in a class
Mon Sep 18 19:16:40 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Check that AT instance is in a class
  Sat Aug 26 21:49:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Check that AT instance is in a class

12 years agoKind sig for toplevel family decls is optional
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:38:13 +0000 (18:38 +0000)] 
Kind sig for toplevel family decls is optional
Mon Sep 18 19:13:47 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Kind sig for toplevel family decls is optional
  Sat Aug 26 19:03:50 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Kind sig for toplevel family decls is optional
    - Kind sigs are still compulsory for AT family decls.  Changing this is more
      tricky, as AT decls don't have the family keyword and hence look like empty
      data decls.  That impacts reduce/reduce conflicts and/or the criteria for
      checking whether a TyData variant is a family signature.
    - Also removed iso from the syntax (it's still in the lexer in case we want to
      resurrect it).

12 years agoFixed bug in coercion for indexed data types
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:37:42 +0000 (18:37 +0000)] 
Fixed bug in coercion for indexed data types
Mon Sep 18 19:12:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fixed bug in coercion for indexed data types
  Fri Aug 25 16:45:29 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fixed bug in coercion for indexed data types
    - Significant examples are starting to work; eg, generic finite maps:

    class GMapKey k where
      data GMap k :: * -> *
      empty       :: GMap k v
      lookup      :: k -> GMap k v -> Maybe v
      insert      :: k -> v -> GMap k v -> GMap k v

    instance GMapKey Int where
      data GMap Int v        = GMapInt (Map.Map Int v)
      empty                  = GMapInt Map.empty
      lookup k (GMapInt m)   = Map.lookup k m
      insert k v (GMapInt m) = GMapInt (Map.insert k v m)

    instance GMapKey Char where
      data GMap Char v        = GMapChar (GMap Int v)
      empty                   = GMapChar empty
      lookup k (GMapChar m)   = lookup (ord k) m
      insert k v (GMapChar m) = GMapChar (insert (ord k) v m)

    instance GMapKey () where
      data GMap () v           = GMapUnit (Maybe v)
      empty                    = GMapUnit Nothing
      lookup () (GMapUnit v)   = v
      insert () v (GMapUnit _) = GMapUnit $ Just v

    instance (GMapKey a, GMapKey b) => GMapKey (a, b) where
      data GMap (a, b) v            = GMapPair (GMap a (GMap b v))
      empty                 = GMapPair empty
      lookup (a, b) (GMapPair gm)   = lookup a gm >>= lookup b
      insert (a, b) v (GMapPair gm) = GMapPair $ case lookup a gm of
         Nothing  -> insert a (insert b v empty) gm
         Just gm2 -> insert a (insert b v gm2  ) gm

    instance (GMapKey a, GMapKey b) => GMapKey (Either a b) where
      data GMap (Either a b) v                = GMapEither (GMap a v) (GMap b v)
      empty                                   = GMapEither empty empty
      lookup (Left  a) (GMapEither gm1  _gm2) = lookup a gm1
      lookup (Right b) (GMapEither _gm1 gm2 ) = lookup b gm2
      insert (Left  a) v (GMapEither gm1 gm2) = GMapEither (insert a v gm1) gm2
      insert (Right a) v (GMapEither gm1 gm2) = GMapEither gm1 (insert a v gm2)

12 years agoPattern matching of indexed data types
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:37:17 +0000 (18:37 +0000)] 
Pattern matching of indexed data types
Mon Sep 18 19:11:24 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Pattern matching of indexed data types
  Thu Aug 24 14:17:44 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Pattern matching of indexed data types
    - This patch is the last major puzzle piece to type check and desugar indexed
      data types (both toplevel and associated with a class).
    - However, it needs more testing - esp wrt to accumlating CoPats - and some
      static sanity checks for data instance declarations are still missing.
    - There are now two detailed notes in MkIds and TcPat on how the worker/wrapper
      and coercion story for indexed data types works.

12 years agoIntroduce coercions for data instance decls
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:36:46 +0000 (18:36 +0000)] 
Introduce coercions for data instance decls
Mon Sep 18 19:07:30 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Introduce coercions for data instance decls
  Tue Aug 22 20:33:46 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Introduce coercions for data instance decls
    - data instance declarations implicitly generate a coercion moving between the
      representation type and family instance type.
    - The coercion is *implicitly* generated when type checking both source and
      ifaces.  Ie, we don't safe it in ifaces - this is really exactly as newtype
      coercions are handled.
    - The previous addition of the instance types to DataCons has been moved to
      the representation TyCon.  This is more efficient as it is shared between all
      constructors of one representation tycon and it also gathers everything about
      data instances (family tycon, instance types, and coercion) in one place: the
      algTcParent field of TyCon.
    - The coercion is already used in the datacon wrappers, but not yet during type
      checking pattern matching of indexed data types.
    - The code has only been lightly tested, but doesn't seem to break features not
      related to indexed types.  For indexed data types only the pattern matching
      tc code (in TcPat.tcConPat) and some well-formedness checks are still
      missing.  And there will surely be some bugs to fix.  (newtypes still require
      some more work.)

        ** WARNING: Interface file format changed! **
        **          Recompile from scratch!        **

12 years agoFixed two data family bugs
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:36:27 +0000 (18:36 +0000)] 
Fixed two data family bugs
Mon Sep 18 19:06:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fixed two data family bugs
  Mon Aug 21 15:16:16 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fixed two data family bugs
    - Too liberal pattern matching in `tcTyClDecl1'
    - Open TyCons must always be exposed (ie, never be turned into abstract tycons
      during tidying)

12 years agoFix the tyvars used for data con signatures
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:36:11 +0000 (18:36 +0000)] 
Fix the tyvars used for data con signatures
Mon Sep 18 19:06:12 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix the tyvars used for data con signatures
  Sat Aug 19 17:19:25 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix the tyvars used for data con signatures

12 years agoExtend TyCons and DataCons to represent data instance decls
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:35:34 +0000 (18:35 +0000)] 
Extend TyCons and DataCons to represent data instance decls
Mon Sep 18 19:05:18 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Extend TyCons and DataCons to represent data instance decls
  Fri Aug 18 19:11:37 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Extend TyCons and DataCons to represent data instance decls
    - This is a faily involved patch, but it is not entirely complete:
      + The data con wrapper code for instance data cons needs to apply the
        coercions (which we still have to generate).
      + There are still bugs, but it doesn't seem to affect the compilation of
        code that doesn't use type families.

    ** WARNING: Yet another change of the iface format.  **
    **          Recompile everything.                    **

12 years agoFix TcSplice after some type family related changes
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:35:18 +0000 (18:35 +0000)] 
Fix TcSplice after some type family related changes
Mon Sep 18 19:04:12 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix TcSplice after some type family related changes
  Wed Aug 16 19:51:27 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix TcSplice after some type family related changes

12 years agoMake sure ATs are included into the temporary env for tc knot tying
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:35:03 +0000 (18:35 +0000)] 
Make sure ATs are included into the temporary env for tc knot tying
Mon Sep 18 19:03:31 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Make sure ATs are included into the temporary env for tc knot tying
  Wed Aug 16 17:52:40 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Make sure ATs are included into the temporary env for tc knot tying

12 years agoExtend Class.Class to include the TyCons of ATs
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:34:46 +0000 (18:34 +0000)] 
Extend Class.Class to include the TyCons of ATs
Mon Sep 18 18:58:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Extend Class.Class to include the TyCons of ATs
  Wed Aug 16 16:15:31 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Extend Class.Class to include the TyCons of ATs

12 years agoFix kind lookup in kcIdxTyPats
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:34:23 +0000 (18:34 +0000)] 
Fix kind lookup in kcIdxTyPats
Mon Sep 18 18:58:14 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix kind lookup in kcIdxTyPats
  Tue Aug 15 21:02:34 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix kind lookup in kcIdxTyPats

12 years agoExtended TyCon and friends to represent family declarations
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:34:00 +0000 (18:34 +0000)] 
Extended TyCon and friends to represent family declarations
Mon Sep 18 18:50:35 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Extended TyCon and friends to represent family declarations
  Tue Aug 15 16:52:31 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Extended TyCon and friends to represent family declarations

12 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).

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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.

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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

12 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.

12 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

12 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.

12 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

12 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

12 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