aboutsummaryrefslogtreecommitdiff
path: root/frontend/comparedefimp.dcl
diff options
context:
space:
mode:
authormartinw2000-02-21 10:53:18 +0000
committermartinw2000-02-21 10:53:18 +0000
commitbbac534f39d2a14a3b32345f590d4a8252d27eae (patch)
tree77974aa417feacf55ad44e19ff05b80999e05ce6 /frontend/comparedefimp.dcl
parentCommiting changes in syntax tree to enable backend adaption. New added constr... (diff)
- implemented comparison between redundant definitions in icl and dcl modules
(new module: comparedefimp) - implemented array patterns. Further work: arrays are in lazy context (should be strict), currently only one dimensional arrays - optimised memory usage for explicit imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@94 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.dcl')
-rw-r--r--frontend/comparedefimp.dcl9
1 files changed, 9 insertions, 0 deletions
diff --git a/frontend/comparedefimp.dcl b/frontend/comparedefimp.dcl
new file mode 100644
index 0000000..b9a582f
--- /dev/null
+++ b/frontend/comparedefimp.dcl
@@ -0,0 +1,9 @@
+definition module comparedefimp
+
+import syntax, checksupport
+
+// compare definition and implementation module
+
+compareDefImp :: !*{# DclModule} !*IclModule !*Heaps !*ErrorAdmin
+ -> (!.{# DclModule}, !.IclModule,!.Heaps,!.ErrorAdmin);
+