From f2ec19541a219baf872c5c3dd711937a445aa00e Mon Sep 17 00:00:00 2001
From: zweije
Date: Thu, 6 Sep 2001 08:54:23 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r743, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@744 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/trd.icl | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'sucl/trd.icl')

diff --git a/sucl/trd.icl b/sucl/trd.icl
index fa2e1c1..45861d8 100644
--- a/sucl/trd.icl
+++ b/sucl/trd.icl
@@ -80,8 +80,8 @@ argument type of n.
 
 ruletype
  :: .[tvar]
-    ((Node sym var) -> .Rule tsym trvar)
-    .(Rule sym var)
+    ((Node sym var) -> Rule tsym trvar)
+    (Rule sym var)
  -> .Rule tsym tvar
  |  == var
  &  == tsym
@@ -112,17 +112,17 @@ been assigned to the node and its arguments.
 */
 
 buildtype
- :: .((Node sym var) -> .Rule tsym trvar)                                       // Assignement of type rules to symbols
+ :: .((Node sym var) -> Rule tsym trvar)                                       // Assignement of type rules to symbols
     .(Graph sym var)                                                            // Graph to which to apply typing
     var                                                                         // ???
-    .([tvar] -> .(z:(Graph tsym tvar) -> .(x:[y:(var,tvar)] -> .result)))       // Continuation
+    .([tvar] -> .(u:(Graph tsym tvar) -> .(v:[w:(var,tvar)] -> .result)))       // Continuation
     .[tvar]                                                                     // Type heap
-    w:(Graph tsym tvar)                                                         // Type graph build so far
-    u:[v:(var,tvar)]                                                            // Assignment of type variables to variables
+    u:(Graph tsym tvar)                                                         // Type graph build so far
+    x:[y:(var,tvar)]                                                            // Assignment of type variables to variables
  -> .result                                                                     // Final result
  |  == var
  &  == trvar
- ,  [u<=x,v<=y,w<=z]
+ ,  [x<=v,v y<=w,x<=y]
 
 buildtype typerule graph node bcont theap tgraph assignment
 | def
@@ -147,13 +147,13 @@ buildtype typerule graph node bcont theap tgraph assignment
 
 sharepair
  :: (.var,.var)                                    // Variables to share
-    w:((.var->var2) -> v:(x:(Graph sym var2) -> .result))       // Continuation
+    w:((.var->var2) -> v:((Graph sym var2) -> .result))       // Continuation
     (.var->var2)                                   // Redirection
-    u:(Graph sym var2)                              // Graph before redirection
+    (Graph sym var2)                              // Graph before redirection
  -> .result                  // Final result
  |  == sym
  &  == var2
- ,  [u<=x,v<=w]
+ ,  [v<=w]
 
 sharepair lrnode spcont redirection graph
 = share (mappair redirection redirection lrnode) spcont redirection graph
-- 
cgit v1.2.3