diff options
| author | zweije | 2001-08-14 13:26:23 +0000 |
|---|---|---|
| committer | zweije | 2001-08-14 13:26:23 +0000 |
| commit | cd1657a0a3e4bd093b1efc649f32ddf7ed7fcbb6 (patch) | |
| tree | e3ff176b107771113dbb7b35197810b12a0706cc /sucl | |
| parent | This commit was generated by cvs2svn to compensate for changes in r632, (diff) | |
This commit was generated by cvs2svn to compensate for changes in r634,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@635 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl')
| -rw-r--r-- | sucl/newtest.icl | 29 |
1 files changed, 18 insertions, 11 deletions
diff --git a/sucl/newtest.icl b/sucl/newtest.icl index 7c9e4bb..3c311ca 100644 --- a/sucl/newtest.icl +++ b/sucl/newtest.icl @@ -148,14 +148,14 @@ these tuples. */ :: Symredresult sym var tsym tvar - :== ( Rgraph sym var // The initial area in canonical form - , sym // The assigned symbol - , [Bool] // Strictness annotations - , Rule tsym tvar // Type rule - , Trace sym var var // Truncated and folded trace - , [Rule sym var] // Resulting rewrite rules - , [Rgraph sym var] // New areas for further symbolic reduction (not necessarily canonical) - ) + = { srr_task_expression :: Rgraph sym var // The initial area in canonical form + , srr_assigned_symbol :: sym // The assigned symbol + , srr_strictness :: [Bool] // Strictness annotations + , srr_typerule :: Rule tsym tvar // Type rule + , srr_trace :: Trace sym var var // Truncated and folded trace + , srr_rules :: [Rule sym var] // Resulting rewrite rules + , srr_areas :: [Rgraph sym var] // New areas for further symbolic reduction (not necessarily canonical) + } /* > listopt :: [char] -> [[char]] -> [char] @@ -315,10 +315,10 @@ initareas cli targs = arguments (typerule cli symbol) getinit :: (Symredresult sym var tsym tvar) -> Rgraph sym var -getinit (area,symbol,stricts,trule,trace,rules,areas) = area +getinit srr = srr.srr_task_expression getareas :: (Symredresult sym var tsym tvar) -> [Rgraph sym var] -getareas (area,symbol,stricts,trule,trace,rules,areas) = areas +getareas srr = srr.srr_areas /* `Symredarea' is the function that does symbolic reduction of a single @@ -352,7 +352,14 @@ symredarea :: -> Symredresult SuclSymbol SuclVariable SuclTypeSymbol SuclTypeVariable symredarea foldarea cli area -= (area,symbol,stricts,trule,trace,rules,areas) += { srr_task_expression = area + , srr_assigned_symbol = symbol + , srr_strictness = stricts + , srr_typerule = trule + , srr_trace = trace + , srr_rules = rules + , srr_areas = areas + } where agraph = rgraphgraph area; aroot = rgraphroot area (symbol,aargs) = foldarea area arule = mkrule aargs aroot agraph |