diff options
| author | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-02 23:01:29 +0200 |
|---|---|---|
| committer | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-02 23:01:29 +0200 |
| commit | d983255326d232a9d0e1541e5b48743e6ce35e59 (patch) | |
| tree | 4bdce529186307ec6e0f53313f54cbfe911e12fe /src/compiler/GF/Command/CommonCommands.hs | |
| parent | 288984d243452ea796faabf4ee53f12ea86eda46 (diff) | |
| parent | c23a03a2d11a781998dc1c3de04a8abf2ff7d330 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'src/compiler/GF/Command/CommonCommands.hs')
| -rw-r--r-- | src/compiler/GF/Command/CommonCommands.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/compiler/GF/Command/CommonCommands.hs b/src/compiler/GF/Command/CommonCommands.hs index c685fc525..f1faa258e 100644 --- a/src/compiler/GF/Command/CommonCommands.hs +++ b/src/compiler/GF/Command/CommonCommands.hs @@ -19,6 +19,12 @@ import Data.Char (isSpace) import qualified PGF as H(showCId,showExpr,toATree,toTrie,Trie(..)) +-- store default generation depth in a variable and use everywhere +default_depth :: Int +default_depth = 5 +default_depth_str = show default_depth + + extend old new = Map.union (Map.fromList new) old -- Map.union is left-biased commonCommands :: (Monad m,MonadSIO m) => Map.Map String (CommandInfo m) |