1
0
forked from GitHub/gf-core
This commit is contained in:
Krasimir Angelov
2025-05-09 19:10:51 +02:00
parent 3d7c8ade17
commit d54fab0bbf

View File

@@ -938,10 +938,10 @@ value2termM flat xs (VReset ctl mb_cv v qid) = do
where
reduce ctl mb_cv ts
| ctl == cConcat = do
ts' <- case mb_cv of
Just (VInt n) -> return (genericTake n ts)
Nothing -> return ts
_ -> evalError (pp "[concat: .. | ..] requires an integer constant")
ts <- case mb_cv of
Just (VInt n) -> return (genericTake n ts)
Nothing -> return ts
_ -> evalError (pp "[concat: .. | ..] requires an integer constant")
case ts of
[t] -> return t
ts -> return (Markup identW [] ts)