diff options
| author | martinw | 2000-11-02 14:09:30 +0000 |
|---|---|---|
| committer | martinw | 2000-11-02 14:09:30 +0000 |
| commit | ccf46727369f5174e42ea96b8d9cc404bea94396 (patch) | |
| tree | bc0423ff292deca2285b4413220288c5cc6820f2 /frontend/explicitimports.dcl | |
| parent | Sjaak: Bug in instance types removed, (diff) | |
optimizing performance of explicitimports
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@280 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.dcl')
| -rw-r--r-- | frontend/explicitimports.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl index a227d77..68f9690 100644 --- a/frontend/explicitimports.dcl +++ b/frontend/explicitimports.dcl @@ -2,8 +2,8 @@ definition module explicitimports import syntax, checksupport -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] +possiblyFilterExplImportedDecls :: ![ImportDeclaration] u:[w:(.Index,y:Declarations)] Position *{#DclModule} !*CheckState + -> (!v:[x:(Index,z:Declarations)],!.{#DclModule},!.CheckState), [y <= z, w <= x, u <= v] checkExplicitImportCompleteness :: !Int ![ExplicitImport] !*{#DclModule} !*{#FunDef} !*ExpressionHeap !*CheckState -> (!.{#DclModule},!.{#FunDef},!.ExpressionHeap,!.CheckState) |