TH: make `Lift` and `TExp` levity-polymorphic
[ghc.git] / docs / users_guide / glasgow_exts.rst
2019-04-19  Alec TheriaultTH: make `Lift` and `TExp` levity-polymorphic
2019-04-03  Chris MartinCorrect two misspellings of "separately"
2019-04-03  Frank Steffahnusers-guide: Typo in Users Guide, Glasgow Exts
2019-03-25  Haskell-mouseUser's Guide: extensions compatibility
2019-03-20  Takenobu Taniusers-guide: Update Wiki URLs to point to GitLab
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-24  Vladislav ZavialovUser's Guide: forall is a keyword nowadays
2019-02-24  Vladislav ZavialovUser's Guide: update info on kind inference
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-08  Neil MitchellImplicitParams does not imply FlexibleContexts or Flexi...
2019-01-23  Ben Priceusers guide: consistent spelling of inlinable
2019-01-03  mynguyenVisible kind application
2018-12-21  Simon Peyton JonesImprove documention of TypeInType
2018-12-11  Shayne FletcherEnable rebindable fail with overloaded strings
2018-12-07  Ryan ScottFix #12102/#15872 by removing outdated users' guide...
2018-11-29  Matthew YacavoneFix #15828, from `More explicit foralls`
2018-11-17  Dmitry IvanovFix a typo in the description of -fabstract-refinement...
2018-11-17  Ben Priceuser's guide: typo in ViewPatterns example
2018-11-02  Ben Gamariusers-guide: Update link to Safe Coercions paper
2018-10-29  Ben Gamariusers guide: Introduce :pragma: directive
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-25  Simon Peyton JonesImprove documentation about overlapping instances
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-04  Alec TheriaultSet `infixr -1 ->`
2018-10-01  Ryan ScottQuantify class variables first in associated families...
2018-09-20  Frank Steffahnusers guide: Fix a few issues
2018-09-18  Chris MartinUsers guide: EmptyDataDecls on by default
2018-09-17  Takenobu Taniusers-guide: Fix code-block layout for QuantifiedConstr...
2018-09-13  Merijn VerstraatenTypo in user guide wrongly claims DeriveLift was added...
2018-09-07  Takenobu Taniusers-guide: Disable syntax highlighting
2018-09-07  Krzysztof GogolewskiDocumentation tweaks
2018-09-03  Josh PriceRemove duplicate "since" field in glasgow_exts.rst
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-07  Herbert Valerio... Turn on MonadFail desugaring by default
2018-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-17  Sasa BogicevicFix some typos in docs
2018-07-16  Vladislav ZavialovDo not imply NoStarIsType by TypeOperators/TypeInType
2018-07-12  Matthías Páll Giss... Add flag to show docs of valid hole fits
2018-07-12  AntCTrac #8581 users_guide/glasgow_exts section 10.7
2018-07-12  Sasa BogicevicCorrect Simple to Complex wording
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-07-10  Simon Peyton JonesOptional context for a quantified constraint
2018-07-06  Krzysztof GogolewskiMark AutoDeriveTypeable as deprecated
2018-06-20  Gabor GreifA few more typofixes in docs/comments [ci skip]
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-06-15  Nathan CollinsFix documentation for `-dth-dec-file`
2018-06-14  Nathan CollinsFix broken link
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  Ben Gamarirelnotes: Add mention of QuantifiedConstraints
2018-06-14  Takenobu Taniusers-guide: Fix PtrRepLifted to LiftedRep
2018-06-10  Ben Gamariusers-guide: Spelling and style pass over QuantifiedCon...
2018-06-08  Ben Gamariusers guide: Fix spelling
2018-06-08  HE, TaoFix `print-explicit-runtime-reps` (#11786).
2018-06-07  Ryan ScottDocument #15079 in the users' guide
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-03  Joachim BreitnerFix typo in OverloadedLabels docs
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-30  Ben Gamariusers-guide: Point out GNTD may require additional...
2018-05-30  AntCImprove the documentation of lexically scoped type...
2018-05-05  Masahiro SakaiFix typo in user guide about promoted list
2018-04-17  theindigamerFix markup in the UNPACK pragma section of the user...
2018-04-13  Takenobu Taniusers-guide: Update release notes and language extensions
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-21  Simon Peyton JonesAllow as-patterns in unidirectional patttern synonyms
2018-03-19  Frank SteffahnFix typo in user guide about ConstraintKinds
2018-03-08  Ryan ScottRemove outdated documentation bits concerning -Wmissing...
2018-03-08  HE, TaoFix a typo about pattern synonyms in documentation.
2018-03-02  Ben GamariDynFlags: Support British spelling of GeneralisedNewtyp...
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-05  David FeuerImprove unboxed sum documentation
2018-02-01  Takano AkioImplement BlockArguments (#10843)
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-21  Takenobu TaniImplement underscores in numeric literals (NumericUnder...
2018-01-21  Alp Mestanogullaritentative improvement to callstack docs
2018-01-03  Gabor GreifTypos in comments
2018-01-03  Simon Peyton JonesNo deferred type errors under a forall
2018-01-02  Galen HuntingtonFix sign error in kelvinToC.
2017-12-21  Ryan ScottDocument ScopedTypeVariables' interaction with nested...
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-11  klebinger.andreas... Add information about irrefutable pattern Syntax to...
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-15  Facundo DomínguezStaticPointers: Clarify documentation
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-11-06  Douglas WilsonTypo in glasgow_exts.rst
2017-11-03  Cyd ParserFix documentation and comment issues
2017-11-02  Iavor DiatchkiImplement the basics of hex floating point literals
2017-11-02  Ryan ScottImplement the EmptyDataDeriving proposal
2017-10-25  Joachim BreitnerMake language extensions their own category in the...
2017-10-20  Simon Peyton JonesUpdate record-wildcard docs
next