summaryrefslogtreecommitdiff
path: root/docs
Commit message (Collapse)AuthorAgeFilesLines
* Try to explain the applicativity problemEdward Z. Yang2014-07-161-10/+86
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Improve documentation of overlapping instances (again)Simon Peyton Jones2014-07-151-55/+73
| | | | Prompted by Trac #9288
* Improve documentation of :set/:setiSimon Peyton Jones2014-07-152-37/+47
| | | | Prompted by Trac #9299
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-31/+72
| | | | | | | | | | | | | | | | | | | | | | | | | | | In looking at Trac #9063 I decided to re-design the default instances for associated type synonyms. Previously it was all jolly complicated, to support generality that no one wanted, and was arguably undesirable. Specifically * The default instance for an associated type can have only type variables on the LHS. (Not type patterns.) * There can be at most one default instances declaration for each associated type. To achieve this I had to do a surprisingly large amount of refactoring of HsSyn, specifically to parameterise HsDecls.TyFamEqn over the type of the LHS patterns. That change in HsDecls has a (trivial) knock-on effect in Haddock, so this commit does a submodule update too. The net result is good though. The code is simpler; the language specification is simpler. Happy days. Trac #9263 and #9264 are thereby fixed as well.
* Finish TCs sectionEdward Z. Yang2014-07-141-85/+238
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Type classesEdward Z. Yang2014-07-141-11/+268
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [backpack] Rework definite package compilationEdward Z. Yang2014-07-101-105/+103
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Make the example a little more complexEdward Z. Yang2014-07-101-142/+208
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Start expanding out linking textEdward Z. Yang2014-07-091-92/+239
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add hyperref package.Edward Z. Yang2014-07-091-0/+1
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [docs/backpack] Get lint to stop complainingEdward Z. Yang2014-07-091-6/+6
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Scott's updates to the impl paper.Edward Z. Yang2014-07-091-25/+92
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Private axiom comment in BackpackEdward Z. Yang2014-07-071-2/+27
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Set mdo in typewriter faceGabor Greif2014-07-051-1/+2
|
* Minor edits to Backpack design docEdward Z. Yang2014-07-021-19/+92
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Finish up incomplete sectionsEdward Z. Yang2014-07-021-90/+230
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Finish the simple elaboration algoEdward Z. Yang2014-07-021-20/+41
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: Compilation, surface syntax, and package databaseEdward Z. Yang2014-07-011-92/+434
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Document #8883 in the release notesJan Stolarek2014-06-301-1/+14
|
* Minor updates to Backpack docs.Edward Z. Yang2014-06-281-7/+10
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add -XBinaryLiterals language extension (re #9224)Herbert Valerio Riedel2014-06-273-1/+27
| | | | | | | | | | | | | | | | | | | | | | | Haskell2010 supports - base-10 (prefix-less), - base-8 (via `0[oO]`-prefix), and - base-16 (via `0[xX]`-prefix) integer literals. This commit adds syntax support for base-2 integer literals via the new `0[bB]` prefix. The use of a `0b` prefix for indicating binary literals is known from popular programming languages such as C++14, Perl, Python, Ruby, and Java. This syntax extension is disabled by default and can be enabled via the new `{-# LANGUAGE BinaryLiterals #-}` pragma and/or the new `-XBinaryLiterals` This new extensions requires to upgrade the `ExtsBitmap` type from `Word` to `Word64` as this adds a 33th flag which is not guaranteed to fit into a `Word`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> Differential Revision: https://phabricator.haskell.org/D22
* Fix docs typo.Edward Z. Yang2014-06-271-1/+1
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add new flag -fwrite-interface for -fno-code.Edward Z. Yang2014-06-262-2/+22
| | | | | | | | | | | | | | | | | | | Summary: Normally, -fno-code does not generate interface files. However, if you want to use it to type check over multiple runs of GHC, you will need the interface files to check source files further down the dependency chain; -fwrite-interface does this for you. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: clean validate, and a new test-case Reviewers: simonpj Subscribers: simonmar, relrod, carter Differential Revision: https://phabricator.haskell.org/D27
* Lots of rewrites to further move toward new world orderEdward Z. Yang2014-06-261-479/+291
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* The linking restriction, no shaping necessary.Edward Z. Yang2014-06-251-165/+332
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Describe signature mini-backpack.Edward Z. Yang2014-06-241-28/+96
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* More updates to Backpack impl docs.Edward Z. Yang2014-06-232-17/+146
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* More fixes and updates to implementation documentEdward Z. Yang2014-06-202-76/+264
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Improve documentation of defaulting rules with OverloadedStringsSimon Peyton Jones2014-06-201-3/+12
| | | | See #9206
* Add a new section to the manual about hiding things that a module doesn't exportSimon Peyton Jones2014-06-201-4/+35
| | | | See Trac #9216
* Finish the rest of the writeup.Edward Z. Yang2014-06-191-81/+242
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* In progress Backpack implementation docs.Edward Z. Yang2014-06-188-0/+327
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Fixes #95 :edit command should jump to the last errorLorenzo Tabacchini2014-06-131-1/+3
|
* Document explicit import/export of data constructors (Trac #8753)Simon Peyton Jones2014-06-091-31/+46
| | | | I also added sub-sections to the pattern synonym documentation
* Document -fwarn-inline-rule-shadowing (Trac #9166)Simon Peyton Jones2014-06-092-2/+19
|
* Improve documentation for -fwarn-unused-bindsSimon Peyton Jones2014-06-091-9/+44
|
* s/-hi-diffs/-ddump-hi-diffs/ in docs (#9179)Joachim Breitner2014-06-071-2/+2
|
* Make DeriveTraversable imply DeriveFunctor/FoldableSjoerd Visscher2014-06-061-1/+5
| | | | Implements #9069
* Merge branch 'master' of git://git.haskell.org/ghcSjoerd Visscher2014-06-063-3/+5
|\ | | | | | | | | Conflicts: docs/users_guide/flags.xml
| * Subsume NullaryTypeClasses by MultiParamTypeClasses (#8993)Owen Stephens2014-06-042-1/+4
| | | | | | | | MPTC now also handles the nullary case
| * fix missing spaceRyan Mulligan2014-06-021-1/+1
| |
* | Added more option implication documentation.Sjoerd Visscher2014-06-061-32/+48
| |
* | Sorted the language options list alphabetically, and added missing options.Sjoerd Visscher2014-06-061-219/+271
| |
* | Added link ends to role documentation.Sjoerd Visscher2014-06-061-3/+3
|/
* Catch some typosGabor Greif2014-05-191-2/+2
|
* Remove the bit about External Core from flags.xmlSimon Peyton Jones2014-05-191-28/+0
| | | | This is a lefover vestige from Austin's removal of External Core
* Tighten up wording in the section on let-generalisation and MonoLocalBindsSimon Peyton Jones2014-05-191-14/+35
|
* Remove external coreAustin Seipp2014-05-036-1908/+1
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Print for-alls more often (Trac #9018)Simon Peyton Jones2014-04-281-6/+23
| | | | | | | | We now display the foralls of a type if any of the type variables is polykinded. This put kind polymorphism "in your face" a bit more often, but eliminates a lot of head scratching. The user manual reflects the new behaviour.
* Start on 7.10.1 release notesAustin Seipp2014-04-283-1252/+364
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
View Lorry Controller Status