diff options
| author | zweije | 2001-09-06 08:54:23 +0000 |
|---|---|---|
| committer | zweije | 2001-09-06 08:54:23 +0000 |
| commit | f2ec19541a219baf872c5c3dd711937a445aa00e (patch) | |
| tree | e437232ea8ec111915a4446765ef192f57250634 /sucl/trd.icl | |
| parent | removed usage of fun_index (diff) | |
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
Diffstat (limited to 'sucl/trd.icl')
| -rw-r--r-- | sucl/trd.icl | 20 |
1 files changed, 10 insertions, 10 deletions
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 |