projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
View patterns, record wildcards, and record puns
[ghc-hetmet.git] / compiler / types /
2007-10-03 Manuel M T ChakravartyTcTyFuns.eqInstToRewrite tree | commitdiff
2007-09-29 simonpj@microsoft.comFix Trac #1746: make rule-matching work properly with... tree | commitdiff
2007-09-29 simonpj@microsoft.comSmall comment only tree | commitdiff
2007-10-02 Manuel M T ChakravartyFIX: mkWWcpr takes open alg types into account tree | commitdiff
2007-09-29 Manuel M T ChakravartySome more traceTcs tree | commitdiff
2007-09-19 Manuel M T ChakravartyFIX #1713: watch out for type families in splitAppTy... tree | commitdiff
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules tree | commitdiff
2007-09-11 simonpj@microsoft.comMinor refactoring: give an explicit name to the pretty... tree | commitdiff
2007-09-10 Simon MarlowFIX #903: mkWWcpr: not a product tree | commitdiff
2007-09-10 Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs tree | commitdiff
2007-09-07 Manuel M T ChakravartyImproved error messages for higher-rank equality contexts tree | commitdiff
2007-09-07 simonpj@microsoft.comTiny optimisation/simplification to FunDeps.grow tree | commitdiff
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism tree | commitdiff
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs tree | commitdiff
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas tree | commitdiff
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... tree | commitdiff
2007-08-28 Manuel M T ChakravartyType checking for type synonym families tree | commitdiff
2007-08-09 simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix... tree | commitdiff
2007-08-03 simonpj@microsoft.comRemove dead code tree | commitdiff
2007-08-04 simonpj@microsoft.comAdd missing case to sizeofPrimRep tree | commitdiff
2007-07-06 simonpj@microsoft.comClarify comments tree | commitdiff
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB tree | commitdiff
2007-06-29 simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456 tree | commitdiff
2007-06-29 Manuel M T ChakravartyOverlap check for type families tree | commitdiff
2007-06-28 simonpj@microsoft.comImprove error message when there is instance overlap tree | commitdiff
2007-06-25 simonpj@microsoft.comPrint infix type constructors in an infix way tree | commitdiff
2007-05-23 simonpj@microsoft.comImprove the interaction of 'seq' and associated data... tree | commitdiff
2007-05-23 simonpj@microsoft.comWhite-space only tree | commitdiff
2007-05-11 Tom Schrijverstype family normalisation tree | commitdiff
2007-05-19 Pepe IborraRewrite the unsafe code dealing with unboxed primitives... tree | commitdiff
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv tree | commitdiff
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families tree | commitdiff
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name tree | commitdiff
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv tree | commitdiff
2007-05-04 simonpj@microsoft.comFix the pruning of dead case alternatives tree | commitdiff
2007-05-04 simonpj@microsoft.comisDataTyCon should be False for all type families,... tree | commitdiff
2007-05-02 simonpj@microsoft.comMake records work properly with type families tree | commitdiff
2007-05-02 simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead tree | commitdiff
2007-05-02 simonpj@microsoft.comFixes to data type families tree | commitdiff
2007-04-25 simonpj@microsoft.comFix misleading debug trace tree | commitdiff
2007-04-24 Pepe IborraWhen a type is refined after :print, propagate the... tree | commitdiff
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons tree | commitdiff
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types tree | commitdiff
2007-04-02 simonpj@microsoft.comMake type-tidying work for coercion variables tree | commitdiff
2007-03-21 simonpj@microsoft.comRemove redundant exports from a hs-boot file tree | commitdiff
2007-02-23 Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs... tree | commitdiff
2007-02-21 simonpj@microsoft.comDeal more correctly with orphan instances tree | commitdiff
2007-02-21 simonpj@microsoft.comRemove dead code from FunDeps tree | commitdiff
2007-02-05 simonpj@microsoft.comImprove simplification of coercions tree | commitdiff
2007-02-02 simonpj@microsoft.comFix a pair of classic, but tricky, bugs in the type... tree | commitdiff
2007-01-11 simonpj@microsoft.comAdd comments about invariants tree | commitdiff
2007-01-11 simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it tree | commitdiff
2007-01-11 simonpj@microsoft.comFix a nasty recursive loop in typechecking interface... tree | commitdiff
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account tree | commitdiff
2007-01-04 Manuel M T ChakravartyFix and improve deriving for indexed data types tree | commitdiff
2007-01-03 simonpj@microsoft.comAdd a type synonym for FamInstEnvs tree | commitdiff
2007-01-03 simonpj@microsoft.comComments only tree | commitdiff
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code tree | commitdiff
2006-12-29 Manuel M T ChakravartyEqPred pretty prints as ~ and equalities without brackets tree | commitdiff
2006-12-18 Manuel M T ChakravartyDeriving for indexed data types tree | commitdiff
2006-12-10 Pepe IborraClosure inspection in GHCi tree | commitdiff
2006-11-24 simonpj@microsoft.comImprove handling of implicit parameters tree | commitdiff
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference tree | commitdiff
2006-11-10 simonpj@microsoft.comCosmetics and debug printing only tree | commitdiff
2006-11-06 simonpj@microsoft.comTidy up substitutions tree | commitdiff
2006-11-01 simonpj@microsoft.comComments and layout only tree | commitdiff
2006-11-01 simonpj@microsoft.comRemove unused import tree | commitdiff
2006-10-19 Manuel M T ChakravartyFix family instance bug due to the name parent elimination tree | commitdiff
2006-10-19 Ian LynaghFix stage1 build with 6.2.1 (from Andy Gill) tree | commitdiff
2006-10-18 simonpj@microsoft.comAdd the primitive type Any, and use it for Dynamics tree | commitdiff
2006-10-18 simonpj@microsoft.comAdd comment about arity tree | commitdiff
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar tree | commitdiff
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current... tree | commitdiff
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build tree | commitdiff
2006-10-11 Simon MarlowInterface file optimisation and removal of nameParent tree | commitdiff
2006-10-10 Manuel M T ChakravartyRough matches for family instances tree | commitdiff
2006-10-09 Ian LynaghUpdate hi-boot files to fix building with old GHCs tree | commitdiff
2006-10-06 simonpj@microsoft.comComments and an import-trim tree | commitdiff
2006-10-06 simonpj@microsoft.comImport trimming tree | commitdiff
2006-09-29 simonpj@microsoft.comSimplify the way in which the coKindFun in CoercionTyCo... tree | commitdiff
2006-09-29 simonpj@microsoft.comSpelling correction tree | commitdiff
2006-09-14 Andres Loehfix typo in comment tree | commitdiff
2006-09-23 simonpj@microsoft.comThe unboxed tuple kind is (#), not (##) tree | commitdiff
2006-09-23 simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred tree | commitdiff
2006-09-23 simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)! tree | commitdiff
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support tree | commitdiff
2006-09-23 simonpj@microsoft.comRemove dead code concerning coercions from TypeRep tree | commitdiff
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it tree | commitdiff
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code tree | commitdiff
2006-09-21 audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on... tree | commitdiff
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances tree | commitdiff
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces tree | commitdiff
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIndexed newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil... tree | commitdiff
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class tree | commitdiff
2006-09-20 Manuel M T ChakravartyFixed bug in coercion for indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)