diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-03 22:00:08 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-03 22:00:08 +0000 |
| commit | 5956ba6b38f56c4aa41f7216f7dabade368bb2f2 (patch) | |
| tree | 991102baba1f7b26e258c7b0965362a0e99ad980 /src/GF/Devel/Shell.hs | |
| parent | ed4b43961deb37ee2592e60db0c182c7efa5528f (diff) | |
command language and gfcc term parser in bnfc
Diffstat (limited to 'src/GF/Devel/Shell.hs')
| -rw-r--r-- | src/GF/Devel/Shell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Devel/Shell.hs b/src/GF/Devel/Shell.hs index 81569b8d1..f0aaf193b 100644 --- a/src/GF/Devel/Shell.hs +++ b/src/GF/Devel/Shell.hs @@ -46,7 +46,7 @@ treat mgr s = case words s of let ts = parse mgr lang cat $ unwords ws mapM_ (putStrLn . showTree) ts "h":_ -> printHelp mgr - _ -> lins $ readTree mgr s + "l" : ws -> lins $ readTree mgr $ unwords ws where grammar = gfcc mgr langs = languages mgr |
