diff options
| author | ronny | 1999-10-05 13:09:14 +0000 |
|---|---|---|
| committer | ronny | 1999-10-05 13:09:14 +0000 |
| commit | db9e59813541e06caece64592854862bab9c0138 (patch) | |
| tree | ae7cef5982a377261188aed09dc0f0cc95c50f8c /frontend/explicitimports.dcl | |
| parent | Standard project directories initialized by cvs2svn. (diff) | |
Initial import
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.dcl')
| -rw-r--r-- | frontend/explicitimports.dcl | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl new file mode 100644 index 0000000..45562f6 --- /dev/null +++ b/frontend/explicitimports.dcl @@ -0,0 +1,17 @@ +definition module explicitimports + +import syntax, checksupport + +temporary_import_solution_XXX yes no :== yes +// to switch between importing modes. +// iff this is yes, then explicit imports happen in the old Clean 1.3 fashion. +// This feature will be removed, when all programs are ported to Clean 2.0. The last Constructors of AtomType +// and StructureType should then be removed also + +// MW2 everything changed in this dcl +:: FunctionConsequence + +possibly_filter_decls :: .[ImportDeclaration] u:[w:(.Index,y:Declarations)] (.FileName,.LineNr) *{#.DclModule} *CheckState -> (v:[x:(Index,z:Declarations)],.{#DclModule},.CheckState), [y <= z, w <= x, u <= v]; +check_completeness_of_module :: .Index [(.Declaration,.Int)] .String *(*{!.FunctionConsequence},*{#.DclModule},*{#FunDef},*ExpressionHeap,*CheckState) -> (.{!FunctionConsequence},.{#DclModule},.{#FunDef},.ExpressionHeap,.CheckState); +check_completeness_of_all_dcl_modules :: !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState + -> (!Int, !(!*{!FunctionConsequence}, !*{#DclModule}, !*{#FunDef}, !*ExpressionHeap, !*CheckState)) |