diff options
Diffstat (limited to 'frontend/postparse.dcl')
| -rw-r--r-- | frontend/postparse.dcl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontend/postparse.dcl b/frontend/postparse.dcl new file mode 100644 index 0000000..b8778aa --- /dev/null +++ b/frontend/postparse.dcl @@ -0,0 +1,8 @@ +definition module postparse + +import StdEnv + +import syntax, parse, predef + +scanModule :: !ParsedModule !*HashTable !*File !SearchPaths !*PredefinedSymbols !*Files + -> (!Bool, !ScannedModule, !Int, ![FunDef], !ScannedModule, !ScannedModule, ![ScannedModule], !*HashTable, !*File, !*PredefinedSymbols, !*Files) |