From fdf8656855d26105ff36bdd24d41827b05037b91 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Tue, 19 Apr 2011 11:06:20 +0100
Subject: This BIG PATCH contains most of the work for the New Coercion
 Representation

See the paper "Practical aspects of evidence based compilation in System FC"

* Coercion becomes a data type, distinct from Type

* Coercions become value-level things, rather than type-level things,
  (although the value is zero bits wide, like the State token)
  A consequence is that a coerion abstraction increases the arity by 1
  (just like a dictionary abstraction)

* There is a new constructor in CoreExpr, namely Coercion, to inject
  coercions into terms
---
 compiler/ghc.cabal.in | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'compiler/ghc.cabal.in')

diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in
index c509eb6255..b3b4069f80 100644
--- a/compiler/ghc.cabal.in
+++ b/compiler/ghc.cabal.in
@@ -424,6 +424,7 @@ Library
         Generics
         InstEnv
         TyCon
+        Kind
         Type
         TypeRep
         Unify
@@ -450,6 +451,7 @@ Library
         MonadUtils
         OrdList
         Outputable
+        Pair
         Panic
         Pretty
         Serialized
-- 
cgit v1.2.1