X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FCoreUnfold.hi-boot-5;fp=ghc%2Fcompiler%2FcoreSyn%2FCoreUnfold.hi-boot-5;h=0000000000000000000000000000000000000000;hb=a127213c1890584702075d732d7bb9887113e4ff;hp=319191e8542459a006ab41e3757125768376fc66;hpb=8ddfc3c10a9d08e11812b5564da291d7024d5fc8;p=ghc-hetmet.git

diff --git a/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5 b/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5
deleted file mode 100644
index 319191e..0000000
--- a/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5
+++ /dev/null
@@ -1,8 +0,0 @@
-__interface CoreUnfold 1 0 where
-__export CoreUnfold Unfolding UnfoldingGuidance noUnfolding hasUnfolding isEvaldUnfolding seqUnfolding ;
-1 data Unfolding;
-1 data UnfoldingGuidance;
-1 noUnfolding :: Unfolding ;
-1 hasUnfolding :: Unfolding -> PrelBase.Bool ;
-1 seqUnfolding :: Unfolding -> PrelBase.Z0T ;
-1 isEvaldUnfolding :: Unfolding -> PrelBase.Bool ;