aboutsummaryrefslogtreecommitdiff
path: root/frontend/analtypes.dcl
diff options
context:
space:
mode:
authorsjakie2001-09-21 08:08:59 +0000
committersjakie2001-09-21 08:08:59 +0000
commit68a9935f0203b73b5edb13a9e3996b8b06d05f48 (patch)
tree779071559cd7c17f66dcd4b02949f9805615f34f /frontend/analtypes.dcl
parentAdded module owners for convertDynamics, type_io and type_io_common (diff)
Bug fix: caching combined with omitted type and class definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/analtypes.dcl')
-rw-r--r--frontend/analtypes.dcl6
1 files changed, 5 insertions, 1 deletions
diff --git a/frontend/analtypes.dcl b/frontend/analtypes.dcl
index 9fa9735..22b25d3 100644
--- a/frontend/analtypes.dcl
+++ b/frontend/analtypes.dcl
@@ -2,5 +2,9 @@ definition module analtypes
import checksupport, typesupport
-analTypeDefs :: !{#CommonDefs} !NumberSet !*TypeHeaps !*ErrorAdmin -> (!*TypeDefInfos, !*TypeHeaps, !*ErrorAdmin)
+partionateAndExpandTypes :: !NumberSet !Index !*CommonDefs !*{#DclModule} !*TypeHeaps !*ErrorAdmin
+ -> (!TypeGroups, !*{# CommonDefs}, !*TypeDefInfos, !*CommonDefs, !*{#DclModule}, !*TypeHeaps, !*ErrorAdmin)
+:: TypeGroups :== [[GlobalIndex]]
+
+analyseTypeDefs :: !{#CommonDefs} !TypeGroups !*TypeDefInfos !*TypeHeaps !*ErrorAdmin -> (!*TypeDefInfos, !*TypeHeaps, !*ErrorAdmin)