Add framework flags when linking a dynamic library
[ghc.git] / compiler / typecheck /
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
2015-07-09  Simon Peyton JonesInfer types with flexible contexts
2015-07-09  Simon Peyton JonesWhite space only
2015-07-07  Edward Z. YangFix #10596 by looking up 'Int' not 'Maybe Int' in the...
2015-07-07  David KraeutmannAllow deferred type error warnings to be suppressed
2015-07-07  Gabor GreifFix word repetitions in comments
2015-07-06  Gabor GreifSpelling in comments
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesImprove error message for Typeable k (T k)
2015-06-26  Simon Peyton JonesBetter tracing and tiny refactoring
2015-06-26  Simon Peyton JonesMake fvType ignore kinds
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-26  Simon Peyton JonescloseOverKinds *before* oclose in coverage check
2015-06-26  Simon Peyton JonesComments only
2015-06-26  Simon Peyton JonesTiny refactor plus comments
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-26  Simon Peyton JonesDon't float out alpha[sig] ~ Int
2015-06-26  Simon Peyton JonesAllow recursive unwrapping of data families
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-25  Simon Peyton JonesImprove kind-checking for 'deriving' clauses
2015-06-24  Sergei TrofimovichClean outdated ext-core references in comments.
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-18  Simon Peyton JonesComments plus tiny refactoring
2015-06-18  Simon Peyton JonesA bit more tracing
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-18  Simon Peyton JonesComments only
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Richard EisenbergClarify some comments around injectivity.
2015-06-16  Richard EisenbergFix typo in comment
2015-06-16  Richard EisenbergTreat funTyCon like any other TyCon in can_eq_nc.
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard Eisenberg(mostly) Comments only
2015-06-16  Richard EisenbergDecompose wanted repr. eqs. when no matchable givens.
2015-06-16  Richard EisenbergFix #10493.
2015-06-16  Richard EisenbergFix #10495.
2015-06-16  Richard EisenbergFix #10494
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Simon Peyton JonesRemove derived CFunEqCans after solving givens
2015-06-15  Gabor GreifDemonstrate that inferring Typeable for type literals...
2015-06-11  Edward Z. YangRevert "Change loadSrcInterface to return a list of...
2015-06-11  Edward Z. YangRemove redundant tcg_visible_orphan_mods, it is recorde...
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-05  Richard EisenbergMinor code cleanup
2015-06-03  Edward Z. YangAllow Any return in foreign prim, fixes #10460.
2015-06-03  Simon Peyton JonesRefactor RdrName.Provenance, to fix #7672
2015-06-02  Gabor GreifTypofixes
2015-06-02  Simon Peyton JonesImprove FFI error reporting
2015-06-01  Simon Peyton JonesImprove constraint tuples (Trac #10451)
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-06-01  Simon Peyton JonesRefactor the GlobalRdrEnv, fixing #7672
2015-06-01  Simon Peyton JonesTreat pattern-synonym binders more consistently
2015-06-01  Simon Peyton JonesComments only
2015-06-01  Adam GundryAdd constraint creation functions to TcPluginM API
2015-06-01  Alan ZimmermanApiAnnotations : strings in warnings do not return...
2015-05-22  Simon Peyton JonesFix quadratic behaviour in tidyOccName
2015-05-18  Simon Peyton JonesMake the "matchable-given" check happen first
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesMake the "matchable-given" check happen first
2015-05-13  Simon Peyton JonesAdd a case to checkValidTyCon
2015-05-13  Simon Peyton JonesSeparate transCloVarSet from fixVarSet
2015-05-13  Simon Peyton JonesTwo wibbles to fix the build
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  Erik de Castro LopoUse fmap instead of <$> (Fixes #10407)
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-05-12  David TereiFix safe haskell bug: instances in safe-inferred
2015-05-11  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-09  Edward Z. YangRevert stage 1 template-haskell. This is a combination...
2015-05-09  Edward Z. YangAlways do polymorphic typed quote check, c.f. #10384
2015-05-09  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-07  Simon Peyton JonesComments only
next