projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Move error-ids to MkCore (from PrelRules)
[ghc-hetmet.git] / compiler / types /
2010-09-13 simonpj@microsoft.comHaddock fixes tree | commitdiff
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... tree | commitdiff
2010-09-03 simonpj@microsoft.comComments and layout tree | commitdiff
2010-09-02 simonpj@microsoft.comAssert tree | commitdiff
2010-08-18 simonpj@microsoft.comWibble tree | commitdiff
2010-08-18 simonpj@microsoft.comPretty printing change tree | commitdiff
2010-08-30 benl@ouroborus.netFix warning about multiply exported name tree | commitdiff
2010-08-30 benl@ouroborus.netVectorisation of method types tree | commitdiff
2010-08-13 simonpj@microsoft.comRe-do the arity calculation mechanism again (fix Trac... tree | commitdiff
2010-07-13 simonpj@microsoft.comComments on data type families tree | commitdiff
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173) tree | commitdiff
2010-06-14 simonpj@microsoft.comUse mkFunTy to ensure that invariants are respected tree | commitdiff
2010-06-04 simonpj@microsoft.comDon't use unnecessary parens when printing types (Fix... tree | commitdiff
2010-05-25 simonpj@microsoft.comRefactor (again) the handling of default methods tree | commitdiff
2010-04-17 simonpj@microsoft.comComments only (about type families) tree | commitdiff
2010-03-30 David WaernAdd Data and Typeable instances to HsSyn tree | commitdiff
2010-03-04 simonpj@microsoft.comMake `mkFunTy` associate to the right, as it should tree | commitdiff
2010-03-01 simonpj@microsoft.comImplement a smart constructor mkUnsafeCoercion, and... tree | commitdiff
2010-01-07 simonpj@microsoft.comSpelling error in comment tree | commitdiff
2009-12-24 simonpj@microsoft.comRefactor CoreArity a bit tree | commitdiff
2009-12-22 simonpj@microsoft.comMove isDictTy from TcType to Type tree | commitdiff
2010-01-04 simonpj@microsoft.comSubstantial improvements to coercion optimisation tree | commitdiff
2009-12-16 simonpj@microsoft.comComments only tree | commitdiff
2009-12-16 simonpj@microsoft.comTwo improvements to optCoercion tree | commitdiff
2009-12-16 simonpj@microsoft.comFix a long-standing infelicity in the type pretty printer tree | commitdiff
2009-12-16 simonpj@microsoft.comDeal with warnings in Coercion.lhs tree | commitdiff
2009-12-11 simonpj@microsoft.comUse full equality for CSE tree | commitdiff
2009-11-24 David WaernAdd a note saying what Haddock relies on about Instance... tree | commitdiff
2009-11-24 Ian LynaghTreat () as an enumeration tycon tree | commitdiff
2009-11-19 Roman LeshchinskiyFix splitAppTys tree | commitdiff
2009-11-12 simonpj@microsoft.comA radical overhaul of the coercion infrastucture tree | commitdiff
2009-11-08 tom.schrijvers@cs... more aggressive optimization of coercion terms tree | commitdiff
2009-11-06 simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR tree | commitdiff
2009-10-30 simonpj@microsoft.comImprove coercion optimisation tree | commitdiff
2009-10-28 tom.schrijvers@cs... fix and enable coercion optimization tree | commitdiff
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN... tree | commitdiff
2009-10-28 simonpj@microsoft.comTrivial improvement to mkForAllTy tree | commitdiff
2009-10-26 simonpj@microsoft.comAdd a coercion optimiser, to reduce the size of coercio... tree | commitdiff
2009-10-15 simonpj@microsoft.comFix Trac #959: a long-standing bug in instantiating... tree | commitdiff
2009-10-08 simonpj@microsoft.comMake tyConSingleDataCon_maybe more forgiving tree | commitdiff
2009-10-02 simonpj@microsoft.comFix pretty-printing precedence for equality constraints tree | commitdiff
2009-08-18 Manuel M T ChakravartyFIX #3405 tree | commitdiff
2009-08-13 simonpj@microsoft.comFix Trac #3409: type synonyms that discard their arguments tree | commitdiff
2009-07-23 simonpj@microsoft.comAdd tuple sections as a new feature tree | commitdiff
2009-07-07 Ian LynaghRemove unused imports tree | commitdiff
2009-07-06 simonpj@microsoft.comTrim unused imports detected by new unused-import code tree | commitdiff
2009-07-07 Manuel M T ChakravartyFIX #2677 tree | commitdiff
2009-06-22 Simon Marlowfix comment tree | commitdiff
2009-05-12 simonpj@microsoft.comImprove error messages for type functions tree | commitdiff
2009-03-30 simonpj@microsoft.comFix an nasty black hole, concerning computation of... tree | commitdiff
2009-03-16 simonpj@microsoft.comLayout only tree | commitdiff
2009-03-15 Manuel M T ChakravartyEnsure the orientation of var-var equalities is correct... tree | commitdiff
2009-03-05 simonpj@microsoft.comFinally fix Trac #3066 tree | commitdiff
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough... tree | commitdiff
2009-01-15 simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring tree | commitdiff
2009-01-14 simonpj@microsoft.comRobustify lookupFamInstEnv tree | commitdiff
2009-02-02 simonpj@microsoft.comImprove error reporting for precedence errors tree | commitdiff
2009-01-13 simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio... tree | commitdiff
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions tree | commitdiff
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments tree | commitdiff
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ... tree | commitdiff
2008-12-01 simonpj@microsoft.comBetter error message for fundep conflict tree | commitdiff
2008-11-26 simonpj@microsoft.comFix Trac #2766: printing operator type variables tree | commitdiff
2008-10-29 simonpj@microsoft.comAdd Outputable instance for CoercionI tree | commitdiff
2008-09-23 simonpj@microsoft.comImprove crash message from applyTys and applyTypeToArgs tree | commitdiff
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... tree | commitdiff
2008-10-09 Manuel M T ChakravartyCover PredTy case in Type.tyFamInsts tree | commitdiff
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule tree | commitdiff
2008-10-02 Manuel M T ChakravartyClean up some comments tree | commitdiff
2008-09-15 simonpj@microsoft.comMinor refactoring to get rid of Type.splitNewTyConApp tree | commitdiff
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities tree | commitdiff
2008-09-05 simonpj@microsoft.comMinor refactoring to share InstEnv.instanceBindFun tree | commitdiff
2008-09-05 simonpj@microsoft.comRemove unused constructors AvoidMe, WildCard tree | commitdiff
2008-09-05 simonpj@microsoft.comBetter debug panic messages in applyTys tree | commitdiff
2008-08-11 simonpj@microsoft.comFix Trac #2367: selectors for GADTs tree | commitdiff
2008-08-07 Ian LynaghFix errors with haddock 0.8 tree | commitdiff
2008-07-31 Max BolingbrokeDocument TypeRep and follow OccName change tree | commitdiff
2008-07-31 Max BolingbrokeDocument Type tree | commitdiff
2008-07-31 Max BolingbrokeDocument TyCon tree | commitdiff
2008-07-31 Max BolingbrokeDocument Coercion tree | commitdiff
2008-08-04 simonpj@microsoft.comFix the bug part of Trac #1930 tree | commitdiff
2008-07-31 Max BolingbrokeRename maybeTyConSingleCon to tyConSingleDataCon_maybe tree | commitdiff
2008-07-08 Ian LynaghRemove all .hi-boot-6 files tree | commitdiff
2008-07-03 Ian LynaghFix trac #2307: conflicting functional dependencies tree | commitdiff
2008-07-01 simonpj@microsoft.comFix Trac #2307: need to nub bad fundep reports tree | commitdiff
2008-05-28 Simon MarlowUse MD5 checksums for recompilation checking (fixes... tree | commitdiff
2008-04-22 Ian LynaghChange the last few (F)SLIT's into (f)sLit's tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Generics tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in FunDeps tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in FamInstEnv tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in InstEnv tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Coercion tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Type tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TypeRep tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Class tree | commitdiff
2008-04-22 simonpj@microsoft.comRefactor the TyVarTy case of 'match'. No change in... tree | commitdiff
2008-04-22 simonpj@microsoft.comAdd Note [Generating the in-scope set for a substitution] tree | commitdiff
2008-04-21 pepeFix #2044 (:printing impredicatively typed things) tree | commitdiff
2008-04-07 Manuel M T ChakravartyRemove GADT refinements, part 5 tree | commitdiff
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)