diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-10 18:45:10 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-10 18:45:10 +0000 |
| commit | d3b179eeeda98224cda8b8b364e269e0dfcf628e (patch) | |
| tree | 86527a6a6b7d74eab9bb6f5f98de3ae0d0726a3f /src/GF/Command | |
| parent | 7cc9ede4812babe1017bad93d28566e1e9778c41 (diff) | |
allow empty lines when reading with 'rf -lines -tree'
Diffstat (limited to 'src/GF/Command')
| -rw-r--r-- | src/GF/Command/Commands.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs index a54067dd6..d8e2a3023 100644 --- a/src/GF/Command/Commands.hs +++ b/src/GF/Command/Commands.hs @@ -506,6 +506,8 @@ allCommands cod env@(pgf, mos) = Map.fromList [ exec = \opts _ -> do let file = valStrOpts "file" "_gftmp" opts let exprs [] = ([],empty) + exprs ((n,s):ls) | null s + = exprs ls exprs ((n,s):ls) = case readExpr s of Just e -> let (es,err) = exprs ls in case inferExpr pgf e of |