projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixed two bugs concerning fanilies
[ghc-hetmet.git] / compiler / typecheck /
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
2006-09-04 simonpj@microsoft.comRefactoring for derived Read tree | commitdiff
2006-08-19 Ross Patersonremove spurious commas in imports tree | commitdiff
2006-08-18 simonpj@microsoft.comI don't thing we want to add a call-context here; it... tree | commitdiff
2006-08-18 simonpj@microsoft.comAvoid duplicate "In type ..." in error messages tree | commitdiff
2006-08-18 simonpj@microsoft.comFall over more gracefully when there's a Template Haske... tree | commitdiff
2006-08-17 simonpj@microsoft.comOne last hs-boot update tree | commitdiff
2006-08-17 simonpj@microsoft.comMissing import for stage 2 tree | commitdiff
2006-08-17 simonpj@microsoft.comOne more hs-boot file tree | commitdiff
2006-08-17 simonpj@microsoft.comUpdate lhs-boot files tree | commitdiff
2006-08-16 simonpj@microsoft.comAdd ad-hoc typing checks for tagToEnum# tree | commitdiff
2006-08-15 simonpj@microsoft.comAllow class and instance decls in hs-boot files tree | commitdiff
2006-08-14 simonpj@microsoft.comImprove error message in TcHsType tree | commitdiff
2006-08-11 simonpj@microsoft.comComplete -fmono-pat-binds patch tree | commitdiff
2006-08-11 simonpj@microsoft.comImprove error message layouts tree | commitdiff
2006-08-11 simonpj@microsoft.comTwo more error message indendations tree | commitdiff
2006-08-11 simonpj@microsoft.comGo back to calling type veriables t tree | commitdiff
2006-08-11 simonpj@microsoft.comIndent an error message tree | commitdiff
2006-08-10 simonpj@microsoft.comEgregious bug in tcLHsConResTy tree | commitdiff
2006-08-09 Simon MarlowRemove old FFI syntax tree | commitdiff
2006-08-08 simonpj@microsoft.comMore fixes to pre-matching and pre-subsumption tree | commitdiff
2006-08-08 simonpj@microsoft.comCheck that lazy patterns are for lifted types tree | commitdiff
2006-08-08 simonpj@microsoft.comSpelling in a comment tree | commitdiff
2006-08-08 simonpj@microsoft.comFix pre-subsumption and pre-matching tree | commitdiff
2006-08-08 simonpj@microsoft.comImprove error message tree | commitdiff
2006-08-07 simonpj@microsoft.comAdd -fextended-default-rules and -fmono-pat-binds tree | commitdiff
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check tree | commitdiff
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting... tree | commitdiff
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support... tree | commitdiff
2006-07-27 simonpj@microsoft.comImprove error message for deriving tree | commitdiff
2006-07-27 simonpj@microsoft.comMake -fcontext-stack into a dynamic flag tree | commitdiff
2006-07-26 simonpj@microsoft.comDeal correctly with infix type constructors in GADT... tree | commitdiff
2006-07-25 Simon Marlowoptimisations to newUnique tree | commitdiff
2006-07-25 Simon MarlowGeneralise Package Support tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)