summaryrefslogtreecommitdiff
path: root/compiler/basicTypes/DataCon.hi-boot-5
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/basicTypes/DataCon.hi-boot-5')
-rw-r--r--compiler/basicTypes/DataCon.hi-boot-55
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/basicTypes/DataCon.hi-boot-5 b/compiler/basicTypes/DataCon.hi-boot-5
new file mode 100644
index 0000000000..f5a8a2d6a8
--- /dev/null
+++ b/compiler/basicTypes/DataCon.hi-boot-5
@@ -0,0 +1,5 @@
+__interface DataCon 1 0 where
+__export DataCon DataCon isExistentialDataCon dataConName ;
+1 data DataCon ;
+1 isExistentialDataCon :: DataCon -> PrelBase.Bool ;
+1 dataConName :: DataCon -> Name.Name ;