summaryrefslogtreecommitdiff
path: root/compiler/backpack/BkpSyn.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/backpack/BkpSyn.hs')
-rw-r--r--compiler/backpack/BkpSyn.hs7
1 files changed, 6 insertions, 1 deletions
diff --git a/compiler/backpack/BkpSyn.hs b/compiler/backpack/BkpSyn.hs
index e019d03b24..a7e4db30dd 100644
--- a/compiler/backpack/BkpSyn.hs
+++ b/compiler/backpack/BkpSyn.hs
@@ -68,7 +68,12 @@ type LHsUnitDecl n = Located (HsUnitDecl n)
-- | An include of another unit
data IncludeDecl n = IncludeDecl {
idUnitId :: LHsUnitId n,
- idModRenaming :: Maybe [ LRenaming ]
+ idModRenaming :: Maybe [ LRenaming ],
+ -- | Is this a @dependency signature@ include? If so,
+ -- we don't compile this include when we instantiate this
+ -- unit (as there should not be any modules brought into
+ -- scope.)
+ idSignatureInclude :: Bool
}
-- | Rename a module from one name to another. The identity renaming