diff options
| author | ronny | 2002-07-01 11:43:17 +0000 |
|---|---|---|
| committer | ronny | 2002-07-01 11:43:17 +0000 |
| commit | 9f2f142b1f3ab74cec425e06190501ced7db0d23 (patch) | |
| tree | 612cdd78d98cbb169d84a220c717e0fe7770befc /frontend/scanner.icl | |
| parent | added clear_cache (diff) | |
Rewound last change: don't search in the current directory.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1129 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/scanner.icl')
| -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 |