From b3da2791fdea27bd5061ad939e31915e36c03f1d Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 1 Jan 2008 23:31:12 +0000 Subject: subex elim in gfr generation --- src/GF/Infra/ReadFiles.hs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/GF/Infra/ReadFiles.hs') diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index 3f25466e5..4707015fd 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -95,7 +95,12 @@ selectFormat opts env (p,f) = do (_,_,Just tgfc,_) | fromComp -> (CSRead,Just tgfc) -- (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) + (_,_,Just tgfc,Just tgf) | laterModTime tgfc tgf -> + case mtenv of +-- Just tenv | laterModTime tenv tgfc -> (CSEnv,Just tenv) + _ -> (CSRead,Just tgfc) + + -- (_,Just tenv,_,Nothing) -> (CSEnv,Just tenv) -- source does not exist (_,_,_, Nothing) -> (CSRead,Nothing) -- source does not exist _ -> (CSComp,Nothing) -- cgit v1.2.3