diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-13 03:21:45 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-13 03:21:45 +0200 |
| commit | 8905c0b1cc1fdef571ac2c994d5e24520ce51288 (patch) | |
| tree | b41ba663429c8ab28e4a48390e64bcc1f2ff1564 /common.sml | |
| parent | 5d15afc926aeb38eb36676bb72d11022b2cda412 (diff) | |
Driver
Diffstat (limited to 'common.sml')
| -rw-r--r-- | common.sml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -53,6 +53,7 @@ structure FRU = struct fun f8 z = next f7 z fun f9 z = next f8 z fun f10 z = next f9 z + fun f11 z = next f10 z fun c0 from = from fun c1 from = c0 from f1 @@ -65,6 +66,7 @@ structure FRU = struct fun c8 from = c7 from f8 fun c9 from = c8 from f9 fun c10 from = c9 from f10 + fun c11 from = c10 from f11 fun makeUpdate cX (from, from', to) record = let @@ -84,6 +86,7 @@ structure FRU = struct fun makeUpdate8 z = makeUpdate c8 z fun makeUpdate9 z = makeUpdate c9 z fun makeUpdate10 z = makeUpdate c10 z + fun makeUpdate11 z = makeUpdate c11 z fun upd z = Fold.step2 (fn (s, f, (vars, ops)) => |