projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Better error message for unsolvable equalities
2007-09-03 Manuel M T ChakravartyBetter error message for unsolvable equalities
 commit | commitdiff | tree
2007-08-30 Manuel M T ChakravartyAdded decidability check for type instances
 commit | commitdiff | tree
2007-08-29 Manuel M T ChakravartyFIX: Remove accidential change to darcs-all in type...
commit | commitdiff | tree
2007-08-28 Manuel M T ChakravartyType checking for type synonym families
 commit | commitdiff | tree
2007-08-19 Manuel M T ChakravartyCheck for correct number of parameters in type instances
 commit | commitdiff | tree
2007-08-19 Manuel M T ChakravartyFIX: family instances for infix type constructors
 commit | commitdiff | tree
2007-08-19 Manuel M T ChakravartyATs inherit kind annotations from class partameters
 commit | commitdiff | tree
2007-08-19 Manuel M T ChakravartyUpdated comments
 commit | commitdiff | tree
2007-07-18 Manuel M T Chakravartydarcs-all: allow relative path for repo in local fs
 commit | commitdiff | tree
2007-07-13 Manuel M T Chakravartyinit mg_inst_env when reading ext core
 commit | commitdiff | tree
2007-07-10 Manuel M T ChakravartyLookup of class and family instances in vectorisation...
commit | commitdiff | tree
2007-06-29 Manuel M T ChakravartyChecking that type indexes contain no synonym family...
commit | commitdiff | tree
2007-06-29 Manuel M T ChakravartyRHS of a type instance must be a tau type
 commit | commitdiff | tree
2007-06-29 Manuel M T ChakravartyOverlap check for type families
 commit | commitdiff | tree
2007-06-27 Manuel M T ChakravartyFix names of coercions in newtype instances
 commit | commitdiff | tree
2007-06-27 Manuel M T ChakravartyFixed deriving of associated data types
 commit | commitdiff | tree
2007-06-19 Manuel M T ChakravartyBuild package ndp if present
 commit | commitdiff | tree
2007-06-08 Manuel M T ChakravartyFix worker/wrapper ids for newtype instances
 commit | commitdiff | tree
2007-06-08 Manuel M T ChakravartyFix deriving of indexed data types
 commit | commitdiff | tree
2007-05-22 Manuel M T ChakravartyAdd data type information to VectInfo
 commit | commitdiff | tree
2007-05-15 Manuel M T ChakravartyIface representation of synonym family instances
 commit | commitdiff | tree
2007-05-15 Manuel M T ChakravartyAdded -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 ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv
 commit | commitdiff | tree
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families
 commit | commitdiff | tree
2007-05-08 Manuel M T ChakravartyImproved VectInfo
 commit | commitdiff | tree
2007-05-07 Manuel M T ChakravartyAdd VectInfo to HPT
 commit | commitdiff | tree
2007-05-06 Manuel M T ChakravartyExtend hptInstances to also cover family instances
 commit | commitdiff | tree
2007-05-04 Manuel M T ChakravartyIfaceVectInfo and propagation through EPS
 commit | commitdiff | tree
2007-05-04 Manuel M T ChakravartyAdded VectInfo to ModGuts
 commit | commitdiff | tree
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons
 commit | commitdiff | tree
2007-04-02 Manuel M T ChakravartyFixed desugaring of parallel array comprehensions
 commit | commitdiff | tree
2007-02-24 Manuel M T ChakravartyFix parsing of parallel array literals
 commit | commitdiff | tree
2007-02-23 Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs...
commit | commitdiff | tree
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account
 commit | commitdiff | tree
2007-01-09 Manuel M T ChakravartyHandle synonym families in check_tau_type
 commit | commitdiff | tree
2007-01-05 Manuel M T ChakravartyHsSyn clean up for indexed types
 commit | commitdiff | tree
2007-01-04 Manuel M T ChakravartyFix and improve deriving for indexed data types
 commit | commitdiff | tree
2006-12-29 Manuel M T ChakravartyMake dicts for arbitrary type equalities
 commit | commitdiff | tree
2006-12-29 Manuel M T ChakravartyEqPred pretty prints as ~ and equalities without brackets
 commit | commitdiff | tree
2006-12-29 Manuel M T ChakravartyConstruction of EqPred dictionaries
 commit | commitdiff | tree
2006-12-29 Manuel M T Chakravartydata family declarations are fine without any type...
commit | commitdiff | tree
2006-12-28 Manuel M T ChakravartyParse and desugar equational constraints
 commit | commitdiff | tree
2006-12-21 Manuel M T ChakravartyAdd hook to fam inst consistency check to GHCi/--make
 commit | commitdiff | tree
2006-12-19 Manuel M T ChakravartyDeriving for indexed newtypes
 commit | commitdiff | tree
2006-12-19 Manuel M T ChakravartyFixed uninitialised FunBind fun_tick field
 commit | commitdiff | tree
2006-12-18 Manuel M T ChakravartyDeriving for indexed data types
 commit | commitdiff | tree
2006-12-07 Manuel M T ChakravartyFix family instance consistency check for home package...
commit | commitdiff | tree
2006-12-06 Manuel M T ChakravartyKind sigs in associated data/newtype family decls may...
commit | commitdiff | tree
2006-10-25 Manuel M T ChakravartyAdd pointer to coding conventions to HACKING
 commit | commitdiff | tree
2006-10-23 Manuel M T ChakravartyClean up debugging code in RnNames
 commit | commitdiff | tree
2006-10-22 Manuel M T ChakravartyImprove error messages for indexed types
 commit | commitdiff | tree
2006-10-22 Manuel M T ChakravartyFix handling of family instances in the presense of...
commit | commitdiff | tree
2006-10-21 Manuel M T ChakravartyFix parent position in RnNames.nubAvails
 commit | commitdiff | tree
2006-10-21 Manuel M T ChakravartyFix export of associated families with new name parent...
commit | commitdiff | tree
2006-10-20 Manuel M T ChakravartyFix processing of imports involving ATs with the new...
commit | commitdiff | tree
2006-10-19 Manuel M T ChakravartyFix family instance bug due to the name parent elimination
 commit | commitdiff | tree
2006-10-19 Manuel M T ChakravartyFix show-iface for family instances & add debug ppr...
commit | commitdiff | tree
2006-10-18 Manuel M T ChakravartyCross-module consistency check for family instances
 commit | commitdiff | tree
2006-10-16 Manuel M T ChakravartyStage 2 fix to "Keep track of family instance modules"
 commit | commitdiff | tree
2006-10-13 Manuel M T ChakravartyKeep track of family instance modules
 commit | commitdiff | tree
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current...
commit | commitdiff | tree
2006-10-10 Manuel M T ChakravartyRemoved unused unwrapFamInstBody from MkId
 commit | commitdiff | tree
2006-10-10 Manuel M T ChakravartyRough matches for family instances
 commit | commitdiff | tree
2006-09-21 Manuel M T ChakravartyFix Linker import when BREAKPOINT is off
 commit | commitdiff | tree
2006-09-21 Manuel M T ChakravartyExtend IfaceSyn.eqIfTc to cover type kind variants...
commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge)
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdapt 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 ChakravartySome more ASSERTs
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartySPJ'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 ChakravartyAdjust code from manual merges
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyAdapt TcFix imports
 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
 commit | commitdiff | tree
2006-09-20 Manuel M T ChakravartyBasic 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 ChakravartyImport/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 ChakravartyUse 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 ChakravartyFix 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 ChakravartyFix 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 ChakravartyOption -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 ChakravartyGet 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 ChakravartyClean 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 ChakravartyATs 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 ChakravartyStraightened 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 ChakravartyFixed 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 ChakravartyIndexed 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 ChakravartyCheck 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 ChakravartyBetter 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 ChakravartyChecking 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 ChakravartyWarn 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 ChakravartyCheck 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 ChakravartyKind 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 ChakravartyFixed 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 ChakravartyPattern 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 ChakravartyIntroduce 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 ChakravartyFixed 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 ChakravartyFix 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 ChakravartyExtend 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 ChakravartyFix 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 ChakravartyMake 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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)