diff options
Diffstat (limited to 'sucl')
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 |