aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2009-03-21 14:58:52 +0000
committerDavid Waern <david.waern@gmail.com>2009-03-21 14:58:52 +0000
commit5e7488a1fce9617e368874e47db8c0939096dbaf (patch)
tree732bc0bc5305d328e62a9dea6d057b5ea8ec1658 /src
parentedb31d6f2dd967823e6df52a137ef7078a61311f (diff)
Bump .haddock file version number (due to change of format)
Diffstat (limited to 'src')
-rw-r--r--src/Haddock/InterfaceFile.hs16
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