Add valid refinement substitution suggestions for typed holes
[ghc.git] / docs / users_guide / glasgow_exts.rst
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
2017-10-19  Joachim BreitnerUser's guide: Fix the category of some flags
2017-10-17  Joachim BreitnerImprove user’s guide around deriving
2017-10-15  Simon MarlowRemove section about ApplicativeDo & existentials ...
2017-10-13  Ryan ScottDelete obsolete docs on GADT interacton with TypeApplic...
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-25  Ryan ScottDocument how GHC disambiguates between multiple COMPLET...
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-09-02  Ryan ScottDisallow bang/lazy patterns in the RHSes of implicitly...
2017-09-01  Chris MartinRemove broken citeseer citation links
2017-08-26  Benjamin HodgsonFix two typos in the ImpredicativeTypes user guide
2017-08-19  Patrick Doughertyusers_guide: Convert mkUserGuidePart generation to...
2017-08-17  Richard EisenbergFix #13399 by documenting higher-rank kinds.
2017-08-17  superfuncAdd missing initial version for extension doc.
2017-08-17  Chris MartinRemove extra ` from "kind-indexed GADTs" doc
2017-08-15  Ben GamariPoint to FunDeps documentation on Haskell wiki
2017-08-07  Cyd ParserFix EmptyCase documentation
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergDocument that type holes kill polymorphic recursion
2017-07-27  Richard EisenbergFix #11400, #11560 by documenting an infelicity.
2017-07-24  Ben Gamariusers-guide: Fix URL of deferred type errors paper
2017-07-24  Ben Gamariusers-guide: Make it easier to reference haddocks
2017-07-24  Ryan ScottAdd a caveat to the GHC.Generics examples about :+...
2017-07-23  Ben GamariFix more documentation wibbles
2017-07-23  Patrick Doughertyusers-guide: Standardize and repair all flag references
2017-07-23  Ben Gamariusers-guide: Improve legibility of OverlappingInstances...
2017-07-19  Chris Martintypo: -XUndeci[d]ableInstances
2017-07-19  Takenobu TaniFix links to SPJ’s papers (fixes #12578)
2017-07-03  Simon MarlowApplicativeDo: document behaviour with strict patterns...
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-27  Chris MartinUpdate docs to reflect changes to DeriveDataTypeable
2017-06-23  Ben Gamariusers guide: Rephrasing
2017-06-23  Tibor Erdeszdocumentation: fix trac issue #12978
2017-06-12  Ben Gamariusers-guide: Document multi-line DEPRECATED pragmas
2017-05-22  null-aAdd missing "do" to example in arrow docs.
2017-05-21  Alexey VagarenkoFix levity polymorphism docs
2017-05-12  Gabor GreifTypos [ci skip]
2017-05-08  Ben Gamariusers-guide: Fix a variety of warnings
2017-05-02  Gabor GreifTypos in manual and comments
2017-04-25  Chris MartinDon't describe tuple sections as "Python-style"
2017-04-23  Ryan ScottDocument the kind generalization behavior observed...
2017-04-13  Simon Peyton JonesFix a couple of user-manual typos
2017-04-10  Ömer Sinan AğacanTypos in bang patterns user manual [skip ci]
2017-04-06  Gabor GreifFix markup
2017-04-02  David FeuerDerive the definition of null
2017-03-30  David FeuerDeriving for phantom and empty types
2017-03-27  Simon Peyton JonesEliminate a user manual warning
2017-03-19  Ben Gamariusers-guide: Document TemplateHaskell availability
2017-03-17  Gabor GreifTypos in manual and comments [ci skip]
2017-03-14  Ryan ScottAllow associated types to pattern-match in non-class...
2017-03-14  Ryan ScottFurther document :type +v's role in analyzing -XTypeApp...
2017-03-13  Phil RuffwindAdd COLUMN pragma
2017-03-06  Gabor GreifTypos in comments and manual
2017-03-03  Reid BartonDon't allow orphan COMPLETE pragmas (#13349)
2017-03-02  David FeuerProhibit RULES changing constructors
2017-03-02  Ömer Sinan AğacanUser manual: Fix GADT paper link
2017-03-02  Simon MarlowDocument interaction between ApplicativeDo and existent...
2017-02-26  Adam GundryUpdate OverloadedLabels docs and document HasField
2017-02-15  Gabor GreifTypos [ci skip]
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-07  Daniel GröberDocs: Fix typo in glasgow_exts.rst
2017-02-02  Ben GamariAdd support for StaticPointers in GHCi
2017-01-31  Takenobu Taniuser-guide: fix links and file names (fixes #13198)
2017-01-31  Ben Gamariusers guide: Fix markup of COMPLETE pragma examples
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-17  Gabor GreifTypos in manual and comments [ci skip]
2017-01-04  Gabor GreifTypofixes in manual and comments [ci skip]
2016-12-21  Simon Peyton JonesAdd note for rebindable syntax of [a..b]
2016-12-16  Ben GamariDynFlags: Rip out remnants of WarnContextQuantification
2016-12-15  Maciej BieleckiShow constraints when reporting typed holes
2016-12-01  Chris MartinFix typo in functional dependencies doc
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
next