Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix a mistyped label that caused a stray reference | Gabor Greif | 2014-01-12 | 1 | -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 Eisenberg | 2014-01-10 | 1 | -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 Eisenberg | 2014-01-10 | 1 | -0/+29 |
| | | | | | We do *not* propagate kind information from an instance declaration's members back into the instance head. | ||||
* | Comment typos only | Gabor Greif | 2014-01-10 | 1 | -1/+1 |
| | |||||
* | Improve documentation of :module etc (Trac #8622) | Simon Peyton Jones | 2014-01-09 | 1 | -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 Glushenkov | 2013-12-17 | 1 | -1/+3 |
| | | | | (Closes: #8617) | ||||
* | Copy-pasto. | Mikhail Glushenkov | 2013-12-17 | 1 | -1/+1 |
| | |||||
* | New flag: -ddump-strsigs | Joachim Breitner | 2013-12-09 | 2 | -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 Gogolewski | 2013-11-30 | 1 | -1/+1 |
| | |||||
* | Update "stolen syntax" section (#8575) | Krzysztof Gogolewski | 2013-11-30 | 1 | -1/+3 |
| | |||||
* | Update "stolen syntax" section (#8575) | Krzysztof Gogolewski | 2013-11-29 | 1 | -3/+4 |
| | | | | Thanks to aavogt | ||||
* | Minor fix to example GHC plugin in the documentation | Joachim Breitner | 2013-11-29 | 1 | -1/+1 |
| | |||||
* | Update to core-spec documentation. | Richard Eisenberg | 2013-11-25 | 4 | -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 Constraint | Joachim Breitner | 2013-11-24 | 1 | -3/+4 |
| | | | | (required judging from confusion on #haskell right now.) | ||||
* | Add -ftype-function-stack to set type function stack depth | Joachim Breitner | 2013-11-22 | 1 | -0/+6 |
| | |||||
* | Add docs for #8305 | Austin Seipp | 2013-11-07 | 1 | -0/+55 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Fix typo in User's Guide | Pedro Rodrigues | 2013-11-07 | 1 | -1/+1 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Allow optional 'family' and 'instance' keywords in associated type instances | Simon Peyton Jones | 2013-11-07 | 1 | -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 notes | Krzysztof Gogolewski | 2013-11-04 | 1 | -4/+19 |
| | |||||
* | Update obsolete URLs in documentation | Herbert Valerio Riedel | 2013-11-04 | 2 | -2/+2 |
| | | | | Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> | ||||
* | Bump all version numbers in release notes. | Austin Seipp | 2013-11-02 | 1 | -17/+17 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Another release note fix. | Austin Seipp | 2013-10-26 | 1 | -5/+5 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Fix bad grammar. | Austin Seipp | 2013-10-26 | 1 | -1/+1 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Release note blurb for stack size changes. | Austin Seipp | 2013-10-26 | 1 | -0/+11 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Release note blurb about ELF weak symbols. | Austin Seipp | 2013-10-25 | 1 | -3/+9 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Release note wibble. | Austin Seipp | 2013-10-25 | 1 | -1/+4 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Release note blurbs for directory. | Austin Seipp | 2013-10-25 | 1 | -0/+17 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Update documentation regarding SpecConstr. | Austin Seipp | 2013-10-25 | 2 | -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 size | Ben Gamari | 2013-10-25 | 1 | -5/+6 |
| | |||||
* | users_guide: Document zero stack size limit | Ben Gamari | 2013-10-25 | 1 | -1/+2 |
| | |||||
* | Add doc link | Simon Peyton Jones | 2013-10-24 | 1 | -1/+2 |
| | |||||
* | Update user manual with respect to new default for class roles. | Richard Eisenberg | 2013-10-23 | 1 | -9/+23 |
| | |||||
* | Add typed Template Haskell details to the release notes. | Geoffrey Mainland | 2013-10-17 | 1 | -0/+14 |
| | |||||
* | Document new typed Template Haskell features. | Geoffrey Mainland | 2013-10-17 | 1 | -3/+138 |
| | |||||
* | Fix typo | Geoffrey Mainland | 2013-10-17 | 1 | -2/+2 |
| | |||||
* | Correct release notes about SIMD support. | Geoffrey Mainland | 2013-10-17 | 1 | -4/+2 |
| | |||||
* | Typo in manual | Krzysztof Gogolewski | 2013-10-15 | 1 | -2/+2 |
| | | | | Remove remains of old role syntax | ||||
* | Release note fix. | Austin Seipp | 2013-10-09 | 1 | -2/+3 |
| | | | | | | Thanks to Gergely Risko for pointing this out. Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Fix grammar | Gabor Greif | 2013-10-08 | 1 | -1/+1 |
| | |||||
* | docs for new layout behaviour with MultiWayIf (#7783) | Simon Marlow | 2013-10-08 | 1 | -1/+29 |
| | |||||
* | Add release note item for new Monoid Const instance | Herbert Valerio Riedel | 2013-10-05 | 1 | -0/+5 |
| | | | | | | See [6f3a194accd2a1a75a3f86c1b4dca30521488110/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> | ||||
* | Wibble in user docs | Simon Peyton Jones | 2013-10-04 | 1 | -2/+3 |
| | |||||
* | Improve -XAllowAmbiguousTypes (Trac #8392) | Simon Peyton Jones | 2013-10-03 | 1 | -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 tuples | Krzysztof Gogolewski | 2013-10-02 | 1 | -10/+7 |
| | | | | Since 7.6 they can be used as function arguments | ||||
* | Release note updates. | Austin Seipp | 2013-10-02 | 1 | -4/+38 |
| | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
* | Documentation for -fprint-explicit-foralls and -fprint-explicit-kinds | Simon Peyton Jones | 2013-10-01 | 2 | -84/+132 |
| | | | | Plus a tidy-up of the flag documentation in the immediate area | ||||
* | Better docs for MINIMAL | unknown | 2013-10-01 | 1 | -1/+8 |
| | |||||
* | Clarification in the docs for INLINE | Simon Marlow | 2013-10-01 | 1 | -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 HBC | Simon Marlow | 2013-10-01 | 1 | -9/+0 |
| | |||||
* | grammar fix | Simon Marlow | 2013-10-01 | 1 | -1/+1 |
| |