From 4cd41c7f57a05c9d87e2f23a9b039a4cf2de5dfd Mon Sep 17 00:00:00 2001
From: Dmitry Zuikov <dzuikov@gmail.com>
Date: Thu, 13 Jun 2024 10:57:28 +0300
Subject: [PATCH] wip

---
 fixme-new/fixme.cabal                 |  1 +
 fixme-new/lib/Fixme/Run.hs            | 34 +++++++++++++++++++
 fixme-new/lib/Fixme/Scan/Git/Local.hs | 49 +++++++++++++++++++++++++++
 3 files changed, 84 insertions(+)

diff --git a/fixme-new/fixme.cabal b/fixme-new/fixme.cabal
index d8d8997c..bad8b84e 100644
--- a/fixme-new/fixme.cabal
+++ b/fixme-new/fixme.cabal
@@ -83,6 +83,7 @@ common shared-properties
       , scientific
       , streaming
       , stm
+      , split
       , text
       , temporary
       , time
diff --git a/fixme-new/lib/Fixme/Run.hs b/fixme-new/lib/Fixme/Run.hs
index 8da05883..d10859eb 100644
--- a/fixme-new/lib/Fixme/Run.hs
+++ b/fixme-new/lib/Fixme/Run.hs
@@ -737,6 +737,40 @@ runForms ss = for_  ss $ \s -> do
         Left (fn,h)  -> liftIO $ print $ "N" <+> pretty h <+> pretty fn
         Right (fn,h) -> liftIO $ print $ "E" <+> pretty h <+> pretty fn
 
+
+    ListVal (SymbolVal "builtin:git:extract-file-meta-data" : StringLikeList fs) -> do
+      fxm <-  gitExtractFileMetaData fs <&> HM.toList
+      liftIO $ print $ vcat (fmap (pretty.snd) fxm)
+
+    ListVal [SymbolVal "builtin:calc-line", LitIntVal off] -> do
+      prefix <- liftIO $ LBS8.getContents <&> LBS8.lines <&> drop (fromIntegral off)
+      liftIO $ mapM_ LBS8.putStrLn prefix
+      -- let lfn = List.find (=='\n') (LBS8.unpack prefix)
+      -- liftIO $ print $ pretty lfn
+
+    ListVal [SymbolVal "builtin:extract-from-stage"] -> do
+      env <- ask
+      stage <- gitListStage
+
+      blobs  <- for stage $ \case
+          Left (fn, _) -> pure (fn, liftIO $ LBS8.readFile fn)
+          Right (fn,hash) -> pure (fn, liftIO (withFixmeEnv env $ gitCatBlob hash))
+
+      let fns = fmap fst blobs
+
+      meta <- gitExtractFileMetaData fns
+
+      for_ blobs $ \(fn, readBlob) -> do
+        lbs <- readBlob
+
+        fxs <- scanBlob (Just fn) lbs
+                 >>= \e -> for e $ \fx0 -> do
+                        let fxm = fromMaybe mempty $ HM.lookup fn meta
+                        pure (fxm <> fx0)
+
+        for_ fxs $ \fx -> do
+          liftIO $ print (pretty fx)
+
     ListVal [SymbolVal "trace"] -> do
       setLogging @TRACE (logPrefix "[trace] " . toStderr)
       trace "trace on"
diff --git a/fixme-new/lib/Fixme/Scan/Git/Local.hs b/fixme-new/lib/Fixme/Scan/Git/Local.hs
index f06cc326..2c6c4250 100644
--- a/fixme-new/lib/Fixme/Scan/Git/Local.hs
+++ b/fixme-new/lib/Fixme/Scan/Git/Local.hs
@@ -26,6 +26,7 @@ import Data.ByteString.Lazy (ByteString)
 import Data.Either
 import Data.Fixed
 import Data.List qualified as List
+import Data.List.Split (chunksOf)
 import Data.Maybe
 import Data.HashMap.Strict (HashMap)
 import Data.HashMap.Strict qualified as HM
@@ -467,6 +468,54 @@ gitListStage = do
 
   pure (old1 <> new1)
 
+
+gitExtractFileMetaData :: FixmePerks m => [FilePath] -> FixmeM m (HashMap FilePath Fixme)
+gitExtractFileMetaData fns = do
+  -- FIXME: magic-number
+  let chunks = chunksOf 64 fns
+
+  gd <- fixmeGetGitDirCLIOpt
+
+  commitz <- S.toList_ $ for_ chunks $ \chu -> do
+      let filez = unwords chu
+      let cmd = [qc|git {gd} log --diff-filter=AMR --pretty=format:'entry %H %at "%an" "%ae"' -- {filez}|]
+      ss <- gitRunCommand cmd
+             <&> fromRight mempty
+             <&> fmap LBS8.unpack . LBS8.lines
+
+      for_ ss $ \s -> do
+        let syn = parseTop s & fromRight mempty
+        case syn of
+          [ListVal [SymbolVal "entry", SymbolVal (Id e), LitIntVal t, StringLike n, StringLike m]] -> do
+            -- liftIO $ print $ pretty e <+> pretty syn
+            S.yield (fromString @GitHash (Text.unpack e), (t,n,m) )
+
+          _ -> pure ()
+
+  let co = HM.fromList commitz
+             & HM.toList
+
+  rich0 <- S.toList_ $ do
+    for_ co $ \(c, (t,n,m)) -> do
+      let pat = [ (True, f) | f <- fns ]
+      blobz <- lift $ listBlobs c >>= filterBlobs0 pat
+
+      for_ blobz $ \(f,h) -> do
+        let attr = HM.fromList [ ("commit",          FixmeAttrVal (fromString $ show $ pretty c))
+                               , ("commit-time",     FixmeAttrVal (fromString $ show $ pretty t))
+                               , ("committer-name",  FixmeAttrVal (fromString n))
+                               , ("committer-email", FixmeAttrVal (fromString m))
+                               , ("committer",       FixmeAttrVal (fromString $ [qc|{n} <{m}>|]))
+                               , ("file",            FixmeAttrVal (fromString f))
+                               , ("blob",            FixmeAttrVal (fromString $ show $ pretty $ h))
+                               ]
+        let what = mempty { fixmeAttr = attr }
+        S.yield (f,t,what)
+
+  let rich = List.sortBy (\a b -> compare (view _2 a) (view _2 b)) rich0
+
+  pure $ HM.fromList [ (view _1 w, view _3 w) | w <- rich ]
+
 -- TODO: move-outta-here
 runLogActions :: FixmePerks m => FixmeM m ()
 runLogActions = do