Reactivate the gf-shell command 'pt -transfer'

This commit is contained in:
Hans Leiss
2025-02-19 12:59:43 +01:00
parent 643617ccc4
commit 5776b567a2
2 changed files with 23 additions and 3 deletions

View File

@@ -428,7 +428,8 @@ pgfCommands = Map.fromList [
"are type checking and semantic computation."
],
examples = [
mkEx "pt -compute (plus one two) -- compute value"
mkEx "pt -compute (plus one two) -- compute value",
mkEx ("p \"the 4 dogs\" | pt -transfer=digits2numeral | l -- \"the four dogs\" ")
],
exec = getEnv $ \ opts arg (Env pgf mos) ->
returnFromExprs . takeOptNum opts . treeOps pgf opts $ toExprs arg,