diff options
| author | johnvg | 2013-03-18 12:13:12 +0000 |
|---|---|---|
| committer | johnvg | 2013-03-18 12:13:12 +0000 |
| commit | bc50fb579f75d198783e7f7dec77acb2de0509b2 (patch) | |
| tree | 836a480a17aae3c9dd264952cfffb29c2ca204f6 /frontend/scanner.icl | |
| parent | Add function to ti_new_functions immediately when ti_recursion_introduced is ... (diff) | |
use DirectorySeparator from CoclSystemDependent instead of '\\'
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/scanner.icl')
| -rw-r--r-- | frontend/scanner.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/scanner.icl b/frontend/scanner.icl index 000988e..584ef28 100644 --- a/frontend/scanner.icl +++ b/frontend/scanner.icl @@ -3,6 +3,7 @@ implementation module scanner import StdEnv, compare_constructor, general from utilities import revCharListToString, isSpecialChar +from CoclSystemDependent import DirectorySeparator // RWS Proof ... :: SearchPaths :== [String] :: SearchPaths = @@ -1672,7 +1673,7 @@ fopenInSearchPaths moduleName fileNameExtension searchPaths mode modtimefunction replace_dots_by_directory_separators :: !{#Char} -> *{#Char} replace_dots_by_directory_separators file_name - = {if (c=='.') '\\' c \\ c<-:file_name} + = {if (c=='.') DirectorySeparator c \\ c<-:file_name} closeScanner :: !ScanState !*Files -> *Files closeScanner (ScanState scan_state) files = closeScanner_ scan_state files |