msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

normalStringForm now returns a list

Browse Source
This commit is contained in:
Krasimir Angelov
2024-02-06 07:31:19 +01:00
parent e74661c592
commit d5871b120d
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/compiler/api/GF/Compile/Compute/Concrete.hs
View File

@@ -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