projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Major change in compilation of instance declarations (fix Trac #955, #2328)
[ghc-hetmet.git] / compiler / typecheck / TcMType.lhs
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... blob | commitdiff
2008-08-27 simonpj@microsoft.comFix Trac #2538: better error messages when validating... blob | commitdiff | diff to current
2008-07-21 Ian LynaghFixes for haddock 0.8 blob | commitdiff | diff to current
2008-07-15 Manuel M T ChakravartyFix for 1st half of #2203 Before_cabalised-GHC blob | commitdiff | diff to current
2008-07-14 Manuel M T ChakravartyFix check of rhs of type family instances (#2157) blob | commitdiff | diff to current
2008-07-07 simonpj@microsoft.comWhite space only blob | commitdiff | diff to current
2008-06-16 Ian LynaghTweak a comment to talk about UnboxedTuples rather... blob | commitdiff | diff to current
2008-06-16 Ian LynaghMore commandline flag improvements blob | commitdiff | diff to current
2008-06-06 Ian LynaghFix warnings in TcMType blob | commitdiff | diff to current
2008-04-22 Ian LynaghChange the last few (F)SLIT's into (f)sLit's blob | commitdiff | diff to current
2008-04-10 simonpj@microsoft.comImprove error message layout slightly blob | commitdiff | diff to current
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h blob | commitdiff | diff to current
2008-03-29 Ian LynaghRemove an #ifdef DEBUG blob | commitdiff | diff to current
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits blob | commitdiff | diff to current
2008-02-07 simonpj@microsoft.comAdjust error message (Trac #2079) blob | commitdiff | diff to current
2008-01-17 Twan van LaarhovenMonadify typecheck/TcMType: use do, return, applicative... blob | commitdiff | diff to current
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform blob | commitdiff | diff to current
2008-01-07 simonpj@microsoft.comAdd -XImpredicativeTypes, and tighten up type-validity... blob | commitdiff | diff to current
2007-10-27 simonpj@microsoft.comMake 'improvement' work properly in TcSimplify blob | commitdiff | diff to current
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems blob | commitdiff | diff to current
2007-09-29 Manuel M T ChakravartyFIX #1729: Don't try to expand syn families with -XLibe... blob | commitdiff | diff to current
2007-09-19 simonpj@microsoft.comFix exponential-time behaviour with type synonyms;... blob | commitdiff | diff to current
2007-09-16 Manuel M T ChakravartyFIX: TypeFamilies: should_compile/Simple12 blob | commitdiff | diff to current
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules blob | commitdiff | diff to current
2007-09-11 simonpj@microsoft.comComments, and remove export of checkAmbiguity blob | commitdiff | diff to current
2007-09-10 Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs blob | commitdiff | diff to current
2007-09-07 Manuel M T ChakravartyImproved error messages for higher-rank equality contexts blob | commitdiff | diff to current
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism blob | commitdiff | diff to current
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff | diff to current
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas blob | commitdiff | diff to current
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... blob | commitdiff | diff to current
2007-08-30 Manuel M T ChakravartyAdded decidability check for type instances blob | commitdiff | diff to current
2007-08-28 Manuel M T ChakravartyType checking for type synonym families blob | commitdiff | diff to current
2007-08-04 Ian LynaghRename Opt_Allow* to Opt_* to match the language names blob | commitdiff | diff to current
2007-07-12 Ian LynaghMerge *UnboxedTuples flags blob | commitdiff | diff to current
2007-07-09 Ian LynaghImplement unboxed tuples flags blob | commitdiff | diff to current
2007-07-09 Ian LynaghTweak the undecidable-instance-checking logic blob | commitdiff | diff to current
2007-07-09 Ian LynaghDefine -XPartiallyAppliedClosedTypeSynonyms flag blob | commitdiff | diff to current
2007-07-09 Ian LynaghAdd -XFlexibleContexts flag blob | commitdiff | diff to current
2007-07-09 Ian LynaghImplement -XPolymorphicComponents blob | commitdiff | diff to current
2007-07-08 Ian LynaghAdd flags for Rank2Types and RankNTypes blob | commitdiff | diff to current
2007-07-08 Ian LynaghAdd flags for TypeSynonymInstances and FlexibleInstances blob | commitdiff | diff to current
2007-05-14 Manuel M T Chakravarty-findexed-types -> -ftype-families blob | commitdiff | diff to current
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name blob | commitdiff | diff to current
2007-04-24 Pepe IborraSome tyvars were being introduced in the environment... blob | commitdiff | diff to current
2007-03-22 simonpj@microsoft.comImprove documentation of instances blob | commitdiff | diff to current
2007-03-14 simonpj@microsoft.comWibble to type-error-message improvement blob | commitdiff | diff to current
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "a1...an" inste... blob | commitdiff | diff to current
2007-01-09 Manuel M T ChakravartyHandle synonym families in check_tau_type blob | commitdiff | diff to current
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code blob | commitdiff | diff to current
2006-12-28 Manuel M T ChakravartyParse and desugar equational constraints blob | commitdiff | diff to current
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference blob | commitdiff | diff to current
2006-11-01 simonpj@microsoft.comDefault the kind of unconstrained meta-type variables... blob | commitdiff | diff to current
2006-11-01 simonpj@microsoft.comImprove error message (push to 6.6 branch) blob | commitdiff | diff to current
2006-11-01 simonpj@microsoft.comFix error reporting for contexts during deriving (Trac... blob | commitdiff | diff to current
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartySome more ASSERTs blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-08-11 simonpj@microsoft.comGo back to calling type veriables t blob | commitdiff | diff to current
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check blob | commitdiff | diff to current
2006-04-18 simonpj@microsoft.comFix rank-validity testing blob | commitdiff | diff to current
2006-04-07 Simon MarlowReorganisation of the source tree blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)