allow empty lines when reading with 'rf -lines -tree'

This commit is contained in:
krasimir
2009-12-10 18:45:10 +00:00
parent 44bc65282f
commit 541aee6ae6

View File

@@ -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