summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts
Commit message (Expand)AuthorAgeFilesLines
* User's guide: fix typo in hasfield.rstsheaf2022-08-021-1/+1
* Docs: fix mistaken claim about kind signaturessheaf2022-07-281-8/+37
* docs: Fix documentation of \casesSimon Jakobi2022-07-251-3/+3
* Docs: clarify ConstraintKinds infelicitysheaf2022-07-251-11/+17
* Implement DeepSubsumptionSimon Peyton Jones2022-07-252-10/+36
* Allow `let` just before pure/return in ApplicativeDoZiyang Liu2022-05-061-5/+4
* Update user guide example rewrite rules formattingMarius Ghita2022-04-301-3/+3
* Ensure that Any is Boxed in FFI imports/exportssheaf2022-04-271-2/+3
* Document behaviour of RULES with KnownNatBodigrim2022-04-251-0/+9
* Document that DuplicateRecordFields doesn't tolerates ambiguous fieldsHécate Moonlight2022-04-123-106/+70
* Fixes to 9.4 release notesKrzysztof Gogolewski2022-04-081-2/+2
* Properly explain where INLINE pragmas can appear.Andreas Klebinger2022-04-071-6/+41
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-012-5/+19
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-013-5/+4
* Document typed splices inhibiting unused bind detection (#16524)jberryman2022-03-281-0/+3
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-0/+24
* Always generalise top-level bindingsSimon Peyton Jones2022-03-071-17/+25
* Update documentation of LiberalTypeSynonymsKrzysztof Gogolewski2022-03-041-21/+1
* docs: Add note to RULES documentation about locally bound variables [skip ci]Matthew Pickering2022-03-031-0/+25
* Remove -Wunticked-promoted-constructors from -WallKrzysztof Gogolewski2022-02-225-49/+51
* Docs:Mention that safe calls don't keep their arguments alive.Andreas Klebinger2022-02-101-2/+9
* Ctd. #18087: complete :since: info for all warnings in users guideAndreas Abel2022-01-271-0/+2
* Note that ImpredicativeTypes doesn’t allow polymorphic instancesAnselm Schüler2022-01-191-0/+9
* ms and gh linksEric Lindblad2022-01-181-2/+2
* docs: MonadComprehension desugar using Alternative rather than MonadPlusMatthew Pickering2022-01-111-2/+2
* Fix parsing & printing of unboxed sumssheaf2022-01-111-0/+15
* User's guide: newtype decls can use GADTSyntaxsheaf2022-01-023-4/+32
* Fix typosKrzysztof Gogolewski2021-12-252-2/+2
* user-guide: Fix :since: of -XCApiFFIBen Gamari2021-12-011-1/+1
* Misc cleanupKrzysztof Gogolewski2021-11-253-31/+12
* Improvements to rank_polymorphism.rstsheaf2021-11-101-11/+21
* Don't default type variables in type familiessheaf2021-10-261-3/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-1/+6
* Document interaction between unsafe FFI and GCAlexander Kjeldaas2021-09-291-5/+23
* Remove outdated note about pragma layouttaylorfausak2021-09-281-3/+1
* Documentation: use https linksKrzysztof Gogolewski2021-09-0823-48/+48
* Minor doc fixesKrzysztof Gogolewski2021-09-083-23/+25
* Fix code example in the documentation of subsumptionARATA Mizuki2021-09-071-1/+1
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-041-0/+5
* Add Generically (generic Semigroup, Monoid instances) and Generically1 (gener...Baldur Blöndal2021-08-021-5/+26
* Improve docs of bang patterns (#19068)Krzysztof Gogolewski2021-07-281-43/+62
* Document DerivingVia unsafety (#19786)Krzysztof Gogolewski2021-07-281-2/+3
* Docs: use :default: and :ghc-ticket:Krzysztof Gogolewski2021-07-286-8/+7
* Use HsExpansion for overloaded list patternssheaf2021-06-291-0/+12
* user-guide: Improve documentation of NumDecimalsZubin Duggal2021-06-271-6/+16
* Update quantified_constraints.rstChristian Takle2021-06-241-2/+2
* There's no "errorWithCallStack", just use "error".Viktor Dukhovni2021-06-241-9/+8
* Fix a typo in pattern synonyms docPotato Hatsue2021-06-221-2/+2
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-0/+1
* Corrected typoAriFordsham2021-06-161-1/+1
View Lorry Controller Status