From 82bd65297bb04bdd2b144e2c426b6a548024ff6e Mon Sep 17 00:00:00 2001
From: martinw
Date: Wed, 1 Nov 2000 15:42:13 +0000
Subject: improved code for explicit imports, moved all switches to syntax
 module

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/explicitimports.dcl | 24 ++++--------------------
 1 file changed, 4 insertions(+), 20 deletions(-)

(limited to 'frontend/explicitimports.dcl')

diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl
index 5d0f037..a227d77 100644
--- a/frontend/explicitimports.dcl
+++ b/frontend/explicitimports.dcl
@@ -2,25 +2,9 @@ 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
+possiblyFilterExplImportedDecls :: ![ImportDeclaration] u:[w:(.Index,y:Declarations)] Position u0:{#DclModule} !*CheckState
+				-> (!v:[x:(Index,z:Declarations)],!u0:{#DclModule},!.CheckState), [y <= z, w <= x, u <= v]
 
-//::	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];
-//possibly_filter_decls :: ![ImportDeclaration] ![(Index,Declarations)] !(!FileName,!LineNr) !*{#DclModule} !*CheckState -> (![(Index,Declarations)],!.{#DclModule},!.CheckState)
-
-//check_completeness_of_module :: .Index !Int [(.Declaration,.Int)] .String *(*{!.FunctionConsequence},*{#.DclModule},*{#FunDef},*ExpressionHeap,*CheckState) -> (.{!FunctionConsequence},.{#DclModule},.{#FunDef},.ExpressionHeap,.CheckState);
-/*
-check_completeness_of_module :: .Index !Int [ExplicitImport] .String *(*{!.FunctionConsequence},*{#.DclModule},*{#FunDef},*ExpressionHeap,*CheckState) -> (.{!FunctionConsequence},.{#DclModule},.{#FunDef},.ExpressionHeap,.CheckState);
-check_completeness_of_all_dcl_modules :: !Int !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState
-									-> (!Int, !(!*{!FunctionConsequence}, !*{#DclModule}, !*{#FunDef}, !*ExpressionHeap, !*CheckState))
-
-create_empty_consequences_array :: !Int -> *{!FunctionConsequence}
-*/
-//checkExplicitImportCompleteness :: !String ![(!Declaration,!Int)] !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState  -> (!.{#DclModule},!.{#FunDef},!.ExpressionHeap,!.CheckState)
-checkExplicitImportCompleteness :: !String !Int ![ExplicitImport] !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState  -> (!.{#DclModule},!.{#FunDef},!.ExpressionHeap,!.CheckState)
+checkExplicitImportCompleteness :: !Int ![ExplicitImport] !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState 
+				-> (!.{#DclModule},!.{#FunDef},!.ExpressionHeap,!.CheckState)
 
-- 
cgit v1.2.3