summaryrefslogtreecommitdiff
path: root/docs/users_guide/glasgow_exts.rst
Commit message (Expand)AuthorAgeFilesLines
* 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
* users-guide: Fix code-block layout for QuantifiedConstraintsTakenobu Tani2018-09-171-4/+4
* Typo in user guide wrongly claims DeriveLift was added in 7.2Merijn Verstraaten2018-09-131-1/+1
* users-guide: Disable syntax highlightingTakenobu Tani2018-09-071-2/+6
* Documentation tweaksKrzysztof Gogolewski2018-09-071-18/+7
* Remove duplicate "since" field in glasgow_exts.rstJosh Price2018-09-031-2/+0
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-281-0/+11
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-5/+4
* Allow scoped type variables refer to typesJoachim Breitner2018-08-051-5/+0
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-43/+0
* Fix some typos in docsSasa Bogicevic2018-07-171-14/+14
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-5/+3
* Add flag to show docs of valid hole fitsMatthías Páll Gissurarson2018-07-121-0/+15
* Trac #8581 users_guide/glasgow_exts section 10.7AntC2018-07-121-1/+35
* Correct Simple to Complex wordingSasa Bogicevic2018-07-121-2/+2
View Lorry Controller Status