summaryrefslogtreecommitdiff
path: root/docs
Commit message (Collapse)AuthorAgeFilesLines
* fix a mistyped label that caused a stray referenceGabor Greif2014-01-121-1/+1
| | | | | | | | | | | | | Richard, you may want to regenerate the PDF as I get ! LaTeX Error: File `stmaryrd.sty' not found. with my setup and do not want to mess things up. Also for me ?? appear twice on top of the page 13 and I have tp 'rm core-spec.pdf; make' to get it right.
* Fix #8599.Richard Eisenberg2014-01-101-1/+18
| | | | | | This change is just some documentation around ignoring the context of an enclosing instance when processing `deriving` clauses of an associated data instance.
* Clarify issue in #8630 in users' guide.Richard Eisenberg2014-01-101-0/+29
| | | | | We do *not* propagate kind information from an instance declaration's members back into the instance head.
* Comment typos onlyGabor Greif2014-01-101-1/+1
|
* Improve documentation of :module etc (Trac #8622)Simon Peyton Jones2014-01-091-87/+126
| | | | | I did quite a bit of restructuring, as well as adding the note specifically referred to in #8622
* Mention '-fno-ignore-asserts' in documentation.Mikhail Glushenkov2013-12-171-1/+3
| | | | (Closes: #8617)
* Copy-pasto.Mikhail Glushenkov2013-12-171-1/+1
|
* New flag: -ddump-strsigsJoachim Breitner2013-12-092-0/+16
| | | | | | | The existing flag -ddump-stranal dumps the full Core, which is very verbose and not always helpful. This adds a more concise output (one line per top-level bind) that is faster to read, and especially more suitable to be used when writing test cases for the strictness analiser.
* Fix documentation of FlexibleContexts (#8574)Krzysztof Gogolewski2013-11-301-1/+1
|
* Update "stolen syntax" section (#8575)Krzysztof Gogolewski2013-11-301-1/+3
|
* Update "stolen syntax" section (#8575)Krzysztof Gogolewski2013-11-291-3/+4
| | | | Thanks to aavogt
* Minor fix to example GHC plugin in the documentationJoachim Breitner2013-11-291-1/+1
|
* Update to core-spec documentation.Richard Eisenberg2013-11-254-16/+53
| | | | | This update includes some wibbles to make Co_TyConAppCo clearer, as well as the introduction of forms for AxiomRuleCo.
* Mention that the user has to import GHC.Exts for ConstraintJoachim Breitner2013-11-241-3/+4
| | | | (required judging from confusion on #haskell right now.)
* Add -ftype-function-stack to set type function stack depthJoachim Breitner2013-11-221-0/+6
|
* Add docs for #8305Austin Seipp2013-11-071-0/+55
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix typo in User's GuidePedro Rodrigues2013-11-071-1/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Allow optional 'family' and 'instance' keywords in associated type instancesSimon Peyton Jones2013-11-071-4/+6
| | | | | | | | | | | | | This is to allow class C a where type family F a type instance F a = Bool instance C Int where type instance F Int = Char Plus minor improvements relating to Trac #8506
* Mention some new instances in release notesKrzysztof Gogolewski2013-11-041-4/+19
|
* Update obsolete URLs in documentationHerbert Valerio Riedel2013-11-042-2/+2
| | | | Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Bump all version numbers in release notes.Austin Seipp2013-11-021-17/+17
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Another release note fix.Austin Seipp2013-10-261-5/+5
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix bad grammar.Austin Seipp2013-10-261-1/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Release note blurb for stack size changes.Austin Seipp2013-10-261-0/+11
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Release note blurb about ELF weak symbols.Austin Seipp2013-10-251-3/+9
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Release note wibble.Austin Seipp2013-10-251-1/+4
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Release note blurbs for directory.Austin Seipp2013-10-251-0/+17
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update documentation regarding SpecConstr.Austin Seipp2013-10-252-2/+51
| | | | | | | | | | * Note new SPEC type in release notes. * Document SPEC in the users guide under the documentation for -fspec-constr. * Clean up comments in SpecConstr regarding the forcing of specialisation (see Note [Forcing specialisation].) Signed-off-by: Austin Seipp <austin@well-typed.com>
* users_guide: Update default maximum stack sizeBen Gamari2013-10-251-5/+6
|
* users_guide: Document zero stack size limitBen Gamari2013-10-251-1/+2
|
* Add doc linkSimon Peyton Jones2013-10-241-1/+2
|
* Update user manual with respect to new default for class roles.Richard Eisenberg2013-10-231-9/+23
|
* Add typed Template Haskell details to the release notes.Geoffrey Mainland2013-10-171-0/+14
|
* Document new typed Template Haskell features.Geoffrey Mainland2013-10-171-3/+138
|
* Fix typoGeoffrey Mainland2013-10-171-2/+2
|
* Correct release notes about SIMD support.Geoffrey Mainland2013-10-171-4/+2
|
* Typo in manualKrzysztof Gogolewski2013-10-151-2/+2
| | | | Remove remains of old role syntax
* Release note fix.Austin Seipp2013-10-091-2/+3
| | | | | | Thanks to Gergely Risko for pointing this out. Signed-off-by: Austin Seipp <austin@well-typed.com>
* Fix grammarGabor Greif2013-10-081-1/+1
|
* docs for new layout behaviour with MultiWayIf (#7783)Simon Marlow2013-10-081-1/+29
|
* Add release note item for new Monoid Const instanceHerbert Valerio Riedel2013-10-051-0/+5
| | | | | | See [6f3a194accd2a1a75a3f86c1b4dca30521488110/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Wibble in user docsSimon Peyton Jones2013-10-041-2/+3
|
* Improve -XAllowAmbiguousTypes (Trac #8392)Simon Peyton Jones2013-10-031-9/+37
| | | | | | | | | * Add a suggestion to add AllowAmbiguousTypes when there is an ambiguity error * Move some of the logic to tcSimplifyAmbiguityCheck * Report inaccessible code regardless of the ambiguity check
* Update manual regarding unboxed tuplesKrzysztof Gogolewski2013-10-021-10/+7
| | | | Since 7.6 they can be used as function arguments
* Release note updates.Austin Seipp2013-10-021-4/+38
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Documentation for -fprint-explicit-foralls and -fprint-explicit-kindsSimon Peyton Jones2013-10-012-84/+132
| | | | Plus a tidy-up of the flag documentation in the immediate area
* Better docs for MINIMALunknown2013-10-011-1/+8
|
* Clarification in the docs for INLINESimon Marlow2013-10-011-7/+26
| | | | | | | People often jump to the conclusion that functions aren't inlined unless you say INLINE, so clarify the documentation to emphasize the fact that you shouldn't normally need to use INLINE unless you need to override the defaults.
* Remove a couple of unnecessary/outdated references to HBCSimon Marlow2013-10-011-9/+0
|
* grammar fixSimon Marlow2013-10-011-1/+1
|