diff options
| author | johnvg | 2011-05-10 13:45:26 +0000 |
|---|---|---|
| committer | johnvg | 2011-05-10 13:45:26 +0000 |
| commit | 851602809c397be0fa3bde9ed89eca0a9ebdd927 (patch) | |
| tree | c2dd6a8facb349d1c78de019bc2d19822998f0b7 /sucl/law.dcl | |
| parent | delete portToNewSyntax (diff) | |
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
Diffstat (limited to 'sucl/law.dcl')
| -rw-r--r-- | sucl/law.dcl | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/sucl/law.dcl b/sucl/law.dcl deleted file mode 100644 index e136b46..0000000 --- a/sucl/law.dcl +++ /dev/null @@ -1,19 +0,0 @@ -definition module law - -// $Id$ - -from coreclean import SuclSymbol,SuclVariable -from strat import Law,Strategy -from StdOverloaded import == - -// Transitive necessities - -from strat import Substrategy -from spine import Spine,Subspine -from graph import Graph,Node - -// The list of special Clean transformation laws -cleanlaws :: [(SuclSymbol,Law SuclSymbol var SuclVariable result)] - -// The strategy for built in clean symbols -corestrategy :: ((Graph SuclSymbol SuclVariable) SuclVariable var -> Bool) -> Strategy SuclSymbol var SuclVariable result | == var |