command option check

This commit is contained in:
aarne
2004-05-27 14:43:13 +00:00
parent 0f8955da68
commit 866418ea5e
10 changed files with 202 additions and 65 deletions

View File

@@ -287,6 +287,7 @@ stateAbstractGrammar st = StGr {
-- analysing shell state into parts
globalOptions = gloptions
allLanguages = map (fst . fst) . concretes
allCategories = map fst . allCatsOf . canModules
allStateGrammars = map snd . allStateGrammarsWithNames