From d3b179eeeda98224cda8b8b364e269e0dfcf628e Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 10 Dec 2009 18:45:10 +0000 Subject: [PATCH] allow empty lines when reading with 'rf -lines -tree' --- src/GF/Command/Commands.hs | 2 ++ 1 file changed, 2 insertions(+) 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