[commit: ghc] wip/tdammers/D4394: Fix rebasing mistake (318ce2a)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/tdammers/D4394
Link       : http://ghc.haskell.org/trac/ghc/changeset/318ce2a5e7398b123c21c09b53c8a51415667cdd/ghc

>---------------------------------------------------------------

commit 318ce2a5e7398b123c21c09b53c8a51415667cdd
Author: Tobias Dammers <tdammers at gmail.com>
Date:   Tue Mar 20 17:08:01 2018 +0100

    Fix rebasing mistake


>---------------------------------------------------------------

318ce2a5e7398b123c21c09b53c8a51415667cdd
 compiler/types/TyCoRep.hs | 4 ----
 libraries/array           | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index 6695761..3fa88a2 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -849,10 +849,6 @@ data Coercion
   | SymCo Coercion             -- :: e -> e
   | TransCo Coercion Coercion  -- :: e -> e -> e
 
-    -- The number coercions should match exactly the expectations
-    -- of the CoAxiomRule (i.e., the rule is fully saturated).
-  | AxiomRuleCo CoAxiomRule [Coercion]
-
   | NthCo  Role Int Coercion     -- Zero-indexed; decomposes (T t0 ... tn)
     -- :: "e" -> _ -> e0 -> e (inverse of TyConAppCo, see Note [TyConAppCo roles])
     -- Using NthCo on a ForAllCo gives an N coercion always
diff --git a/libraries/array b/libraries/array
index 1d0435f..9d63218 160000
--- a/libraries/array
+++ b/libraries/array
@@ -1 +1 @@
-Subproject commit 1d0435f4937f03901e32304e279f46ce19b0f089
+Subproject commit 9d63218fd067ff4885c0efa43b388238421a5c89