summaryrefslogtreecommitdiff
path: root/docs/users_guide/glasgow_exts.rst
Commit message (Expand)AuthorAgeFilesLines
* users-guide: Fix various warningsBen Gamari2019-10-081-29/+29
* users-guide: Document -XHaskell98 and -XHaskell2010Ben Gamari2019-10-081-0/+39
* users-guide: Refer to language extension flags via :extension:Ben Gamari2019-10-081-11/+11
* base: Document the fact that Typeable is automatically "derived"Ben Gamari2019-10-081-1/+1
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-5/+197
* users-guide: Fix links and formats for GHC 8.10Takenobu Tani2019-09-231-2/+2
* users guide: Fix link to let generalization blog postBen Gamari2019-09-191-1/+2
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-43/+0
* Fix CONLIKE typotaylorfausak2019-09-141-1/+1
* Fix StandaloneDerivingNingning Xie2019-09-121-1/+1
* Add a -fprint-axiom-incomps option (#15546)mniip2019-08-071-0/+3
* Add StandaloneDeriving example for DerivingVia.Andreas Klebinger2019-08-021-0/+6
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-16/+35
* users-guide: Fix a variety of broken links and syntaxBen Gamari2019-06-191-0/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+91
* Fix some warnings in users_guide (incl #16640)Oleg Grenrus2019-05-291-0/+1
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-13/+39
* Guard CUSKs behind a language pragmaVladislav Zavialov2019-05-141-0/+12
* Implement ImportQualifiedPostShayne Fletcher2019-05-081-0/+32
* Fix #16593 by having only one definition of -fprint-explicit-runtime-repsChaitanya Koparkar2019-05-051-1/+11
* Make equality constraints in kinds invisibleRyan Scott2019-05-031-4/+5
* TH: make `Lift` and `TExp` levity-polymorphicAlec Theriault2019-04-181-20/+12
* Correct two misspellings of "separately"Chris Martin2019-04-031-1/+1
* users-guide: Typo in Users Guide, Glasgow ExtsFrank Steffahn2019-04-031-1/+1
* User's Guide: extensions compatibilityHaskell-mouse2019-03-251-0/+18
* users-guide: Update Wiki URLs to point to GitLabTakenobu Tani2019-03-191-7/+7
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-4/+4
* Visible dependent quantificationRyan Scott2019-03-011-0/+49
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-35/+77
* User's Guide: forall is a keyword nowadaysVladislav Zavialov2019-02-231-6/+4
* User's Guide: update info on kind inferenceVladislav Zavialov2019-02-231-18/+18
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-0/+22
* ImplicitParams does not imply FlexibleContexts or FlexibleInstances, fixes #1...Neil Mitchell2019-02-081-4/+1
* users guide: consistent spelling of inlinableBen Price2019-01-231-1/+1
* Visible kind applicationmynguyen2019-01-031-7/+11
* Improve documention of TypeInTypeSimon Peyton Jones2018-12-211-2/+3
* Enable rebindable fail with overloaded stringsShayne Fletcher2018-12-111-1/+4
* Fix #12102/#15872 by removing outdated users' guide proseRyan Scott2018-12-071-36/+13
* Fix #15828, from `More explicit foralls`Matthew Yacavone2018-11-291-3/+3
* Fix a typo in the description of -fabstract-refinement-hole-fitsDmitry Ivanov2018-11-171-1/+1
* user's guide: typo in ViewPatterns exampleBen Price2018-11-171-1/+1
* users-guide: Update link to Safe Coercions paperBen Gamari2018-11-021-1/+1
* users guide: Introduce :pragma: directiveBen Gamari2018-10-291-75/+144
* Finish fix for #14880.Tobias Dammers2018-10-281-78/+183
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-4/+64
* Improve documentation about overlapping instancesSimon Peyton Jones2018-10-251-14/+36
* Set `infixr -1 ->`Alec Theriault2018-10-041-2/+1
* Quantify class variables first in associated families' kindsRyan Scott2018-10-011-0/+12
* users guide: Fix a few issuesFrank Steffahn2018-09-201-4/+4
* Users guide: EmptyDataDecls on by defaultChris Martin2018-09-181-2/+10