X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FDataCon.hi-boot;h=9a19a92759e52e7dba3e3449b2df266ef3e08e56;hb=4b17269854ccf10df8b3ca1711410a5ca439ea8a;hp=3761c8fca6aff4c2cff7e26fde239e51d1917784;hpb=438596897ebbe25a07e1c82085cfbc5bdb00f09e;p=ghc-hetmet.git

diff --git a/ghc/compiler/basicTypes/DataCon.hi-boot b/ghc/compiler/basicTypes/DataCon.hi-boot
index 3761c8f..9a19a92 100644
--- a/ghc/compiler/basicTypes/DataCon.hi-boot
+++ b/ghc/compiler/basicTypes/DataCon.hi-boot
@@ -1,5 +1,7 @@
 _interface_ DataCon 1
 _exports_
-DataCon DataCon ;
+DataCon DataCon dataConRepType isExistentialDataCon ;
 _declarations_
 1 data DataCon ;
+1 dataConRepType _:_ DataCon -> TypeRep.Type ;;
+1 isExistentialDataCon _:_ DataCon -> PrelBase.Bool ;;