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