Extend TyCons and DataCons to represent data instance decls

[ghc-hetmet.git] / compiler / iface / BinIface.hs

diff --git a/compiler/iface/BinIface.hs b/compiler/iface/BinIface.hs
index 9ae85a2..ac28ddb 100644 (file)
--- a/compiler/iface/BinIface.hs
+++ b/compiler/iface/BinIface.hs
@@ -903,7 +903,7 @@ instance Binary IfaceDecl where
            put_ bh idinfo
     put_ bh (IfaceForeign ae af) = 
        error "Binary.put_(IfaceDecl): IfaceForeign"
            put_ bh idinfo
     put_ bh (IfaceForeign ae af) = 
        error "Binary.put_(IfaceDecl): IfaceForeign"

-    put_ bh (IfaceData a1 a2 a3 a4 a5 a6 a7) = do
+    put_ bh (IfaceData a1 a2 a3 a4 a5 a6 a7 a8) = do

            putByte bh 2
            put_ bh a1
            put_ bh a2
            putByte bh 2
            put_ bh a1
            put_ bh a2

@@ -912,7 +912,7 @@ instance Binary IfaceDecl where
            put_ bh a5
            put_ bh a6
            put_ bh a7
            put_ bh a5
            put_ bh a6
            put_ bh a7

-
+           put_ bh a8

     put_ bh (IfaceSyn aq ar as at) = do
            putByte bh 3
            put_ bh aq
     put_ bh (IfaceSyn aq ar as at) = do
            putByte bh 3
            put_ bh aq

@@ -944,7 +944,8 @@ instance Binary IfaceDecl where
                    a5 <- get bh
                    a6 <- get bh
                    a7 <- get bh
                    a5 <- get bh
                    a6 <- get bh
                    a7 <- get bh

-                   return (IfaceData a1 a2 a3 a4 a5 a6 a7)
+                   a8 <- get bh
+                   return (IfaceData a1 a2 a3 a4 a5 a6 a7 a8)

              3 -> do
                    aq <- get bh
                    ar <- get bh
              3 -> do
                    aq <- get bh
                    ar <- get bh

@@ -1005,7 +1006,7 @@ instance Binary IfaceConDecls where
                      return (IfNewTyCon aa)
 
 instance Binary IfaceConDecl where
                      return (IfNewTyCon aa)
 
 instance Binary IfaceConDecl where

-    put_ bh (IfCon a1 a2 a3 a4 a5 a6 a7 a8 a9) = do
+    put_ bh (IfCon a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) = do

            put_ bh a1
            put_ bh a2
            put_ bh a3
            put_ bh a1
            put_ bh a2
            put_ bh a3

@@ -1015,6 +1016,7 @@ instance Binary IfaceConDecl where
            put_ bh a7
            put_ bh a8
            put_ bh a9
            put_ bh a7
            put_ bh a8
            put_ bh a9

+           put_ bh a10

     get bh = do a1 <- get bh
                a2 <- get bh
                a3 <- get bh          
     get bh = do a1 <- get bh
                a2 <- get bh
                a3 <- get bh          

@@ -1024,7 +1026,8 @@ instance Binary IfaceConDecl where
                a7 <- get bh
                a8 <- get bh
                a9 <- get bh
                a7 <- get bh
                a8 <- get bh
                a9 <- get bh

-               return (IfCon a1 a2 a3 a4 a5 a6 a7 a8 a9)
+               a10 <- get bh
+               return (IfCon a1 a2 a3 a4 a5 a6 a7 a8 a9 a10)

 
 instance Binary IfaceClassOp where
    put_ bh (IfaceClassOp n def ty) = do        
 
 instance Binary IfaceClassOp where
    put_ bh (IfaceClassOp n def ty) = do