From d5871b120db47a6e9f8192556639981ed23de460 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Tue, 6 Feb 2024 07:31:19 +0100 Subject: [PATCH] normalStringForm now returns a list --- src/compiler/api/GF/Compile/Compute/Concrete.hs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/compiler/api/GF/Compile/Compute/Concrete.hs b/src/compiler/api/GF/Compile/Compute/Concrete.hs index 17cc900cd..f97c086a2 100644 --- a/src/compiler/api/GF/Compile/Compute/Concrete.hs +++ b/src/compiler/api/GF/Compile/Compute/Concrete.hs @@ -50,12 +50,13 @@ normalForm globals t = mkFV [t] = t mkFV ts = FV ts -normalStringForm :: Globals -> Term -> Check String +normalStringForm :: Globals -> Term -> Check [String] normalStringForm globals t = - fmap toStr (runEvalM globals (fmap value2string (eval [] t []))) + fmap toStrs (runEvalM globals (fmap value2string (eval [] t []))) where - toStr [Const s] = s - toStr _ = "" + toStrs [] = [] + toStrs (Const s:cfs) = s : toStrs cfs + toStrs (_ :cfs) = toStrs cfs type Sigma s = Value s type Constraint s = Value s