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