From 1c201f45e9dee0eba2b819144696a6f35b76bc66 Mon Sep 17 00:00:00 2001
From: zweije
Date: Mon, 20 Aug 2001 12:05:43 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r662, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@663 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/absmodule.dcl | 8 ++++----
 sucl/absmodule.icl | 8 ++++----
 sucl/cli.icl       | 2 +-
 3 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/sucl/absmodule.dcl b/sucl/absmodule.dcl
index ccea9f3..30fc4dd 100644
--- a/sucl/absmodule.dcl
+++ b/sucl/absmodule.dcl
@@ -5,11 +5,11 @@ definition module absmodule
 from rule import Rule
 
 :: Module sym pvar tsym tvar
-   = { exportedtypesymbols :: [tsym]                            // Exported type symbols (from DCL)
-     , typealias           :: [(tsym,Rule tsym tvar)]           // Alias types
-     , typeconstructors    :: [(tsym,[sym])]                    // All constructor symbols of each declared algebraic type
+   = { //exportedtypesymbols :: [tsym]                            // Exported type symbols (from DCL)
+   //, typealias           :: [(tsym,Rule tsym tvar)]           // Alias types
+       typeconstructors    :: [(tsym,[sym])]                    // All constructor symbols of each declared algebraic type
      , exportedsymbols     :: [sym]                             // Exported function/constructor symbols
-     , aliases             :: [(sym,Rule sym pvar)]             // Macros
+   //, aliases             :: [(sym,Rule sym pvar)]             // Macros
      , typerules           :: [(sym,(Rule tsym tvar,[Bool]))]   // Info from type rules (actual type and argument strictnesses)
      , rules               :: [(sym,[Rule sym pvar])]           // Rewrite rules of each symbol, absent if imported
      }
diff --git a/sucl/absmodule.icl b/sucl/absmodule.icl
index f18ecc6..fad7cf6 100644
--- a/sucl/absmodule.icl
+++ b/sucl/absmodule.icl
@@ -42,11 +42,11 @@ Module implementation.
 */
 
 :: Module sym pvar tsym tvar
-   = { exportedtypesymbols :: [tsym]                            // Exported type symbols (from DCL)
-     , typealias           :: [(tsym,Rule tsym tvar)]           // Alias types
-     , typeconstructors    :: [(tsym,[sym])]                    // All constructor symbols of each declared algebraic type
+   = {// exportedtypesymbols :: [tsym]                            // Exported type symbols (from DCL)
+     //, typealias           :: [(tsym,Rule tsym tvar)]           // Alias types
+       typeconstructors    :: [(tsym,[sym])]                    // All constructor symbols of each declared algebraic type
      , exportedsymbols     :: [sym]                             // Exported function/constructor symbols
-     , aliases             :: [(sym,Rule sym pvar)]             // Macros
+   //, aliases             :: [(sym,Rule sym pvar)]             // Macros
      , typerules           :: [(sym,(Rule tsym tvar,[Bool]))]   // Info from type rules (actual type and argument strictnesses)
      , rules               :: [(sym,[Rule sym pvar])]           // Rewrite rules of each symbol, absent if imported
      }
diff --git a/sucl/cli.icl b/sucl/cli.icl
index 0f2d2c9..2c808d0 100644
--- a/sucl/cli.icl
+++ b/sucl/cli.icl
@@ -153,7 +153,7 @@ typerule m sym
 */
 
 clistrategy :: Cli ((Graph SuclSymbol SuclVariable) SuclVariable var -> Bool) -> Strategy SuclSymbol var SuclVariable answer | == var
-clistrategy cli=:{exportedtypesymbols=tes,typealias=tas,typeconstructors=tcs,exportedsymbols=es,aliases=as,typerules=ts,rules=rs} matchable
+clistrategy {typeconstructors=tcs,typerules=ts,rules=rs} matchable
  = ( checkarity (typearity o maxtypeinfo ts)        // Checks curried occurrences and strict arguments
    o checklaws cleanlaws                            // Checks for special (hard coded) rules (+x0=x /y1=y ...)
    o checkrules matchable (foldmap id [] rs)        // Checks normal rewrite rules
-- 
cgit v1.2.3