Abstract TFs can have injectivity information
[ghc.git] / compiler / typecheck /
2015-11-09  Jan StolarekAbstract TFs can have injectivity information
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-11-01  Alan ZimmermanApiAnnotations: BooleanFormula is not properly Located
2015-10-30  Bartosz NitkaMake type-class dictionary let binds deterministic
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Adam GundryDisambiguate record selectors by type signature
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariTcTyDecls: Remove redundant import of Applicative
2015-10-29  Ben GamariMove mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecl...
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-28  Simon Peyton JonesPattern synonyms: swap provided/required
2015-10-27  Simon Peyton JonesZonk properly when checkig pattern synonyms
2015-10-24  Ömer Sinan Ağacanuse Proxy instead of undefined -- we already dropped...
2015-10-21  Richard EisenbergRemove old trace statement
2015-10-20  David KraeutmannExtended default rules now specialize Foldable, Travers...
2015-10-19  Erik de Castro LopoSystools.hs: Improve detection of GCC and Clang
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-13  Alexander BerntsenSlightly wibble TcSimplify documentation
2015-10-12  Simon Peyton JonesReinstate monomorphism-restriction warnings
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-08  David KraeutmannImprove error messages for ambiguous type variables
2015-10-06  Edward Z. YangDocumentation for FrontendResult
2015-10-06  Simon Peyton JonesComments about TcLevel assignment
2015-10-06  Simon Peyton JonesComments only
2015-10-06  Simon Peyton JonesComments only
2015-10-06  Edward Z. YangDeduplicate one-shot/make compile paths.
2015-10-05  Gabor GreifA few typos in comments
2015-10-03  RyanGlScottFill in associated type defaults with DeriveAnyClass
2015-10-03  RyanGlScottMake GHC generics capable of handling unboxed types
2015-10-02  Ben GamariFix treatment of -0.0
2015-09-26  Ömer Sinan Ağacanreify associated types when reifying typeclasses(#10891)
2015-09-24  Ömer Sinan AğacanFix DeriveGeneric for types with same OccName (#10487)
2015-09-23  Austin SeippRevert "reify associated types when reifying typeclasses"
2015-09-23  Ömer Sinan Ağacanreify associated types when reifying typeclasses
2015-09-22  RyanGlScottDeriveLift extension (#1830)
2015-09-22  Bartosz NitkaMake derived names deterministic
2015-09-21  Ben GamariTcDeriv: Use a NameEnv instead of association list
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Edward Z. YangRevert "Revert "Revert "Change loadSrcInterface to...
2015-09-21  Richard Eisenberg`_ <- mapM` --> `mapM_`
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergRun simplifier only when the env is clean.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-09-21  Richard EisenbergRe-polish error messages around injective TFs.
2015-09-19  Richard EisenbergPolish some error messages.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-17  Simon MarlowApplicativeDo transformation
2015-09-11  Jan StolarekCode movement
2015-09-11  Jan StolarekDead code removal, export cleanup
2015-09-11  Jan StolarekRemove redundant language extensions
2015-09-11  Jan StolarekAdd assertions
2015-09-11  Simon Peyton JonesA CFunEqCan can be Derived
2015-09-11  Simon Peyton JonesImprove rejigConRes (again)
2015-09-08  David KraeutmannForbid annotations when Safe Haskell safe mode is enabled.
2015-09-03  Jan StolarekInjective type families
2015-09-02  Simon Peyton JonesImprove the error messages for class instance errors
2015-09-02  Michael SmithAllow annotations though addTopDecls (#10486)
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-26  Ben GamariTcDeriv: Kill dead code
2015-08-26  Simon Peyton JonestcRnDeclsi can use tcRnSrcDecls
2015-08-26  Simon Peyton JonesImplement lookupGlobal in TcEnv, and use it
2015-08-18  Matthew PickeringAdd selectors for common fields (DataCon/PatSyn) to...
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-08-07  Simon Peyton JonesComments only
2015-08-06  Simon Peyton JonesComments only
2015-08-05  Simon Peyton JonesFix quantification for inference with sigs
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-08-05  RyanGlScottAdd Fixity info for infix types
2015-08-03  Gabor GreifTypos in comments [skip ci]
2015-08-03  Thomas WinantSupport wild cards in data/type family instances
2015-08-01  Gabor GreifTypos in comments
2015-07-31  Gabor GreifTypos in comments
2015-07-30  Gabor GreifTypos in comments and strings
2015-07-30  John WiegleyImprove error message for newtypes and deriving clauses
2015-07-30  Simon Peyton JonesBetter treatment of signatures in cls/inst
2015-07-27  Simon Peyton JonesImprove warnings for rules that might not fire
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-07-23  Ben GamariDataCon: Fix redundant import
2015-07-23  Simon Peyton JonesComments only
2015-07-23  Simon Peyton JonesFix Trac #10670
2015-07-22  Edward Z. YangGive more informative panic for checkFamInstConsistency.
2015-07-21  Simon Peyton JonesMake seq-of-cast rule generate a case
2015-07-21  Simon Peyton JonesComments only
2015-07-21  Simon Peyton JonesAdd NOINLINE for hs-boot functions
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-07-21  Simon Peyton JonesRefactor newSCWorkFromFlavoured
2015-07-21  Simon Peyton JonesComments only (superclasses and improvement)
2015-07-21  Edward Z. YangRevert "Revert "Change loadSrcInterface to return a...
2015-07-16  RyanGlScottDeriveFoldable for data types with existential constrai...
2015-07-16  Ömer Sinan AğacanImplement -fprint-expanded-synonyms
2015-07-15  Richard EisenbergFix #10642.
2015-07-10  Simon Peyton JonesImprove error message for fundeps
2015-07-10  Simon Peyton JonesBetter type wildcard errors
next