The Backpack patch.

Summary:
This patch implements Backpack for GHC.  It's a big patch but I've tried quite
hard to keep things, by-in-large, self-contained.

The user facing specification for Backpack can be found at:

    https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst

A guide to the implementation can be found at:

    https://github.com/ezyang/ghc-proposals/blob/backpack-impl/proposals/0000-backpack-impl.rst

Has a submodule update for Cabal, as well as a submodule update
for filepath to handle more strict checking of cabal-version.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Test Plan: validate

Reviewers: simonpj, austin, simonmar, bgamari, goldfire

Subscribers: thomie, mpickering

Differential Revision: https://phabricator.haskell.org/D1482

1 files changed, 13 insertions, 0 deletions

diff --git a/testsuite/tests/backpack/should_fail/bkpfail13.bkp b/testsuite/tests/backpack/should_fail/bkpfail13.bkp
new file mode 100644
index 0000000000..55d32bd799
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail13.bkp
@@ -0,0 +1,13 @@
+-- Q by a different name
+unit p where
+    signature Q where
+        f :: Int
+    module P where
+unit q where
+    module QMe where
+        f = True
+unit r where
+    dependency p[Q=q:QMe]
+    signature H where
+    module R where
+        import P