diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-03-02 20:27:42 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-03-02 20:27:42 +0000 |
| commit | 6c5763615fc3e2c5fb40b15daec39d301a0a9a18 (patch) | |
| tree | 39043e0f658b02e018088a3636fe3b83f6c7b11a /src/GF/Compile/ShellState.hs | |
| parent | 32508e37b37a0baad884e6aaa518071b62e1e6d8 (diff) | |
several treebanks in shell state
Diffstat (limited to 'src/GF/Compile/ShellState.hs')
| -rw-r--r-- | src/GF/Compile/ShellState.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Compile/ShellState.hs b/src/GF/Compile/ShellState.hs index 696b3776e..269b9adb1 100644 --- a/src/GF/Compile/ShellState.hs +++ b/src/GF/Compile/ShellState.hs @@ -273,7 +273,8 @@ prShellStateInfo sh = unlines [ "canonical modules :" +++ unwords (map (P.prt .fst) (M.modules (canModules sh))), "source modules : " +++ unwords (map (P.prt .fst) (M.modules (srcModules sh))), "global options : " +++ prOpts (gloptions sh), - "transfer modules : " +++ unwords (map (P.prt . fst) (transfers sh)) + "transfer modules : " +++ unwords (map (P.prt . fst) (transfers sh)), + "treebanks : " +++ unwords (map (P.prt . fst) (treebanks sh)) ] abstractName :: ShellState -> String |