Commit 513b860e authored by Alexandre Delanoë's avatar Alexandre Delanoë

[ELEVE] Specifications to test to fix concurrent multi-terms.

parent b8fe7755
Pipeline #579 canceled with stage
......@@ -374,6 +374,11 @@ mainEleve' n x y = mainEleveWith x' n y
where
x' = buildTries n (fmap toToken x)
-- | This function should take the longest possible chain of:
-- mainEleve'' n x y = maxChainWith [mainEleve' n x y, mainEleve' n x x]
mainEleve'' :: Int -> [[Text]] -> [[Text]] -> [[[Text]]]
mainEleve'' = undefined
mainEleveWith :: Tries Token () -> Int -> [[Text]] -> [[[Text]]]
mainEleveWith m n i = fmap (split n info_autonomy t) (fmap toToken i)
where
......
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