projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Type checking for type synonym families
2007-08-28
Manuel M T Chakravarty
Type checking for type synonym families
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
Check for correct number of parameters in type instances
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
FIX: family instances for infix type constructors
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
ATs inherit kind annotations from class partameters
commit
|
commitdiff
|
tree
2007-08-19
Manuel M T Chakravarty
Updated comments
commit
|
commitdiff
|
tree
2007-07-18
Manuel M T Chakravarty
darcs-all: allow relative path for repo in local fs
commit
|
commitdiff
|
tree
2007-07-13
Manuel M T Chakravarty
init mg_inst_env when reading ext core
commit
|
commitdiff
|
tree
2007-07-10
Manuel M T Chakravarty
Lookup of class and family instances in vectorisation...
commit
|
commitdiff
|
tree
2007-06-29
Manuel M T Chakravarty
Checking that type indexes contain no synonym family...
commit
|
commitdiff
|
tree
2007-06-29
Manuel M T Chakravarty
RHS of a type instance must be a tau type
commit
|
commitdiff
|
tree
2007-06-29
Manuel M T Chakravarty
Overlap check for type families
commit
|
commitdiff
|
tree
2007-06-27
Manuel M T Chakravarty
Fix names of coercions in newtype instances
commit
|
commitdiff
|
tree
2007-06-27
Manuel M T Chakravarty
Fixed deriving of associated data types
commit
|
commitdiff
|
tree
2007-06-19
Manuel M T Chakravarty
Build package ndp if present
commit
|
commitdiff
|
tree
2007-06-08
Manuel M T Chakravarty
Fix worker/wrapper ids for newtype instances
commit
|
commitdiff
|
tree
2007-06-08
Manuel M T Chakravarty
Fix deriving of indexed data types
commit
|
commitdiff
|
tree
2007-05-22
Manuel M T Chakravarty
Add data type information to VectInfo
commit
|
commitdiff
|
tree
2007-05-15
Manuel M T Chakravarty
Iface representation of synonym family instances
commit
|
commitdiff
|
tree
2007-05-15
Manuel M T Chakravarty
Added -ftype-families to the user's manual
commit
|
commitdiff
|
tree
2007-05-14
Manuel M T Chakravarty
-findexed-types -> -ftype-families
commit
|
commitdiff
|
tree
2007-05-14
Manuel M T Chakravarty
Revised signature of tcLookupFamInst and lookupFamInstEnv
commit
|
commitdiff
|
tree
2007-05-11
Manuel M T Chakravarty
Remove the distinction between data and newtype families
commit
|
commitdiff
|
tree
2007-05-08
Manuel M T Chakravarty
Improved VectInfo
commit
|
commitdiff
|
tree
2007-05-07
Manuel M T Chakravarty
Add VectInfo to HPT
commit
|
commitdiff
|
tree
2007-05-06
Manuel M T Chakravarty
Extend hptInstances to also cover family instances
commit
|
commitdiff
|
tree
2007-05-04
Manuel M T Chakravarty
IfaceVectInfo and propagation through EPS
commit
|
commitdiff
|
tree
2007-05-04
Manuel M T Chakravarty
Added VectInfo to ModGuts
commit
|
commitdiff
|
tree
2007-04-25
Manuel M T Chakravarty
Generating synonym instance representation tycons
commit
|
commitdiff
|
tree
2007-04-02
Manuel M T Chakravarty
Fixed desugaring of parallel array comprehensions
commit
|
commitdiff
|
tree
2007-02-24
Manuel M T Chakravarty
Fix parsing of parallel array literals
commit
|
commitdiff
|
tree
2007-02-23
Manuel M T Chakravarty
Moved argument position info of ATs into tycon rhs...
commit
|
commitdiff
|
tree
2007-01-10
Manuel M T Chakravarty
checkTauTvUpdate: take synonym families into account
commit
|
commitdiff
|
tree
2007-01-09
Manuel M T Chakravarty
Handle synonym families in check_tau_type
commit
|
commitdiff
|
tree
2007-01-05
Manuel M T Chakravarty
HsSyn clean up for indexed types
commit
|
commitdiff
|
tree
2007-01-04
Manuel M T Chakravarty
Fix and improve deriving for indexed data types
commit
|
commitdiff
|
tree
2006-12-29
Manuel M T Chakravarty
Make dicts for arbitrary type equalities
commit
|
commitdiff
|
tree
2006-12-29
Manuel M T Chakravarty
EqPred pretty prints as ~ and equalities without brackets
commit
|
commitdiff
|
tree
2006-12-29
Manuel M T Chakravarty
Construction of EqPred dictionaries
commit
|
commitdiff
|
tree
2006-12-29
Manuel M T Chakravarty
data family declarations are fine without any type...
commit
|
commitdiff
|
tree
2006-12-28
Manuel M T Chakravarty
Parse and desugar equational constraints
commit
|
commitdiff
|
tree
2006-12-21
Manuel M T Chakravarty
Add hook to fam inst consistency check to GHCi/--make
commit
|
commitdiff
|
tree
2006-12-19
Manuel M T Chakravarty
Deriving for indexed newtypes
commit
|
commitdiff
|
tree
2006-12-19
Manuel M T Chakravarty
Fixed uninitialised FunBind fun_tick field
commit
|
commitdiff
|
tree
2006-12-18
Manuel M T Chakravarty
Deriving for indexed data types
commit
|
commitdiff
|
tree
2006-12-07
Manuel M T Chakravarty
Fix family instance consistency check for home package...
commit
|
commitdiff
|
tree
2006-12-06
Manuel M T Chakravarty
Kind sigs in associated data/newtype family decls may...
commit
|
commitdiff
|
tree
2006-10-25
Manuel M T Chakravarty
Add pointer to coding conventions to HACKING
commit
|
commitdiff
|
tree
2006-10-23
Manuel M T Chakravarty
Clean up debugging code in RnNames
commit
|
commitdiff
|
tree
2006-10-22
Manuel M T Chakravarty
Improve error messages for indexed types
commit
|
commitdiff
|
tree
2006-10-22
Manuel M T Chakravarty
Fix handling of family instances in the presense of...
commit
|
commitdiff
|
tree
2006-10-21
Manuel M T Chakravarty
Fix parent position in RnNames.nubAvails
commit
|
commitdiff
|
tree
2006-10-21
Manuel M T Chakravarty
Fix export of associated families with new name parent...
commit
|
commitdiff
|
tree
2006-10-20
Manuel M T Chakravarty
Fix processing of imports involving ATs with the new...
commit
|
commitdiff
|
tree
2006-10-19
Manuel M T Chakravarty
Fix family instance bug due to the name parent elimination
commit
|
commitdiff
|
tree
2006-10-19
Manuel M T Chakravarty
Fix show-iface for family instances & add debug ppr...
commit
|
commitdiff
|
tree
2006-10-18
Manuel M T Chakravarty
Cross-module consistency check for family instances
commit
|
commitdiff
|
tree
2006-10-16
Manuel M T Chakravarty
Stage 2 fix to "Keep track of family instance modules"
commit
|
commitdiff
|
tree
2006-10-13
Manuel M T Chakravarty
Keep track of family instance modules
commit
|
commitdiff
|
tree
2006-10-12
Manuel M T Chakravarty
Overlap check for family instances def'd in current...
commit
|
commitdiff
|
tree
2006-10-10
Manuel M T Chakravarty
Removed unused unwrapFamInstBody from MkId
commit
|
commitdiff
|
tree
2006-10-10
Manuel M T Chakravarty
Rough matches for family instances
commit
|
commitdiff
|
tree
2006-09-21
Manuel M T Chakravarty
Fix Linker import when BREAKPOINT is off
commit
|
commitdiff
|
tree
2006-09-21
Manuel M T Chakravarty
Extend IfaceSyn.eqIfTc to cover type kind variants...
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Correct substitution into theta types (after merge)
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fix import list of TcTyClsDecls after merge
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Adding FamInstEnv & FamInst modules
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Adapt FC-code in TcUnify to pre-subsumption
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Some more ASSERTs
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
SPJ's fix to resolve conflict in instFun
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Adjust code from manual merges
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Adapt TcFix imports
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Basic set up for global family instance environment
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Import/export of data constructors in family instances
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Use smart lookup for tycons
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fix type checking of imported data instances
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fix category of representation tycon
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Option -findexed-types
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Get of fam inst index in ifaces
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Clean up and refactor in SimplUtils.mkCase1 (identity...
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
ATs are now implicitTyThings
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Straightened out implicit coercions for indexed types
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fixed two bugs concerning fanilies
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Indexed newtypes
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Check category of type instances and some newtype family...
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Better error message for indexes that must be variables
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Checking conformance of AT indexes with instance heads
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Warn of missing ATs and complain about bad ATs
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Check that AT instance is in a class
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Kind sig for toplevel family decls is optional
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fixed bug in coercion for indexed data types
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Pattern matching of indexed data types
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Introduce coercions for data instance decls
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fixed two data family bugs
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fix the tyvars used for data con signatures
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Extend TyCons and DataCons to represent data instance...
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fix TcSplice after some type family related changes
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Make sure ATs are included into the temporary env for...
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Extend Class.Class to include the TyCons of ATs
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Fix kind lookup in kcIdxTyPats
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
2006-09-20
Manuel M T Chakravarty
Extended TyCon and friends to represent family declarations
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
...2006 Manuel M T Chakravarty <
chak@cse.unsw.edu.au
>
commit
|
commitdiff
|
tree
next