GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-11 13:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

"Committed_by_peb"

Browse Source
This commit is contained in:
peb
2005-05-17 12:38:46 +00:00
parent b12608fb09
commit 31044ec728
2 changed files with 12 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/GF/Shell/ShellCommands.hs
View File

@@ -5,9 +5,9 @@
-- Stability : (stable)
-- Portability : (portable)
--
-- > CVS $Date: 2005/05/17 12:37:17 $
-- > CVS $Author: aarne $
-- > CVS $Revision: 1.35 $
-- > CVS $Date: 2005/05/17 13:38:46 $
-- > CVS $Author: peb $
-- > CVS $Revision: 1.36 $
--
-- The datatype of shell commands and the list of their options.
-----------------------------------------------------------------------------
@@ -138,7 +138,7 @@ testValidFlag st co f x = case f of
"filter" -> testInc customStringCommand
"length" -> testN
"optimize"-> testIn $ words "parametrize values all share none"
"conversion" -> testIn $ words "strict nondet finite finite-strict"
"conversion" -> testIn $ words "strict nondet finite singletons finite-strict finite-singletons"
_ -> return ()
where
testInc ci =