diff options
author | Camil Staps | 2017-03-18 17:25:17 +0100 |
---|---|---|
committer | Camil Staps | 2017-03-18 17:25:17 +0100 |
commit | c00ee2c2536c98841ef77755701395a1e2c0b8ec (patch) | |
tree | 20d075337eb2e379dd6827caa2ef9f1a9ddee552 /frontend/scanner.dcl | |
parent | More logical file name passing (diff) |
Diffstat (limited to 'frontend/scanner.dcl')
-rw-r--r-- | frontend/scanner.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/scanner.dcl b/frontend/scanner.dcl index fc94622..243a5d4 100644 --- a/frontend/scanner.dcl +++ b/frontend/scanner.dcl @@ -131,6 +131,9 @@ DefaultPriority :: Priority class getFilename state :: !*state -> (!String,!*state) instance getFilename ScanState +class getFilepath state :: !*state -> (!String,!*state) +instance getFilepath ScanState + class tokenBack state :: !*state -> *state instance tokenBack ScanState @@ -151,7 +154,7 @@ instance getPosition ScanState fopenInSearchPaths :: !{#Char} !{#Char} !SearchPaths !Int (ModTimeFunction *Files) !*Files -> (Optional (*File, {#Char}, {#Char}),!*Files) -openScanner :: !*File !String -> ScanState +openScanner :: !*File !String !String -> ScanState closeScanner :: !ScanState !*Files -> *Files setUseLayout :: !Bool !ScanState -> ScanState |