diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/scanner.icl | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/frontend/scanner.icl b/frontend/scanner.icl index a6434c6..2c17c50 100644 --- a/frontend/scanner.icl +++ b/frontend/scanner.icl @@ -1522,8 +1522,14 @@ fopenInSearchPaths fileName searchPaths mode modtimefunction f = (No, f) where fopenAnywhereInSearchPaths :: !{#Char} ![{#Char}] !Int (ModTimeFunction *f) *f -> (Optional (*File, {#Char}),!*f) | FileSystem f - fopenAnywhereInSearchPaths fileName [] _ _ f - = (No, f) + fopenAnywhereInSearchPaths fileName [] mode modtimefunction f + // try current directory + # (opened, file, f) + = fopen fileName mode f + | opened + = getModificationTime file "" modtimefunction f + // otherwise + = (No, f) fopenAnywhereInSearchPaths fileName [path : paths] mode modtimefunction f # (opened, file, f) = fopen (path + fileName) mode f |