diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-01-01 23:31:12 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-01-01 23:31:12 +0000 |
| commit | b3da2791fdea27bd5061ad939e31915e36c03f1d (patch) | |
| tree | af833a1c211211ed9c72d63cfaf4ab6b4b84c4ac /src/GF/Infra/ReadFiles.hs | |
| parent | e7611aefb4c3cdbd0befc017a5b6e22e84fefd30 (diff) | |
subex elim in gfr generation
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) |