simonpj@microsoft.com [Fri, 22 Sep 2006 19:03:07 +0000 (19:03 +0000)]
Remove use of isVanillaDataCon, which was wrong under the new FC dispensation
simonpj@microsoft.com [Fri, 22 Sep 2006 19:02:19 +0000 (19:02 +0000)]
Trim imports, reformatting
simonpj@microsoft.com [Fri, 22 Sep 2006 18:57:11 +0000 (18:57 +0000)]
Add a crucial missing prime in tcConPat
This fixes a typo -- a missing prime in tcConPat.
The test is gadt18.
While modifying TcPat I also trimmed imports, fixed non-exhaustive
patterns, and improved tracing.
sven.panne@aedion.de [Sat, 23 Sep 2006 16:24:08 +0000 (16:24 +0000)]
64bit fixes for the symbol lookup table
audreyt@audreyt.org [Sat, 23 Sep 2006 05:28:15 +0000 (05:28 +0000)]
In ByteCodeGen, correctly passthru AnnCast in all relevant places, so the previous band-aid fix is no longer needed.
audreyt@audreyt.org [Sat, 23 Sep 2006 05:09:29 +0000 (05:09 +0000)]
Add explicit eta-reduction to GHCI's schemeE such that deriving Typeable won't panick.
audreyt@audreyt.org [Fri, 22 Sep 2006 04:06:18 +0000 (04:06 +0000)]
Repair "ghci" under FC+AT by handling AnnCast in bytecode generator.
Manuel M T Chakravarty [Thu, 21 Sep 2006 21:00:29 +0000 (21:00 +0000)]
Fix Linker import when BREAKPOINT is off
Manuel M T Chakravarty [Thu, 21 Sep 2006 16:14:00 +0000 (16:14 +0000)]
Extend IfaceSyn.eqIfTc to cover type kind variants from FC
Don Stewart [Thu, 21 Sep 2006 01:01:55 +0000 (01:01 +0000)]
Use --export-dynamic to ensure ghci works on newer openbsds
Changes to the RTLD_DEFAULT semantics broke the trick we used to ensure
libc symbols were available to the ghci linker, in OpenBSD 4.0. We can
fix this by linking the ghc binary itself with --export-dynamic on this
system, removing the need for any magic Linker.c games.
GHCi now works on OpenBSD 4.0
Contributed by Eric Mertens <emertens at gmail.com>
audreyt@audreyt.org [Thu, 21 Sep 2006 01:25:31 +0000 (01:25 +0000)]
* TypeRep.lhs and TypeRep.lhs-boot didn't agree on their signatures (SuperKind vs Kind)
audreyt@audreyt.org [Thu, 21 Sep 2006 01:13:56 +0000 (01:13 +0000)]
* Fix stray comma in HsTypes.lhs's import line.
Manuel M T Chakravarty [Wed, 20 Sep 2006 20:48:05 +0000 (20:48 +0000)]
Correct substitution into theta types (after merge)
Manuel M T Chakravarty [Wed, 20 Sep 2006 20:47:44 +0000 (20:47 +0000)]
Fix import list of TcTyClsDecls after merge
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.
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
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
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
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
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
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
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! ***
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
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.
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
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).
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! ***
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)
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
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. ***
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
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.
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
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
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
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
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
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).
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)
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.
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! **
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)
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
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. **
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
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
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
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
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
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).
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
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
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
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
Manuel M T Chakravarty [Wed, 20 Sep 2006 18:26:27 +0000 (18:26 +0000)]
TAG HEAD merge 6 Aug 06 completed
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:38:56 +0000 (17:38 +0000)]
fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Mon Sep 18 14:51:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Sat Aug 5 21:48:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix some coercion kind representation things, extend exprIsConApp_maybe to non-vanilla
Wed Jul 19 08:06:28 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:38:27 +0000 (17:38 +0000)]
fixed bug in product unboxing
Mon Sep 18 14:48:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fixed bug in product unboxing
Sat Aug 5 21:46:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fixed bug in product unboxing
Mon Jul 17 09:10:34 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:37:24 +0000 (17:37 +0000)]
finished product unboxing through newtypes and proper demand analysis of newtypes
Mon Sep 18 14:48:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* finished product unboxing through newtypes and proper demand analysis of newtypes
Sat Aug 5 21:45:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* finished product unboxing through newtypes and proper demand analysis of newtypes
Mon Jul 17 06:52:11 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:36:49 +0000 (17:36 +0000)]
Comment
Mon Sep 18 14:47:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comment
Sat Aug 5 21:44:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Comment
Fri Jul 14 12:49:37 EDT 2006 simonpj@microsoft.com
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:35:26 +0000 (17:35 +0000)]
towards unboxing through newtypes
Mon Sep 18 14:44:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* towards unboxing through newtypes
Sat Aug 5 21:42:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* towards unboxing through newtypes
Fri Jul 14 12:02:32 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:34:25 +0000 (17:34 +0000)]
fix out-of-scope vars
Mon Sep 18 14:44:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix out-of-scope vars
Sat Aug 5 21:41:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* fix out-of-scope vars
Thu Jul 13 04:27:42 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 17:05:28 +0000 (17:05 +0000)]
Complete the evidence generation for GADTs
Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete the evidence generation for GADTs
Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Complete the evidence generation for GADTs
Thu Jul 13 17:18:07 EDT 2006 simonpj@microsoft.com
This patch completes FC evidence generation for GADTs.
It doesn't work properly yet, because part of the compiler thinks
(t1 :=: t2) => t3
is represented with FunTy/PredTy, while the rest thinks it's represented
using ForAllTy. Once that's done things should start to work.
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:59:58 +0000 (16:59 +0000)]
bugs
Mon Sep 18 14:34:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* bugs
Sat Aug 5 21:36:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* bugs
Thu Jul 13 04:20:58 EDT 2006 kevind@bu.edu
Manuel M T Chakravarty [Wed, 20 Sep 2006 16:58:51 +0000 (16:58 +0000)]
some bug-fixes, newtype deriving might work now
Mon Sep 18 14:33:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* some bug-fixes, newtype deriving might work now
Sat Aug 5 21:29:28 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* some bug-fixes, newtype deriving might work now
Tue Jul 11 12:16:13 EDT 2006 kevind@bu.edu