mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-19 22:33:11 -06:00
in the shell, permit 3-letter lang codes as concrete syntax names
This commit is contained in:
1 parent
95d4adac99
commit
7a14507189
3 files changed
+15
-3
No files matched your search
@@ -924,7 +924,12 @@ allCommands cod env@(pgf, mos) = Map.fromList [
|
||||
|
||||
optLangs opts = case valStrOpts "lang" "" opts of
|
||||
"" -> languages pgf
|
||||
lang -> map mkCId (chunks ',' lang)
|
||||
lang -> map completeLang (chunks ',' lang)
|
||||
completeLang la = let cla = (mkCId la) in
|
||||
if elem cla (languages pgf)
|
||||
then cla
|
||||
else (mkCId (showCId (abstractName pgf) ++ la))
|
||||
|
||||
optLang opts = head $ optLangs opts ++ [wildCId]
|
||||
|
||||
optOpenTypes opts = case valStrOpts "openclass" "" opts of
|
||||
|
||||
Reference in new issue
Block a user