fixing obvious typo in darwin_HOST_OS code (currently does not compile).
[ghc.git] / compiler / typecheck /
2006-12-12  simonpj@microsoft.comMissed a stage-2 problem in the TcSimplify refactoring
2006-12-12  simonpj@microsoft.comFix up yesterdays commit to TcSimplify; fixes broken...
2006-12-11  simonpj@microsoft.comAdd comments about pruning implication constraints
2006-12-11  simonpj@microsoft.comMore refactoring of constraint simplification
2006-12-11  simonpj@microsoft.comImprove origin of constraints in subsumption checking
2006-12-11  simonpj@microsoft.comSuggests -fglasgow-exts for contexts-differ-in-length...
2006-12-11  simonpj@microsoft.comComments and layout only
2006-12-11  simonpj@microsoft.comRemove strange extra print (a temporary debug?)
2006-12-07  Manuel M T ChakravartyFix family instance consistency check for home package...
2006-12-01  simonpj@microsoft.comq
2006-11-24  simonpj@microsoft.comFix constraint handling for lazy patterns
2006-11-24  simonpj@microsoft.comImprove handling of implicit parameters
2006-11-24  simonpj@microsoft.comGather constraints in program order
2006-11-23  simonpj@microsoft.comSimplify TcSimplify, by removing Free
2006-11-22  simonpj@microsoft.comRefactoring of where tcSimplifyTop happens
2006-11-22  simonpj@microsoft.comRetain simplifications of implication constraints
2006-11-22  simonpj@microsoft.comImprove error messages slightly
2006-11-10  Samuel BronsonZap stray whitespace in lhs formatting
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
2006-11-01  simonpj@microsoft.comMajor overhaul of the Simplifier
2006-11-01  simonpj@microsoft.comTrim imports
2006-11-01  simonpj@microsoft.comDefault the kind of unconstrained meta-type variables...
2006-11-01  simonpj@microsoft.comImprove error message (push to 6.6 branch)
2006-11-01  simonpj@microsoft.comFix error reporting for contexts during deriving (Trac...
2006-10-24  andy@galois.comHaskell Program Coverage
2006-10-22  Manuel M T ChakravartyImprove error messages for indexed types
2006-10-20  Manuel M T ChakravartyFix processing of imports involving ATs with the new...
2006-10-19  Manuel M T ChakravartyFix show-iface for family instances & add debug ppr...
2006-10-18  Manuel M T ChakravartyCross-module consistency check for family instances
2006-10-18  simonpj@microsoft.comAdd the primitive type Any, and use it for Dynamics
2006-10-18  simonpj@microsoft.comMinor refactoring
2006-10-16  Manuel M T ChakravartyStage 2 fix to "Keep track of family instance modules"
2006-10-16  Simon Marlowfix non-DEBUG build (probably my fault, sorry)
2006-10-13  simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
2006-10-13  simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences
2006-10-13  simonpj@microsoft.comMore refactoring in RnNames
2006-10-13  Manuel M T ChakravartyKeep track of family instance modules
2006-10-12  Manuel M T ChakravartyOverlap check for family instances def'd in current...
2006-10-11  simonpj@microsoft.comMake Inst into a record type to ease subsequent changes
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-11  Simon MarlowModule header tidyup, phase 1
2006-10-11  Simon MarlowInterface file optimisation and removal of nameParent
2006-10-10  simonpj@microsoft.comDo not filter the type envt after each GHCi stmt
2006-10-10  simonpj@microsoft.comFail more informatively when a global isn't in the...
2006-10-10  Manuel M T ChakravartyRough matches for family instances
2006-10-09  Ian LynaghUpdate hi-boot files to fix building with old GHCs
2006-10-06  simonpj@microsoft.comFix up the typechecking of interface files during ...
2006-10-06  simonpj@microsoft.comImport trimming
2006-10-06  simonpj@microsoft.comImprove error message
2006-10-05  davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big...
2006-09-20  bjorn@bringert.netMerged stand-alone deriving with FC stuff.
2006-09-19  bjorn@bringert.netFixed source location and instance origin in stand...
2006-09-18  bjorn@bringert.netAdded type signature for tcSplitSigmaTy.
2006-09-18  bjorn@bringert.netNew syntax for stand-alone deriving. Implemented fully.
2006-10-04  simonpj@microsoft.comImprove unboxing of strict fields
2006-10-04  simonpj@microsoft.comRemove redundant dump
2006-10-04  simonpj@microsoft.comRemove ILX from the GHC altogether (although I left...
2006-10-04  simonpj@microsoft.comTidy tyvar OccNames in TcTyClDecl
2006-10-03  simonpj@microsoft.comFix scoped type variables for expression type signatures
2006-09-29  simonpj@microsoft.comAdd missing case for EqPred
2006-09-29  simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29  simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-29  simonpj@microsoft.comImprove unification error messages (again) (push to...
2006-09-27  Simon MarlowMake printing of binding results optional in GHCi,...
2006-09-26  simonpj@microsoft.comFix derived instances (again); prevents infinite superc...
2006-09-25  simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch)
2006-09-24  audreyt@audreyt.orgComment-only: Fix a typo, and note that the PredTy...
2006-09-24  audreyt@audreyt.orgIn tcSplittyConApp_maybe, add the PredTy case
2006-09-23  simonpj@microsoft.comTrim more imports
2006-09-23  simonpj@microsoft.comFix origin for addDataConStupidTheta
2006-09-23  simonpj@microsoft.comRe-work the newtype-deriving support
2006-09-23  simonpj@microsoft.comAdd TcRnMonad.newSysLocalIds, and use it
2006-09-23  simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
2006-09-23  simonpj@microsoft.comTrim imports, and remove some dead code
2006-09-22  simonpj@microsoft.comAdd a crucial missing prime in tcConPat
2006-09-22  audreyt@audreyt.orgRepair "ghci" under FC+AT by handling AnnCast in byteco...
2006-09-20  Manuel M T ChakravartyCorrect substitution into theta types (after merge) After_FC_branch_merge
2006-09-20  Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
2006-09-20  Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
2006-09-20  Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption
2006-09-20  Manuel M T ChakravartySome more ASSERTs
2006-09-20  Manuel M T ChakravartySPJ's fix to resolve conflict in instFun
2006-09-20  Manuel M T ChakravartyAdjust code from manual merges
2006-09-20  Manuel M T ChakravartyAdapt TcFix imports
2006-09-20  Manuel M T ChakravartyBasic set up for global family instance environment
2006-09-20  Manuel M T ChakravartyImport/export of data constructors in family instances
2006-09-20  Manuel M T ChakravartyUse smart lookup for tycons
2006-09-20  Manuel M T ChakravartyOption -findexed-types
2006-09-20  Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20  Manuel M T ChakravartyATs are now implicitTyThings
2006-09-20  Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20  Manuel M T ChakravartyFixed two bugs concerning fanilies
2006-09-20  Manuel M T ChakravartyIndexed newtypes
2006-09-20  Manuel M T ChakravartyCheck category of type instances and some newtype famil...
2006-09-20  Manuel M T ChakravartyBetter error message for indexes that must be variables
2006-09-20  Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
2006-09-20  Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
2006-09-20  Manuel M T ChakravartyCheck that AT instance is in a class
2006-09-20  Manuel M T ChakravartyPattern matching of indexed data types
2006-09-20  Manuel M T ChakravartyIntroduce coercions for data instance decls