aboutsummaryrefslogtreecommitdiff
path: root/backend/backendconvert.dcl
diff options
context:
space:
mode:
authorronny2001-07-12 15:27:32 +0000
committerronny2001-07-12 15:27:32 +0000
commite9d77320d373864a19ba1155395a3e4d2a9469cc (patch)
tree3183a88ae1e46993af5926b9516ac5643756e8c3 /backend/backendconvert.dcl
parentmade compilable with Clean 2.0 by introducing a typed local function (diff)
uniqueness attributes in backend
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backendconvert.dcl')
-rw-r--r--backend/backendconvert.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/backendconvert.dcl b/backend/backendconvert.dcl
index 2edcb19..30625e7 100644
--- a/backend/backendconvert.dcl
+++ b/backend/backendconvert.dcl
@@ -3,4 +3,4 @@ definition module backendconvert
from backend import BackEnd
import frontend
-backEndConvertModules :: PredefinedSymbols FrontEndSyntaxTree !Int *VarHeap *BackEnd -> (!*VarHeap,!*BackEnd)
+backEndConvertModules :: PredefinedSymbols FrontEndSyntaxTree !Int *VarHeap *AttrVarHeap *BackEnd -> (!*VarHeap, *AttrVarHeap, !*BackEnd)