From 851602809c397be0fa3bde9ed89eca0a9ebdd927 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 10 May 2011 13:45:26 +0000
Subject: delete sucl, the same files can be found in the branch sucl

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1940 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/loop.dcl | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 sucl/loop.dcl

(limited to 'sucl/loop.dcl')

diff --git a/sucl/loop.dcl b/sucl/loop.dcl
deleted file mode 100644
index cdc6fc1..0000000
--- a/sucl/loop.dcl
+++ /dev/null
@@ -1,37 +0,0 @@
-definition module loop
-
-// $Id$
-
-from strat import Strategy
-from trace import Trace
-from spine import Answer
-from history import HistoryAssociation,HistoryPattern
-from rule import Rgraph,Rule
-from graph import Graph
-from StdOverloaded import ==
-from StdFile import <<<
-from StdString import toString
-
-from strat import Substrategy,Subspine   // for Strategy
-from trace import History,Transformation // for Trace
-from spine import Spine                  // for Answer
-from graph import Node                   // for Strategy
-from basic import Optional               // for Answer
-
-loop
- :: (((Graph sym pvar) pvar var -> ub:Bool) -> Strategy sym var pvar (Answer sym var pvar))
-    ([Rgraph sym pvar] (Rgraph sym pvar) -> ub:Bool)
-    !(.[var],.Rule sym var)
- -> Trace sym var pvar
- |  == sym
- &  == var
- &  == pvar
- &  toString sym    // Debugging
- &  toString var    // Debugging
- &  <<< var         // Debugging
-
-initrule
- :: ![var]
-    (sym->[pvar])
-    sym
- -> ([var],Rule sym var)
-- 
cgit v1.2.3