From 5e665fa2ac63ee0739f787cc2fb7744d40721b7a Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 1 Jun 2006 07:51:53 +0000 Subject: bug fixes: too much reading of files ; lin of variant records --- src/GF/Infra/ReadFiles.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Infra') diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index bb0d5e630..fcd7093a5 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -96,7 +96,8 @@ selectFormat opts env (p,f) = do (Just tenv,_,_,Just tgf) | laterModTime tenv tgf -> (CSEnvR,Just tenv) (_,Just tenv,_,Just tgf) | laterModTime tenv tgf -> (CSEnv, Just tenv) (_,_,Just tgfc,Just tgf) | laterModTime tgfc tgf -> (CSRead,Just tgfc) - (_,_,_, Nothing) -> (CSRead,Nothing) -- source does not exist + (_,Just tenv,_,Nothing) -> (CSEnv,Just tenv) -- source does not exist + (_,_,_, Nothing) -> (CSRead,Nothing) -- source does not exist _ -> (CSComp,Nothing) return $ (f, (p,stat)) -- cgit v1.2.3