diff options
Diffstat (limited to 'src/GF/Infra/ReadFiles.hs')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 7 |
1 files changed, 6 insertions, 1 deletions
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) |