diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-02-08 22:43:07 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-02-08 22:43:07 +0000 |
| commit | fd9da86d245f852ec5597aa4b40db3ea70b8422f (patch) | |
| tree | 387fa45e77c163475175955b35a68e1aade4dc6b /src/GF/Compile/ShellState.hs | |
| parent | f916352116bb2d3c3caf7aa38e8fe585f2f2150e (diff) | |
added timeout to gr -cf
Diffstat (limited to 'src/GF/Compile/ShellState.hs')
| -rw-r--r-- | src/GF/Compile/ShellState.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/GF/Compile/ShellState.hs b/src/GF/Compile/ShellState.hs index 6c281a926..40e91d9ab 100644 --- a/src/GF/Compile/ShellState.hs +++ b/src/GF/Compile/ShellState.hs @@ -339,7 +339,10 @@ qualifTop :: StateGrammar -> G.QIdent -> G.QIdent qualifTop gr (_,c) = (absId gr,c) stateGrammarOfLang :: ShellState -> Language -> StateGrammar -stateGrammarOfLang st0 l = StGr { +stateGrammarOfLang = stateGrammarOfLangOpt True + +stateGrammarOfLangOpt :: Bool -> ShellState -> Language -> StateGrammar +stateGrammarOfLangOpt purg st0 l = StGr { absId = err (const (identC "Abs")) id $ M.abstractOfConcrete allCan l, --- cncId = l, grammar = allCan, @@ -352,7 +355,7 @@ stateGrammarOfLang st0 l = StGr { loptions = errVal noOptions $ lookupOptionsCan allCan } where - st = purgeShellState $ errVal st0 $ changeMain (Just l) st0 + st = (if purg then purgeShellState else id) $ errVal st0 $ changeMain (Just l) st0 allCan = canModules st grammarOfLang :: ShellState -> Language -> CanonGrammar |