summaryrefslogtreecommitdiff
path: root/docs/backpack
Commit message (Collapse)AuthorAgeFilesLines
* Typo in docsBen Gamari2016-02-011-2/+2
| | | | | | | | | | | | | | | Spelling mistakes fixed, * identiy > identity * suprising > surprising Reviewers: austin, bgamari Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1871
* Typos in commentsGabor Greif2016-01-271-1/+1
|
* Backpack documentation updates for component IDs [no-ci]Edward Z. Yang2015-10-291-160/+188
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Fix algorithm.tex build and update with some new info.Edward Z. Yang2015-08-261-8/+77
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Big batch of Backpack documentation edits.Edward Z. Yang2015-08-062-762/+898
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Remove checked-in PDFs.Edward Z. Yang2015-07-314-0/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs on renamer and depsolver, also s/package/unit/.Edward Z. Yang2015-07-302-586/+233
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack: Flesh out more Cabal detailsEdward Z. Yang2015-07-072-46/+282
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add versioning section to Backpack docs.Edward Z. Yang2015-06-123-4/+148
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Remove outdated uBackpack docs.Edward Z. Yang2015-06-022-381/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: Clarifications from today's Skype call.Edward Z. Yang2015-05-192-16/+28
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: Rewrite type checking section to have a more concrete plan.Edward Z. Yang2015-05-142-200/+225
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: Consistently italicize metavariables.Edward Z. Yang2015-05-122-85/+85
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: proper discourse on ModIface and ModDetails.Edward Z. Yang2015-05-112-26/+124
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Ignore out and toc files.Edward Z. Yang2015-05-111-0/+2
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: more carefully describe unification versus unioning.Edward Z. Yang2015-05-112-7/+6
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: AvailInfo plan, and why selectors are hard.Edward Z. Yang2015-05-082-14/+109
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: meditate on AvailTC with four examples.Edward Z. Yang2015-05-072-26/+233
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Typeset Backpack semantic entities in figure, figure-ify all asides.Edward Z. Yang2015-04-302-22/+47
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* 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
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Full type checking Backpack details.ghc-julyEdward Z. Yang2015-04-272-34/+180
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: explain alternate merging scheme.Edward Z. Yang2015-04-272-13/+47
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Flesh out some more Backpack examples in the merging section.Edward Z. Yang2015-04-272-2/+85
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Updates to Backpack documentation based on recent visit to MSRC.Edward Z. Yang2015-04-259-595/+1491
| | | | | | Includes lots of shaping examples, and a shaping algorithm description. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* uBackpack: simplified Backpack description.Edward Z. Yang2015-03-314-3/+387
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Update Backpack document with examples [skip ci]Edward Z. Yang2015-01-212-18/+78
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Improved Backpack IR description. [skip ci]Edward Z. Yang2014-12-192-42/+164
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Proposal for Backpack file format [skip ci]Edward Z. Yang2014-12-092-17/+111
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Check in up-to-date PDF copies of Backpack docs. [skip ci]Edward Z. Yang2014-10-232-0/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* More updates to Backpack manual [skip ci]Edward Z. Yang2014-10-231-147/+112
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Rewrite section 1 of the Backpack manual. [skip ci]Edward Z. Yang2014-10-101-202/+344
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Update some out-of-date things in Backpack implementation doc [skip ci]Edward Z. Yang2014-10-071-27/+36
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Initial commit of the Backpack manual [skip ci]Edward Z. Yang2014-10-072-0/+330
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [no-ci] Minor bugfixes in Backpack docs.Edward Z. Yang2014-08-051-15/+10
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [backpack] More revisions to various pieces.Edward Z. Yang2014-08-011-125/+84
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [backpack] Package selectionEdward Z. Yang2014-07-311-213/+412
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* [backpack] Rewrite compilation to be cleaner.Edward Z. Yang2014-07-251-287/+222
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Duplicate wordGabor Greif2014-07-231-1/+1
|
* Write up rename on entryEdward Z. Yang2014-07-231-14/+71
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Definite compilation is a goEdward Z. Yang2014-07-231-145/+412
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add a summary section.Edward Z. Yang2014-07-221-26/+77
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Rewrite package/module identity sectionEdward Z. Yang2014-07-221-155/+314
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* OK, I think we've finally solved granularity.Edward Z. Yang2014-07-173-612/+1229
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Try to explain the applicativity problemEdward Z. Yang2014-07-161-10/+86
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* 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>
View Lorry Controller Status