Insert placeholders for missing Shake features

Author: pepeiborra

hls-graph/src/Development/IDE/Graph/Database.hs

@@ -1,23 +1,36 @@
 
+{-# LANGUAGE ExistentialQuantification #-}
 module Development.IDE.Graph.Database(
     Shake.ShakeDatabase,
-    Shake.SomeShakeValue(..),
+    SomeShakeValue(..),
     shakeOpenDatabase,
     shakeRunDatabaseForKeys,
     Shake.shakeProfileDatabase,
     ) where
 
+import           Data.Typeable
 import           Development.IDE.Graph.Internal.Action
 import           Development.IDE.Graph.Internal.Options
 import           Development.IDE.Graph.Internal.Rules
+import           Development.Shake                      (ShakeValue)
+import           Development.Shake.Classes
 import qualified Development.Shake.Database             as Shake
 
 shakeOpenDatabase :: ShakeOptions -> Rules () -> IO (IO Shake.ShakeDatabase, IO ())
 shakeOpenDatabase a b = Shake.shakeOpenDatabase (fromShakeOptions a) (fromRules b)
 
+data SomeShakeValue = forall k . ShakeValue k => SomeShakeValue k
+instance Eq SomeShakeValue where SomeShakeValue a == SomeShakeValue b = cast a == Just b
+instance Hashable SomeShakeValue where hashWithSalt s (SomeShakeValue x) = hashWithSalt s x
+instance Show SomeShakeValue where show (SomeShakeValue x) = show x
+
 shakeRunDatabaseForKeys
-    :: Maybe [Shake.SomeShakeValue]       -- ^ Set of keys changed since last run
+    :: Maybe [SomeShakeValue]
+      -- ^ Set of keys changed since last run. 'Nothing' means everything has changed
     -> Shake.ShakeDatabase
     -> [Action a]
     -> IO ([a], [IO ()])
-shakeRunDatabaseForKeys keys a b = Shake.shakeRunDatabaseForKeys keys a (map fromAction b)
+shakeRunDatabaseForKeys _keys a b =
+    -- Shake upstream does not accept the set of keys changed yet
+    -- https://github.com/ndmitchell/shake/pull/802
+    Shake.shakeRunDatabase a (map fromAction b)