summaryrefslogtreecommitdiff
path: root/docs
Commit message (Expand)AuthorAgeFilesLines
* users_guide: Various spelling fixesBen Gamari2015-06-1620-51/+78
|\
| * users_guide: Various spelling fixesBen Gamari2015-06-1620-51/+78
* | Add versioning section to Backpack docs.Edward Z. Yang2015-06-123-4/+148
* | Docs: `-XTypeOperators` (#10175)Thomas Miedema2015-06-121-1/+1
* | Docs: it's `gv --orientation=seascape` nowadays (#10497)Thomas Miedema2015-06-121-2/+2
* | docs: Fix unicode alternatives table (fixes #10509).Sebastian Reuße2015-06-121-5/+5
* | Revert "Support for multiple signature files in scope."Edward Z. Yang2015-06-111-5/+0
* | Another major improvement of "improvement"Simon Peyton Jones2015-06-111-1/+11
* | docs: Fix #10416Austin Seipp2015-06-104-4/+4
* | Revert "docs: Fix #10416"Austin Seipp2015-06-081-1/+1
* | docs: Fix #10416Austin Seipp2015-06-051-1/+1
* | Move liftData and use it as a default definition for Lift.Edward Z. Yang2015-06-031-0/+12
* | Allow Any return in foreign prim, fixes #10460.Edward Z. Yang2015-06-031-1/+2
* | Remove outdated uBackpack docs.Edward Z. Yang2015-06-022-381/+0
* | Suggest -H to improve GC productivity, fixes #10474.Edward Z. Yang2015-06-021-2/+6
* | Detabify a programlisting in the User's Guide (#10425)Reid Barton2015-06-021-1/+1
* | Typofix: missing period. (#10460)Edward Z. Yang2015-06-011-1/+1
* | Add information about allowed foreign prim args, see #10460.Edward Z. Yang2015-06-011-1/+7
* | Replace tabs with spaces.Edward Z. Yang2015-06-011-118/+118
|/
* Add missing name for FFI import (fixes #9950)erdeszt2015-05-251-1/+1
* Backpack docs: Clarifications from today's Skype call.Edward Z. Yang2015-05-192-16/+28
* ghci: Allow :back and :forward to take countsBen Gamari2015-05-192-6/+15
* user guide: correct documentation for -Wall (fixes #10386)Alexander Eyers-Taylor2015-05-191-8/+9
* Backpack docs: Rewrite type checking section to have a more concrete plan.Edward Z. Yang2015-05-142-200/+225
* Update Safe Haskell documentation.David Terei2015-05-121-264/+398
* Backpack docs: Consistently italicize metavariables.Edward Z. Yang2015-05-122-85/+85
* Backpack docs: proper discourse on ModIface and ModDetails.Edward Z. Yang2015-05-112-26/+124
* Ignore out and toc files.Edward Z. Yang2015-05-111-0/+2
* Backpack docs: more carefully describe unification versus unioning.Edward Z. Yang2015-05-112-7/+6
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-112-3/+8
* Revert stage 1 template-haskell. This is a combination of 5 commits.Edward Z. Yang2015-05-092-8/+3
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-092-3/+8
* Backpack docs: AvailInfo plan, and why selectors are hard.Edward Z. Yang2015-05-082-14/+109
* Backpack docs: meditate on AvailTC with four examples.Edward Z. Yang2015-05-072-26/+233
* rts: add "-no-rtsopts-suggestions" optionJavran Cheng2015-05-062-0/+29
* Permit empty closed type familiesAdam Gundry2015-05-041-1/+13
* Typeset Backpack semantic entities in figure, figure-ify all asides.Edward Z. Yang2015-04-302-22/+47
* Typo fixes (mostly in comments)Gabor Greif2015-04-301-2/+2
* Typeset Backpack syntax in a figureSimon Peyton Jones2015-04-301-13/+25
* Backpack docs: merge backpack-shaping into algorithm, sigs no longer provideEdward Z. Yang2015-04-285-934/+376
* Full type checking Backpack details.ghc-julyEdward Z. Yang2015-04-272-34/+180
* Backpack docs: explain alternate merging scheme.Edward Z. Yang2015-04-272-13/+47
* Flesh out some more Backpack examples in the merging section.Edward Z. Yang2015-04-272-2/+85
* Updates to Backpack documentation based on recent visit to MSRC.Edward Z. Yang2015-04-259-595/+1491
* Change default roles in hs-boot files. (#9204)Richard Eisenberg2015-04-242-2/+13
* Fix the formal operational semantics (#10121)Richard Eisenberg2015-04-245-30/+48
* Better documetation of higher rank typesSimon Peyton Jones2015-04-221-14/+48
* Improve error reporting for impredicative typesSimon Peyton Jones2015-04-221-7/+7
* Implement -f[no-]print-unicode-syntax flag for unicode syntax output (#8959)Bertram Felgenhauer2015-04-142-4/+20
* Typos in error messages and in commentsGabor Greif2015-04-102-2/+2