This commit was generated by cvs2svn to compensate for changes in r518,

which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@519 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

44 files changed, 144 insertions, 0 deletions

diff --git a/sucl/Makefile b/sucl/Makefile
index 3fd52bf..884f07e 100644
--- a/sucl/Makefile
+++ b/sucl/Makefile
@@ -1,3 +1,7 @@
+#! /usr/bin/make -f
+
+# $Id$
+
 COCL = cocl
 #COCLFLAGS = -lat
 SYS = Clean\ System\ Files
diff --git a/sucl/absmodule.dcl b/sucl/absmodule.dcl
index 4b22b79..2cf9a35 100644
--- a/sucl/absmodule.dcl
+++ b/sucl/absmodule.dcl
@@ -1,5 +1,7 @@
 definition module absmodule
 
+// $Id$
+
 from rule import Rule
 
 :: Module sym pvar tsym tvar
diff --git a/sucl/absmodule.icl b/sucl/absmodule.icl
index 92addeb..3f30317 100644
--- a/sucl/absmodule.icl
+++ b/sucl/absmodule.icl
@@ -1,5 +1,7 @@
 implementation module absmodule
 
+// $Id$
+
 import rule
 
 /*
diff --git a/sucl/basic.dcl b/sucl/basic.dcl
index 59558cc..664f5fd 100644
--- a/sucl/basic.dcl
+++ b/sucl/basic.dcl
@@ -1,5 +1,7 @@
 definition module basic
 
+// $Id$
+
 /*
 
 Basic definitions
diff --git a/sucl/basic.icl b/sucl/basic.icl
index f1ffb70..40588fe 100644
--- a/sucl/basic.icl
+++ b/sucl/basic.icl
@@ -1,5 +1,7 @@
 implementation module basic
 
+// $Id$
+
 /*
 
 Basic definitions
diff --git a/sucl/canon.icl b/sucl/canon.icl
index 98572eb..5d0814f 100644
--- a/sucl/canon.icl
+++ b/sucl/canon.icl
@@ -1,3 +1,9 @@
+implementation module canon
+
+// $Id$
+
+/*
+
 canon.lit - Area canonicalization
 =================================
 
@@ -118,3 +124,5 @@ steps:
 >             f cont = nosingle
 >             nc = nodecontents graph
 >             root = rgraphroot rgraph; graph = rgraphgraph rgraph
+
+*/
diff --git a/sucl/clean.icl b/sucl/clean.icl
index 0451a4d..6f4964f 100644
--- a/sucl/clean.icl
+++ b/sucl/clean.icl
@@ -1,3 +1,9 @@
+implementation module clean
+
+// $Id$
+
+/*
+
 clean.lit - Clean core language
 ===============================
 
@@ -439,3 +445,5 @@ Useful (higher order) functions.
 >             =   foldclosed sym (map unravel args), if def
 >             =   foldopen node, otherwise
 >                 where (def,(sym,args)) = nodecontents graph node
+
+*/
diff --git a/sucl/cli.icl b/sucl/cli.icl
index 311bd0f..88bbe6e 100644
--- a/sucl/cli.icl
+++ b/sucl/cli.icl
@@ -1,3 +1,9 @@
+implementation module cli
+
+// $Id$
+
+/*
+
 cli.lit - Clean implementation modules
 ======================================
 
@@ -243,3 +249,5 @@ Compiling clean parts into module information...
 >             ctargs = init targs
 >             ctroot = hd (theap--nodelist tgraph (troot:targs))
 >             ctgraph = updategraph ctroot (fn,[last targs,troot]) tgraph
+
+*/
diff --git a/sucl/complete.dcl b/sucl/complete.dcl
index 42a9ee8..365deeb 100644
--- a/sucl/complete.dcl
+++ b/sucl/complete.dcl
@@ -1,5 +1,7 @@
 definition module complete
 
+// $Id$
+
 from graph import Graph
 from StdOverloaded import ==
 
diff --git a/sucl/complete.icl b/sucl/complete.icl
index f84b69c..25e56c8 100644
--- a/sucl/complete.icl
+++ b/sucl/complete.icl
@@ -1,5 +1,7 @@
 implementation module complete
 
+// $Id$
+
 import graph
 import StdEnv
 
diff --git a/sucl/dnc.dcl b/sucl/dnc.dcl
index 0cef231..30853e7 100644
--- a/sucl/dnc.dcl
+++ b/sucl/dnc.dcl
@@ -1,5 +1,7 @@
 definition module dnc
 
+// $Id$
+
 from graph import Graph,Node
 from StdString import String
 from StdOverloaded import ==
diff --git a/sucl/dnc.icl b/sucl/dnc.icl
index b17c08f..400c5b2 100644
--- a/sucl/dnc.icl
+++ b/sucl/dnc.icl
@@ -1,5 +1,7 @@
 implementation module dnc
 
+// $Id$
+
 import graph
 import StdEnv
 
diff --git a/sucl/extract.icl b/sucl/extract.icl
index bf65356..97b09f7 100644
--- a/sucl/extract.icl
+++ b/sucl/extract.icl
@@ -1,3 +1,9 @@
+implementation module extract
+
+// $Id$
+
+/*
+
 extract.lit - Folding of subject graphs
 =======================================
 
@@ -172,3 +178,5 @@ bearing a delta function symbol).
 >             =   updategraph node cnt, if def
 >             =   id, otherwise
 >                 where (def,cnt) = dnc (const "in finishfold/2") graph node
+
+*/
diff --git a/sucl/frontend.dcl b/sucl/frontend.dcl
index 82175e4..9aff725 100644
--- a/sucl/frontend.dcl
+++ b/sucl/frontend.dcl
@@ -1,5 +1,7 @@
 definition module frontend
 
+// $Id$
+
 from scanner import SearchPaths
 from general import Optional, Yes, No
 import checksupport, transform, overloading
diff --git a/sucl/frontend.icl b/sucl/frontend.icl
index cfd07e2..f2470e3 100644
--- a/sucl/frontend.icl
+++ b/sucl/frontend.icl
@@ -1,5 +1,7 @@
 implementation module frontend
 
+// $Id$
+
 // vi:set tabstop=4 noet:
 
 import scanner, parse, postparse, check, type, trans, convertcases, overloading, utilities, convertDynamics,
diff --git a/sucl/graph.dcl b/sucl/graph.dcl
index bd1738d..39d976a 100644
--- a/sucl/graph.dcl
+++ b/sucl/graph.dcl
@@ -1,5 +1,7 @@
 definition module graph
 
+// $Id$
+
 from StdOverloaded import ==
 
 // A rule associating a replacement with a pattern
diff --git a/sucl/graph.icl b/sucl/graph.icl
index 3e7f848..9bfa8f6 100644
--- a/sucl/graph.icl
+++ b/sucl/graph.icl
@@ -1,5 +1,7 @@
 implementation module graph
 
+// $Id$
+
 import pfun
 import basic
 import StdEnv
diff --git a/sucl/history.dcl b/sucl/history.dcl
index 70ff418..2e9f50a 100644
--- a/sucl/history.dcl
+++ b/sucl/history.dcl
@@ -1,5 +1,7 @@
 definition module history
 
+// $Id$
+
 from spine import Spine
 from rule import Rgraph
 from graph import Graph
diff --git a/sucl/history.icl b/sucl/history.icl
index c79accd..b39b6e3 100644
--- a/sucl/history.icl
+++ b/sucl/history.icl
@@ -1,5 +1,7 @@
 implementation module history
 
+// $Id$
+
 import spine
 import rule
 import graph
diff --git a/sucl/hunt.icl b/sucl/hunt.icl
index bd4c4e3..747230c 100644
--- a/sucl/hunt.icl
+++ b/sucl/hunt.icl
@@ -1,3 +1,9 @@
+implementation module hunt
+
+// $Id$
+
+/*
+
 >|| Literal script "hunt.lit"
 
 >   %export
@@ -47,3 +53,5 @@
 >   =   filter (~=[]) ((concat.map (split ' ').lines) stdout), if return=0
 >   =   error ("glob: "++stderr), otherwise
 >       where (stdout,stderr,return) = system ("echo "++pattern)
+
+*/
diff --git a/sucl/law.dcl b/sucl/law.dcl
index e5564a5..e17f005 100644
--- a/sucl/law.dcl
+++ b/sucl/law.dcl
@@ -1 +1,3 @@
 definition module law
+
+// $Id$
diff --git a/sucl/law.icl b/sucl/law.icl
index 836e3b3..b8cede6 100644
--- a/sucl/law.icl
+++ b/sucl/law.icl
@@ -1,5 +1,7 @@
 implementation module law
 
+// $Id$
+
 /*
 
 >   %export
diff --git a/sucl/loop.dcl b/sucl/loop.dcl
index 56f0a37..f4821fe 100644
--- a/sucl/loop.dcl
+++ b/sucl/loop.dcl
@@ -1,5 +1,7 @@
 definition module loop
 
+// $Id$
+
 from strat import Strategy
 from spine import Answer
 from trace import Trace
diff --git a/sucl/loop.icl b/sucl/loop.icl
index 6ef0c7a..39c9f9e 100644
--- a/sucl/loop.icl
+++ b/sucl/loop.icl
@@ -1,5 +1,7 @@
 implementation module loop
 
+// $Id$
+
 import trace
 import strat
 import history
diff --git a/sucl/new.icl b/sucl/new.icl
index 0531019..6507612 100644
--- a/sucl/new.icl
+++ b/sucl/new.icl
@@ -1,3 +1,9 @@
+implementation module new
+
+// $Id$
+
+/*
+
 new.lit - One line module description
 =====================================
 
@@ -44,3 +50,5 @@ Implementation of identifier
 >   =   body
 
 ...
+
+*/
diff --git a/sucl/newfold.icl b/sucl/newfold.icl
index 2ddfa42..6958f4b 100644
--- a/sucl/newfold.icl
+++ b/sucl/newfold.icl
@@ -1,3 +1,9 @@
+implementation module newfold
+
+// $Id$
+
+/*
+
 newfold.lit - New folding function
 ==================================
 
@@ -341,3 +347,5 @@ Uses foldspine with
 >             force nodes = (True,nodes)
 >             partial rule matching nodes = (False,nodes)
 >             redex rule matching = none
+
+*/
diff --git a/sucl/newtest.icl b/sucl/newtest.icl
index 13cf8fc..cdec40d 100644
--- a/sucl/newtest.icl
+++ b/sucl/newtest.icl
@@ -1,3 +1,9 @@
+implementation module newtest
+
+// $Id$
+
+/*
+
 newtest.lit - Testing the new trace implementation
 ==================================================
 
@@ -392,3 +398,5 @@ sym with the given arguments, curried if there are too few.
 >             =   (tnode,updategraph tnode (fn,[targ,troot]) tgraph,tnodes)
 
 >   newsymbols main = map (User main.("New_"++)) identifiers
+
+*/
diff --git a/sucl/pfun.dcl b/sucl/pfun.dcl
index dfd0ab8..49db62d 100644
--- a/sucl/pfun.dcl
+++ b/sucl/pfun.dcl
@@ -1,5 +1,7 @@
 definition module pfun
 
+// $Id$
+
 from StdString import toString
 from StdOverloaded import ==
 
diff --git a/sucl/pfun.icl b/sucl/pfun.icl
index f720f51..14df397 100644
--- a/sucl/pfun.icl
+++ b/sucl/pfun.icl
@@ -1,5 +1,7 @@
 implementation module pfun
 
+// $Id$
+
 import basic
 import StdEnv
 
diff --git a/sucl/pretty.dcl b/sucl/pretty.dcl
index a723331..e781352 100644
--- a/sucl/pretty.dcl
+++ b/sucl/pretty.dcl
@@ -1,5 +1,7 @@
 definition module pretty
 
+// $Id$
+
 from StdFile import <<<
 from StdString import String
 
diff --git a/sucl/pretty.icl b/sucl/pretty.icl
index 7e23e5c..af3112d 100644
--- a/sucl/pretty.icl
+++ b/sucl/pretty.icl
@@ -1,5 +1,7 @@
 implementation module pretty
 
+// $Id$
+
 import StdEnv
 
 :: Layout
diff --git a/sucl/rewr.dcl b/sucl/rewr.dcl
index 2b4448f..4f6914a 100644
--- a/sucl/rewr.dcl
+++ b/sucl/rewr.dcl
@@ -1,5 +1,7 @@
 definition module rewr
 
+// $Id$
+
 from rule import Rule
 from graph import Graph
 from pfun import Pfun
diff --git a/sucl/rewr.icl b/sucl/rewr.icl
index 0dc2059..fae1cb6 100644
--- a/sucl/rewr.icl
+++ b/sucl/rewr.icl
@@ -1,5 +1,7 @@
 implementation module rewr
 
+// $Id$
+
 import rule
 import graph
 import pfun
diff --git a/sucl/rule.dcl b/sucl/rule.dcl
index d2438dc..f66ca6e 100644
--- a/sucl/rule.dcl
+++ b/sucl/rule.dcl
@@ -1,5 +1,7 @@
 definition module rule
 
+// $Id$
+
 from graph import Graph,Node
 
 // --- Exported types
diff --git a/sucl/rule.icl b/sucl/rule.icl
index c6d5acd..84b89d3 100644
--- a/sucl/rule.icl
+++ b/sucl/rule.icl
@@ -1,5 +1,7 @@
 implementation module rule
 
+// $Id$
+
 import graph
 import basic
 
diff --git a/sucl/script.icl b/sucl/script.icl
index 5bdadc4..9be719c 100644
--- a/sucl/script.icl
+++ b/sucl/script.icl
@@ -1,3 +1,9 @@
+implementation module script
+
+// $Id$
+
+/*
+
 %include "../src/clean.lit"
 	 -cleanalias -cleanmacro -cleanrule -cleantype -cleantyperule
 	 -corecomplete -coretypeinfo -coretyperule -heap
@@ -5,3 +11,5 @@
 	 -showtypesymbol -symbolmodule -typeheap -typesymbolmodule
 	 -usersym
 %include "newtest.lit"
+
+*/
diff --git a/sucl/spine.dcl b/sucl/spine.dcl
index 2ebe3a6..5e9c56b 100644
--- a/sucl/spine.dcl
+++ b/sucl/spine.dcl
@@ -1,5 +1,7 @@
 definition module spine
 
+// $Id$
+
 from rule import Rgraph,Rule
 from pfun import Pfun
 from basic import Optional
diff --git a/sucl/spine.icl b/sucl/spine.icl
index cd9f668..a49f022 100644
--- a/sucl/spine.icl
+++ b/sucl/spine.icl
@@ -1,5 +1,7 @@
 implementation module spine
 
+// $Id$
+
 import rule
 import pfun
 import basic
diff --git a/sucl/strat.dcl b/sucl/strat.dcl
index 6a0dd6b..341b550 100644
--- a/sucl/strat.dcl
+++ b/sucl/strat.dcl
@@ -1,5 +1,7 @@
 definition module strat
 
+// $Id$
+
 from history import History
 from spine import Answer
 from rule import Rule
diff --git a/sucl/strat.icl b/sucl/strat.icl
index 3ed23f7..a3c8396 100644
--- a/sucl/strat.icl
+++ b/sucl/strat.icl
@@ -1,5 +1,7 @@
 implementation module strat
 
+// $Id$
+
 import history
 import spine
 import dnc
diff --git a/sucl/trace.dcl b/sucl/trace.dcl
index 29e1eff..5479b52 100644
--- a/sucl/trace.dcl
+++ b/sucl/trace.dcl
@@ -1,5 +1,7 @@
 definition module trace
 
+// $Id$
+
 from history import History
 from spine import Answer
 from rule import Rule
diff --git a/sucl/trace.icl b/sucl/trace.icl
index 335fbd8..7429566 100644
--- a/sucl/trace.icl
+++ b/sucl/trace.icl
@@ -1,5 +1,7 @@
 implementation module trace
 
+// $Id$
+
 import history
 import spine
 import rule
diff --git a/sucl/trd.dcl b/sucl/trd.dcl
index bfe91b4..f1492c3 100644
--- a/sucl/trd.dcl
+++ b/sucl/trd.dcl
@@ -1,5 +1,7 @@
 definition module trd
 
+// $Id$
+
 from rule import Rule
 from graph import Node
 from StdOverloaded import ==
diff --git a/sucl/trd.icl b/sucl/trd.icl
index 5ecc2c9..fa2e1c1 100644
--- a/sucl/trd.icl
+++ b/sucl/trd.icl
@@ -1,5 +1,7 @@
 implementation module trd
 
+// $Id$
+
 import rule
 import graph
 import basic