diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-06-01 07:51:53 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-06-01 07:51:53 +0000 |
| commit | 5e665fa2ac63ee0739f787cc2fb7744d40721b7a (patch) | |
| tree | c6fd38c2fed9d403a32e9ddffd43dd791ba8a09b /src/GF/Infra/ReadFiles.hs | |
| parent | 0e484f094fef8abbe141286457768b197686715f (diff) | |
bug fixes: too much reading of files ; lin of variant records
Diffstat (limited to 'src/GF/Infra/ReadFiles.hs')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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)) |