diff options
author | David Waern <david.waern@gmail.com> | 2009-03-21 14:58:52 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2009-03-21 14:58:52 +0000 |
commit | 5e7488a1fce9617e368874e47db8c0939096dbaf (patch) | |
tree | 732bc0bc5305d328e62a9dea6d057b5ea8ec1658 | |
parent | edb31d6f2dd967823e6df52a137ef7078a61311f (diff) |
Bump .haddock file version number (due to change of format)
-rw-r--r-- | src/Haddock/InterfaceFile.hs | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/Haddock/InterfaceFile.hs b/src/Haddock/InterfaceFile.hs index ab312ce8..7ed200ca 100644 --- a/src/Haddock/InterfaceFile.hs +++ b/src/Haddock/InterfaceFile.hs @@ -56,17 +56,23 @@ binaryInterfaceMagic = 0xD0Cface -- and because we store GHC datatypes in our interface files, -- we need to make sure we version our interface files accordingly. -- --- Instead of adding one, we add three to all version numbers +-- Instead of adding one, we add five to all version numbers -- when one of our own (stored) datatypes is changed. binaryInterfaceVersion :: Word16 #if __GLASGOW_HASKELL__ == 608 && __GHC_PATCHLEVEL__ == 2 -binaryInterfaceVersion = 5 +binaryInterfaceVersion = 9 #endif #if __GLASGOW_HASKELL__ == 608 && __GHC_PATCHLEVEL__ == 3 -binaryInterfaceVersion = 6 +binaryInterfaceVersion = 10 #endif -#if __GLASGOW_HASKELL__ >= 609 -binaryInterfaceVersion = 7 +#if __GLASGOW_HASKELL__ == 610 && __GHC_PATCHLEVEL__ == 1 +binaryInterfaceVersion = 11 +#endif +#if __GLASGOW_HASKELL__ == 610 && __GHC_PATCHLEVEL__ == 2 +binaryInterfaceVersion = 12 +#endif +#if __GLASGOW_HASKELL__ == 611 +binaryInterfaceVersion = 13 #endif |