[NGRAMS-REPO]: special case for "pull"

parent 193c1ba1
......@@ -749,7 +749,20 @@ tableNgramsPatch :: (HasNgramError err, HasInvalidError err,
=> CorpusId -> Maybe TabType -> ListId
-> Versioned NgramsTablePatch
-> m (Versioned NgramsTablePatch)
tableNgramsPatch _corpusId maybeTabType listId (Versioned p_version p_table) = do
tableNgramsPatch _corpusId maybeTabType listId (Versioned p_version p_table)
| p_table == mempty = do
let ngramsType = ngramsTypeFromTabType maybeTabType
var <- view repoVar
r <- liftIO $ readMVar var
let
q = mconcat $ take (r ^. r_version - p_version) (r ^. r_history)
q_table = q ^. _PatchMap . at ngramsType . _Just . _PatchMap . at listId . _Just
pure (Versioned (r ^. r_version) q_table)
| otherwise = do
let ngramsType = ngramsTypeFromTabType maybeTabType
(p0, p0_validity) = PM.singleton listId p_table
(p, p_validity) = PM.singleton ngramsType p0
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment