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/frontend.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/frontend.dcl')
-rw-r--r-- | frontend/frontend.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl index 7751e3d..84fdf3b 100644 --- a/frontend/frontend.dcl +++ b/frontend/frontend.dcl @@ -31,5 +31,5 @@ import checksupport, transform, overloading | FrontEndPhaseConvertModules | FrontEndPhaseAll -frontEndInterface :: !FrontEndOptions !Ident !SearchPaths !{#DclModule} !{#FunDef} !(Optional Bool) !*PredefinedSymbols !*HashTable !*Files !*File !*File !*File (!Optional !*File) !*Heaps +frontEndInterface :: !FrontEndOptions !Ident !SearchPaths !{#DclModule} !{#FunDef} !(Optional Bool) !*PredefinedSymbols !*HashTable (ModTimeFunction *Files) !*Files !*File !*File !*File (!Optional !*File) !*Heaps -> ( !Optional *FrontEndSyntaxTree,!*{# FunDef },!{#DclModule},!Int,!Int,!*PredefinedSymbols, !*HashTable, !*Files, !*File, !*File, !*File, !Optional !*File, !*Heaps) |