summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo/Rep.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Core/TyCo/Rep.hs-boot')
-rw-r--r--compiler/GHC/Core/TyCo/Rep.hs-boot3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Core/TyCo/Rep.hs-boot b/compiler/GHC/Core/TyCo/Rep.hs-boot
index 9b82d3cfa5..714b6371f1 100644
--- a/compiler/GHC/Core/TyCo/Rep.hs-boot
+++ b/compiler/GHC/Core/TyCo/Rep.hs-boot
@@ -9,8 +9,9 @@ import {-# SOURCE #-} GHC.Core.TyCon ( TyCon )
data Type
data Coercion
data FunSel
+data DCoercion
data CoSel
-data UnivCoProvenance
+data UnivCoProvenance co
data TyLit
data MCoercion