diff options
| author | ronny | 2001-10-01 16:30:01 +0000 |
|---|---|---|
| committer | ronny | 2001-10-01 16:30:01 +0000 |
| commit | 22886adb5dc622cb76184fa8ef97e2c2234652a8 (patch) | |
| tree | 79e7eb317c55feba7e2b0717fde500d3df6c6ea2 /frontend/scanner.dcl | |
| parent | moved system independent code to new module "filesystem" (diff) | |
pass file modification times from icl module and dcl modules to backend
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/scanner.dcl')
| -rw-r--r-- | frontend/scanner.dcl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/frontend/scanner.dcl b/frontend/scanner.dcl index dd25d2c..b20e43f 100644 --- a/frontend/scanner.dcl +++ b/frontend/scanner.dcl @@ -3,10 +3,15 @@ definition module scanner import StdEnv, general // RWS Proof ... :: SearchPaths :== [String] + :: SearchPaths = { sp_locations :: [(String, String)] // (module, path) , sp_paths :: [String] } + +:: ModTimeFunction f + :== ({#Char} !f -> *(!{#Char}, !f)) + // ... RWS :: * ScanState @@ -139,7 +144,7 @@ instance replaceToken ScanState class getPosition state :: !*state -> (!FilePosition,!*state) // Position of current Token (or Char) instance getPosition ScanState -openScanner :: !String !SearchPaths !*Files -> (!Optional ScanState, !*Files) +openScanner :: !String !SearchPaths (ModTimeFunction *Files) !*Files -> (!Optional (ScanState, {#Char}), !*Files) // state, file time closeScanner :: !ScanState !*Files -> *Files setUseLayout :: !Bool !ScanState -> ScanState |