projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / typecheck /
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
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 ChakravartyBetter error message for indexes that must be variables tree | commitdiff
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads tree | commitdiff
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class tree | commitdiff
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls tree | commitdiff
2006-09-20 Manuel M T ChakravartyFixed two data family bugs tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix the tyvars used for data con signatures tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix TcSplice after some type family related changes tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake sure ATs are included into the temporary env for... tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix kind lookup in kcIdxTyPats tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations tree | commitdiff
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types tree | commitdiff
2006-09-20 Manuel M T ChakravartyAnother comment tree | commitdiff
2006-09-20 Manuel M T ChakravartyMissing change re additional info in TcTyThing tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix newtype deriving bug tree | commitdiff
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake sym coercion smart constructor smarter, add comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyRefactoring in TcGadt tree | commitdiff
2006-09-20 Manuel M T ChakravartyAdd some invariant checking for refinements tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix a couple of stage-2 bogosities tree | commitdiff
2006-09-20 Manuel M T Chakravartyfixing record selectors tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix out-of-scope vars tree | commitdiff
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartybugs tree | commitdiff
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype deriving still not working tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype deriving dicts, compiling at least tree | commitdiff
2006-09-20 Manuel M T Chakravarty..and a bit more tree | commitdiff
2006-09-20 Manuel M T ChakravartyMore on newtype deriving tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... tree | commitdiff
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt TcRnDriver to moved tyThingToIfaceDecl tree | commitdiff
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons tree | commitdiff
2006-09-18 Manuel M T ChakravartyDon't lift ATs out of classes and instances before tc tree | commitdiff
2006-09-18 Manuel M T ChakravartyPartial changes for derived newtype instances tree | commitdiff
2006-09-15 Manuel M T ChakravartyFix migrated AT support tree | commitdiff
2006-09-15 Manuel M T ChakravartyMigrate cvs diff from fptools-assoc branch tree | commitdiff
2006-08-07 Manuel M T ChakravartyGADT tweaks tree | commitdiff
2006-08-06 Manuel M T ChakravartyAdding TcGadt.lhs tree | commitdiff
2006-08-06 Manuel M T ChakravartyAdd CoPat stuff tree | commitdiff
2006-07-26 simonpj@microsoft.comA somewhat subtle (FC-related) bug concerning the monom... tree | commitdiff
2006-07-14 simonpj@microsoft.comAdd some type signatures tree | commitdiff
2006-07-06 simonpj@microsoft.comTiny comment change (darcs test only) tree | commitdiff
2006-09-18 simonpj@microsoft.comFix a bug in subsumption, and tweak error messages tree | commitdiff
2006-09-18 simonpj@microsoft.comComments tree | commitdiff
2006-09-18 simonpj@microsoft.comEnsure that only zonked poly_ids are passed to tcSpecPrag tree | commitdiff
2006-09-18 simonpj@microsoft.comComments only tree | commitdiff
2006-09-17 simonpj@microsoft.comAdd a missing renamer dump (related to Template Haskell) tree | commitdiff
2006-09-15 bringert@cs.chalme... Instantiate data constructor type variables with the... tree | commitdiff
2006-09-12 audreyt@audreyt.orgTake away XXXs in GADT records related code that are... tree | commitdiff
2006-09-08 simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples tree | commitdiff
2006-09-07 simonpj@microsoft.comFix bug in error message tree | commitdiff
2006-09-07 simonpj@microsoft.comResult type signatures are no longer supported (partial) tree | commitdiff
2006-09-06 simonpj@microsoft.comPattern-match warning police tree | commitdiff
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments tree | commitdiff
2006-09-05 simonpj@microsoft.comFix dependency analysis (notably bindInstsOfLocalFuns... tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)