diff options
| author | martinw | 2000-07-10 13:52:05 +0000 |
|---|---|---|
| committer | martinw | 2000-07-10 13:52:05 +0000 |
| commit | af6f31205ec6be86e9b935e025c8a7bb74eaaed6 (patch) | |
| tree | b136fa0353bdab50c9624770b2b8ef009bd4c2d6 /frontend/explicitimports.dcl | |
| parent | Restore correct version (diff) | |
optimised consequence checking for explicit imports
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@183 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.dcl')
| -rw-r--r-- | frontend/explicitimports.dcl | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl index 3a1b1f9..15e346d 100644 --- a/frontend/explicitimports.dcl +++ b/frontend/explicitimports.dcl @@ -8,9 +8,8 @@ temporary_import_solution_XXX yes no :== yes // 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 -:: 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)) +possibly_filter_decls :: ![ImportDeclaration] ![(!Index,!Declarations)] !(!FileName,!LineNr) !*{#DclModule} !*CheckState + -> (![(!Index,!Declarations)],!.{#DclModule},!.CheckState) +checkExplicitImportCompleteness :: !String ![(!Declaration,!Int)] + !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState + -> (!.{#DclModule},!.{#FunDef},!.ExpressionHeap,!.CheckState) |