diff options
| author | zweije | 2001-08-09 18:36:50 +0000 |
|---|---|---|
| committer | zweije | 2001-08-09 18:36:50 +0000 |
| commit | 34e0f0eaaf84ce1d6a058ec4f1757e9c0599a8bc (patch) | |
| tree | 47a777b64d368251dd80a079fed90590fd71600f /sucl/law.dcl | |
| parent | patch to prevent crash with undefined type variabeles in special declaration (diff) | |
This commit was generated by cvs2svn to compensate for changes in r599,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@600 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl/law.dcl')
| -rw-r--r-- | sucl/law.dcl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/sucl/law.dcl b/sucl/law.dcl index e17f005..e136b46 100644 --- a/sucl/law.dcl +++ b/sucl/law.dcl @@ -1,3 +1,19 @@ 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 |